資料詳細

【図書】 数理論理学

現代基礎数学 --
鹿島亮／著 -- 朝倉書店 -- ２００９．１０ -- ２１ｃｍ -- ２１０ｐ

タイトル	数理論理学
シリーズ名	現代基礎数学
著者名等	鹿島亮／著
出版	朝倉書店２００９．１０
大きさ等	２１ｃｍ２１０ｐ
分類	410.96
件名	記号論理学
注記	文献あり　索引あり
著者紹介	１９６５年東京都生まれ。９１年東京工業大学大学院理工学研究科博士課程中退。現在、東京工業大学大学院情報理工学研究科数理・計算科学専攻准教授。
内容紹介	論理、特に数学における論理を研究対象とする数理論理学。数理論理学の基本結果であるゲーデルの完全性定理、ゲーデルの不完全性定理、ゲンツェンのＬＫのカット除去定理などを平易に、かつ正確に説明した入門書。
目次	証明を対象にするとは；自然演繹；論理式の真理値；自然演繹の健全性；自然演繹の完全性；不完全性定理；命題論理；さまざまな証明体系；シークエント計算ＬＫのカット除去；直観主義論理；クリプキモデルと中間論理；本文中で使われている数学的道具の説明
ISBN(13)、ISBN	978-4-254-11765-3　　 4-254-11765-5
書誌番号	1109077606
URL	https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1109077606

所蔵

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

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	４階自然科学 Map		410.9	一般書	利用可	-	2043566957