数理論理学 Mathematical logic

著者

• 嘉田, 勝 カダ, マサル

書誌事項

数理論理学 = Mathematical logic

嘉田勝 [著]

森北出版, 2025.6

タイトル読み

スウリ ロンリガク

注記

表現種別: テキスト (ncrcontent), 機器種別: 機器不用 (ncrmedia), キャリア種別: 冊子 (ncrcarrier)

参考文献: p204

内容説明・目次

内容説明

ゲーデルの完全性定理と不完全性定理を目指して初学者が着実に学びを進められるようにわかりやすく解説。

目次

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

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BD12349345
• ISBN:
  • 9784627097513
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: ix, 209p
• 大きさ: 22cm
• 分類:
  • NDC9 : 410.96
  • NDC10 : 410.96
  • NDLC : MA41
• 件名:
  • BSH : 記号論理学
  • NDLSH : 記号論理学