...
【利用可】
書店員向け情報 HELP
出版者情報
書店注文情報
受注センター:
貴店担当者:
注文電話番号:
注文FAX番号:
注文サイト:
数学基礎論
発行:岩波書店
縦220mm
536ページ
価格情報なし
- 初版年月日
- 2011年5月
- 登録日
- 2016年1月27日
- 最終更新日
- 2016年1月27日
紹介
特別な予備知識を仮定せずに、数学基礎論における核心的な結論、技法やアイデアをもれなく説明した本格的な教科書。「不完全性定理」や「連続体仮説の独立性証明」などの結果が、どのような考え方によって得られたのか、その完全な証明を通して解説する。より深い理解のために豊富な演習問題と丁寧な解答を付した。
目次
1部 入門篇(1階論理入門
計算理論入門
不完全性定理)
2部 基礎篇(「基礎篇」の準備
モデル理論
計算理論
集合論
証明論)
上記内容は本書刊行時のものです。