資料詳細

[ 和図書 ] スマリヤン記号論理学一般化と記号化

Raymond Smullyan／[著] -- 丸善出版 -- 2013.1 --

所蔵

所蔵は 1 件です。

Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

ISBN	4-621-08572-1
ISBN13桁	978-4-621-08572-1
タイトル	スマリヤン記号論理学
タイトルカナ	スマリヤンキゴウロンリガク
タイトル関連情報	一般化と記号化
タイトル関連情報読み	イッパンカトキゴウカ
著者名	Raymond Smullyan ／[著], 高橋昌一郎／監訳, 川辺治之／訳
著者名典拠番号	120000278160000 , 110002370370000 , 110005340800000
出版地	東京
出版者	丸善出版
出版者カナ	マルゼンシュッパン
出版年	2013.1
ページ数	7, 150p
大きさ	21cm
原タイトル注記	原タイトル:Logical labyrinthsの抄訳
価格	¥2400
内容紹介	入門的な論理パズルから専門的な論理学に至る“架け橋”として執筆された、スマリヤンの「ロジカル・ラビリンス」第Ⅰ部および第Ⅱ部の翻訳書。記号論理学の大学院レベルの学期コースに相当する知識が身につく。
一般件名	記号論理学-ndlsh-00565709
一般件名カナ	キゴウロンリガク-00565709
一般件名	記号論理学
一般件名カナ	キゴウロンリガク
一般件名典拠番号	510630200000000
分類：都立NDC10版	410.96
資料情報1	『スマリヤン記号論理学一般化と記号化』　Raymond Smullyan／[著], 高橋昌一郎／監訳 , 川辺治之／訳　丸善出版　2013.1（所蔵館：中央　請求記号：/410.9/5077/2013　資料コード：7101615383）
URL	https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1152211267

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