所蔵

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

所蔵場所	請求記号	資料コード	資料区分	帯出区分	状態
閲覧室	/410.9/ｽ/	116633017	成人一般	可能

ページの先頭へ

資料詳細

タイトル	スマリヤン記号論理学
タイトルカナ	スマリヤン キゴウ ロンリガク
副書名	一般化と記号化
著者	Raymond Smullyan ／[著], 高橋 昌一郎 ／監訳, 川辺 治之 ／訳
著者カナ	スマリヤン レイモンド M.,タカハシ ショウイチロウ,カワベ ハルユキ
出版者	丸善出版
出版年	2013.1
ページ数	7,150p
大きさ	21cm
一般件名	記号論理学
ISBN13桁	978-4-621-08572-1
言語	jpn
分類記号	410.96
内容紹介	入門的な論理パズルから専門的な論理学に至る“架け橋”として執筆された、スマリヤンの「ロジカル・ラビリンス」第Ⅰ部および第Ⅱ部の翻訳書。記号論理学の大学院レベルの学期コースに相当する知識が身につく。

ページの先頭へ

目次

第Ⅰ部 一般化のすすめ

  第1章 正直者と噓つきの論理学

  第2章 男性か女性か

  第3章 沈黙する騎士と悪漢

  第4章 マトモかイカれているか

  第5章 二重の厄介さ

  第6章 統一原理

第Ⅱ部 記号化のすすめ

  第7章 命題論理入門

  第8章 正直者と噓つきの命題論理

  第9章 日がわり噓つき

  第10章 論理結合子と日がわり噓つき

  第11章 タブロー法

  第12章 「すべて」と「少なくとも一つ」

  第13章 1階述語論理入門

ページの先頭へ