資料詳細

数学における証明と真理利用可

菊池誠／編 -- 共立出版 -- ２０１６．３ -- 410.9

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

所蔵館	所蔵場所	請求記号	資料コード	資料区分	帯出区分	状態
鳥取県立	書庫	410.9/ｽｳｶ/一般Ｈ	120001931	一般	利用可

ページの先頭へ

資料詳細

タイトル	数学における証明と真理
書名ヨミ	スウガク　ニ　オケル　ショウメイ　ト　シンリ
副書名	様相理論と数学基礎論
著者名	菊池誠／編, 佐野勝彦／著, 倉橋太志／著, 薄葉季路／著, 黒川英徳／著, 菊池誠／著
著者ヨミ	キクチ，マコト , サノ，カツヒコ , クラハシ，タイシ , ウスバ，トシミチ , クロカワ，ヒデノリ , キクチ，マコト
出版者	共立出版
出版年	２０１６．３
ページ数等	２８８ｐ
大きさ	２２ｃｍ
内容細目	内容：　数理論理学の基礎　／　菊池誠著
内容注記	文献あり　索引あり
原書名	並列タイトル：Ｐｒｏｏｆ　ａｎｄ　Ｔｒｕｔｈ　ｉｎ　Ｍａｔｈｅｍａｔｉｃｓ
一般件名	数学基礎論 , 証明（数学）
ISBN	4-320-11148-6
ISBN13桁	978-4-320-11148-6
定価	４２００円
問合わせ番号（書誌番号）	1120013508
NDC8版	410.9
NDC9版	410.9
内容紹介	数理論理学の基礎的な知識を持つ読者を対象に様相論理の構文論と意味論ならびにゲーデルの不完全性定理、コーエンの強制法、タルスキの真理論という３つの話題について、それらの基礎から最近の発展までを紹介する。
著者紹介	【菊池】１９９１年東京工業大学理学部卒。現在、神戸大学大学院システム情報学研究科准教授。専門：数学基礎論。主な著書・論文「数学基礎論講義」「不完全性定理」。
著者紹介	【佐野】京都大学文学部卒。現在、北陸先端科学技術大学院大学情報科学研究科助教。専門：哲学・論理学。

ページの先頭へ

内容一覧

タイトル	著者名	ページ
数理論理学の基礎	菊池誠／著
様相論理入門	佐野勝彦／著
証明可能性論理	倉橋太志／著
強制法と様相論理	薄葉季路／著
真理と様相	黒川英徳／著

ページの先頭へ