サイト内検索

詳細検索

ヘルプ

セーフサーチについて

性的・暴力的に過激な表現が含まれる作品の表示を調整できる機能です。
ご利用当初は「セーフサーチ」が「ON」に設定されており、性的・暴力的に過激な表現が含まれる作品の表示が制限されています。
全ての作品を表示するためには「OFF」にしてご覧ください。
※セーフサーチを「OFF」にすると、アダルト認証ページで「はい」を選択した状態になります。
※セーフサーチを「OFF」から「ON」に戻すと、次ページの表示もしくはページ更新後に認証が入ります。

送料無料 日付更新(2017年7月)

1,000円以上の注文で3%OFFクーポン(0922-28)

目次

スマリヤン記号論理学 一般化と記号化

スマリヤン記号論理学 一般化と記号化

  • Raymond Smullyan(著)/ 高橋 昌一郎(監訳)/ 川辺 治之(訳)
  • 第Ⅰ部 一般化のすすめ
    • 第1章 正直者と噓つきの論理学
    • 第2章 男性か女性か
    • 第3章 沈黙する騎士と悪漢
    • 第4章 マトモかイカれているか
    • 第5章 二重の厄介さ
    • 第6章 統一原理
  • 第Ⅱ部 記号化のすすめ
    • 第7章 命題論理入門
    • 第8章 正直者と噓つきの命題論理
    • 第9章 日がわり噓つき
    • 第10章 論理結合子と日がわり噓つき
    • 第11章 タブロー法
    • 第12章 「すべて」と「少なくとも一つ」
    • 第13章 1階述語論理入門