スマリヤン記号論理学 : 一般化と記号化
Author(s)
Bibliographic Information
スマリヤン記号論理学 : 一般化と記号化
丸善出版, 2013.1
- Other Title
-
Logical labyrinths
記号論理学 : スマリヤン : 一般化と記号化
- Title Transcription
-
スマリヤン キゴウ ロンリガク : イッパンカ ト キゴウカ
Available at / 135 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
監訳: 高橋昌一郎
原著 (New York : A.K. Peters, 2009) の前半 (part Iとpart II) の全訳
スマリヤンの著作: p145-146
Description and Table of Contents
Table of Contents
- 第1部 一般化のすすめ(正直者と嘘つきの論理学;男性か女性か;沈黙する騎士と悪漢;マトモかイカれているか;二重の厄介さ;統一原理)
- 第2部 記号化のすすめ(命題論理入門;正直者と嘘つきの命題論理;日がわり嘘つき;論理結合子と日がわり嘘つき;タブロー法;「すべて」と「少なくとも一つ」;第1階述語論理入門)
by "BOOK database"