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

著者

• Smullyan, Raymond M.
• 川辺, 治之 カワベ, ハルユキ
• 高橋, 昌一郎 タカハシ, ショウイチロウ

書誌事項

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

Raymond Smullyan [著] ; 川辺治之訳

丸善出版, 2013.1

タイトル別名

Logical labyrinths

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

タイトル読み

スマリヤン キゴウ ロンリガク : イッパンカ ト キゴウカ

注記

監訳: 高橋昌一郎

原著 (New York : A.K. Peters, 2009) の前半 (part Iとpart II) の全訳

スマリヤンの著作: p145-146

内容説明・目次

目次

• 第１部　一般化のすすめ（正直者と嘘つきの論理学；男性か女性か；沈黙する騎士と悪漢；マトモかイカれているか；二重の厄介さ；統一原理）
• 第２部　記号化のすすめ（命題論理入門；正直者と嘘つきの命題論理；日がわり嘘つき；論理結合子と日がわり嘘つき；タブロー法；「すべて」と「少なくとも一つ」；第１階述語論理入門）

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BB11573316
• ISBN:
  • 9784621085721
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 原本言語コード: eng
• 出版地: 東京
• ページ数/冊数: vii, 150p
• 大きさ: 21cm
• 分類:
  • NDC7 : 410.12
  • NDC8 : 410.96
• 件名:
  • NDLSH : 記号論理学