数理論理学

鹿島亮 著

[目次]

  • 証明を対象にするとは
  • 自然演繹
  • 論理式の真理値
  • 自然演繹の健全性
  • 自然演繹の完全性
  • 不完全性定理
  • 命題論理
  • さまざまな証明体系
  • シークエント計算LKのカット除去
  • 直観主義論理
  • クリプキモデルと中間論理
  • 本文中で使われている数学的道具の説明

「BOOKデータベース」より

この本の情報

書名 数理論理学
著作者等 鹿島 亮
書名ヨミ スウリ ロンリガク
シリーズ名 現代基礎数学 15
出版元 朝倉書店
刊行年月 2009.10
ページ数 210p
大きさ 21cm
ISBN 978-4-254-11765-3
NCID BA91721370
※クリックでCiNii Booksを表示
全国書誌番号
21668402
※クリックで国立国会図書館サーチを表示
言語 日本語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想