スマリヤン記号論理学 : 一般化と記号化
著者
書誌事項
スマリヤン記号論理学 : 一般化と記号化
丸善出版, 2013.1
- タイトル別名
-
Logical labyrinths
記号論理学 : スマリヤン : 一般化と記号化
- タイトル読み
-
スマリヤン キゴウ ロンリガク : イッパンカ ト キゴウカ
大学図書館所蔵 件 / 全135件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
監訳: 高橋昌一郎
原著 (New York : A.K. Peters, 2009) の前半 (part Iとpart II) の全訳
スマリヤンの著作: p145-146
内容説明・目次
目次
- 第1部 一般化のすすめ(正直者と嘘つきの論理学;男性か女性か;沈黙する騎士と悪漢;マトモかイカれているか;二重の厄介さ;統一原理)
- 第2部 記号化のすすめ(命題論理入門;正直者と嘘つきの命題論理;日がわり嘘つき;論理結合子と日がわり嘘つき;タブロー法;「すべて」と「少なくとも一つ」;第1階述語論理入門)
「BOOKデータベース」 より