資料詳細

  • 1 件中、 1 件目

数理論理学 利用可

嘉田　勝／著 -- 森北出版 -- 2025.6 -- 410.96

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 一般 410.9/ｶﾀ/一般 122804100 一般 利用可
鳥取県立 書庫 410/ｶﾀ/県人Ｈ 122804761 郷土県人 禁帯出

ページの先頭へ

資料詳細

タイトル 数理論理学
書名ヨミ スウリ　ロンリガク
著者名 嘉田　勝 ／著  
著者ヨミ カダ，マサル  
出版者 森北出版  
出版年 2025.6
ページ数等 ２０９ｐ
大きさ ２２ｃｍ
一般注記 並列タイトル：Ｍａｔｈｅｍａｔｉｃａｌ　Ｌｏｇｉｃ
一般件名 記号論理学  
ISBN 4-627-09751-4
ISBN13桁 978-4-627-09751-3
定価 ３２００円
問合わせ番号（書誌番号） 1120680712
NDC8版 410.96
NDC9版 410.96
NDC10版 410.96
著者紹介 １９７０年生まれ。１９９７年、大阪府立大学大学院理学系研究科博士課程修了。現在、大阪公立大学大学院理学研究科准教授。博士（理学）。専門、数理論理学（とくに公理的集合論）、集合論的位相空間論。著書『論理と集合から始める数学の基礎』（日本評論社）。（本データはこの書籍が刊行された当時に掲載されていたものです） 

ページの先頭へ

内容一覧

タイトル 著者名 ページ
第１部　論理の健全性と完全性（導入；命題論理；述語論理の形式文法；ストラクチャーとモデル；証明を形式化する；述語論理の健全性；述語倫理の完全性；コンパクト性とその応用）
第２部　不完全性定理（構文規則の厳密化；算術の体系と関数の表現；構文規則の算術化；不完全性定理）
第３部　いくつかの話題（自然演繹；直観主義論理とクリプキ意味論；超羃による超準モデルの構成；順序数と超限帰納法；集合についての補足）

ページの先頭へ