所蔵

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

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

ページの先頭へ

資料詳細

タイトル	スマリヤン数理論理学
タイトルカナ	スマリヤン スウリ ロンリガク
副書名	述語論理と完全性定理
著者	Raymond Smullyan ／[著], 高橋 昌一郎 ／監訳, 村上 祐子 ／訳
著者カナ	スマリヤン レイモンド M.,タカハシ ショウイチロウ,ムラカミ ユウコ
出版者	丸善出版
出版年	2014.11
ページ数	4,196p
大きさ	21cm
一般件名	記号論理学
ISBN13桁	978-4-621-08785-5
言語	jpn
分類記号	410.96
内容紹介	「スマリヤン記号論理学」に続く、スマリヤン著「ロジカル・ラビリンス」第Ⅲ部から第Ⅵ部までの翻訳書。1階述語論理の基礎的成果や、スマリヤン自身の一般化した「抽象量化理論」などを解説し、「不完全性定理」にも触れる。

ページの先頭へ

目次

第Ⅰ部 無限

  第1章 無限の本質

  第2章 数学的帰納法

  第3章 一般化帰納法,ケーニッヒの補題,コンパクト性

第Ⅱ部 1階述語論理の基礎的結果

  第4章 命題論理の基礎的結果

  第5章 1階述語論理:完全性,コンパクト性,スコーレム-レーヴェンハイムの定理

  第6章 正規性定理

第Ⅲ部 公理系

  第7章 公理的方法入門

  第8章 命題論理の公理的方法(続き)

  第9章 1階述語論理の公理系

第Ⅳ部 1階述語論理(続き)

  第10章 クレイグの補間補題

  第11章 ロビンソンの整合性定理

  第12章 ベスの定義可能性定理

  第13章 まとめ

  第14章 この先にあるもの

ページの先頭へ