資料詳細

【図書】 記号論理学

一般化と記号化 --
スマリヤン／〔著〕, 高橋昌一郎／監訳, 川辺治之／訳 -- 丸善出版 -- ２０１３．１ -- ２１ｃｍ -- １５０ｐ

タイトル	記号論理学
副書名	一般化と記号化
著者名等	スマリヤン／〔著〕, 高橋昌一郎／監訳, 川辺治之／訳
出版	丸善出版２０１３．１
大きさ等	２１ｃｍ１５０ｐ
分類	410.96
件名	記号論理学
注記	Ｌｏｇｉｃａｌ　ｌａｂｙｒｉｎｔｈｓ．の翻訳
内容	著作目録あり　索引あり
内容紹介	スマリヤン著「ロジカル・ラビリンス」前半の全訳。「一般化のすすめ」「記号化のすすめ」の２部構成で、記号論理学の大学院レベルの学期コースに相当する知識を得ることができる１冊。
目次	第１部　一般化のすすめ（正直者と嘘つきの論理学；男性か女性か；沈黙する騎士と悪漢；マトモかイカれているか；二重の厄介さ；統一原理）；第２部　記号化のすすめ（命題論理入門；正直者と嘘つきの命題論理；日がわり嘘つき；論理結合子と日がわり嘘つき；タブロー法；「すべて」と「少なくとも一つ」；第１階述語論理入門）
ISBN(13)、ISBN	978-4-621-08572-1　　 4-621-08572-7
書誌番号	1113017588

所蔵

所蔵は 2 件です。現在の予約件数は 0 件です。