スマリヤン数理論理学

Raymond Smullyan [著] ; 高橋昌一郎 監訳 ; 村上祐子 訳

スマリヤンの最終講義。1階述語論理の本質へ。

「BOOKデータベース」より

[目次]

  • 第1部 無限(無限の本質
  • 数学的帰納法
  • 一般化帰納法、ケーニッヒの補題、コンパクト性)
  • 第2部 1階述語論理の基礎的結果(命題論理の基礎的結果
  • 1階述語論理:完全性、コンパクト性、スコーレム‐レーヴェンハイムの定理
  • 正規性定理)
  • 第3部 公理系(公理的方法入門
  • 命題論理の公理的方法(続き)
  • 1階述語論理の公理系)
  • 第4部 1階述語論理(続き)(クレイグの補間補題
  • ロビンソンの整合性定理
  • ベスの定義可能性定理
  • まとめ
  • この先にあるもの)

「BOOKデータベース」より

この本の情報

書名 スマリヤン数理論理学
著作者等 Smullyan, Raymond M
村上 祐子
高橋 昌一郎
Smullyan Raymond
書名ヨミ スマリヤン スウリ ロンリガク : ジュツゴ ロンリ ト カンゼンセイ テイリ
書名別名 Logical Labyrinths

述語論理と完全性定理
出版元 丸善
刊行年月 2014.11
ページ数 196p
大きさ 21cm
ISBN 978-4-621-08785-5
NCID BB1734197X
※クリックでCiNii Booksを表示
全国書誌番号
22509367
※クリックで国立国会図書館サーチを表示
言語 日本語
原文言語 英語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想