現代数理論理学序説

古森雄一, 小野寛晰 著

論理とラムダ計算、部分構造論理、論理学への代数的アプローチなど、最新の話題を盛り込んだ新しい入門書。

「BOOKデータベース」より

[目次]

  • 第1章 命題論理(論理学と形式的体系
  • 命題論理の体系
  • ゲンツェンの基本定理
  • 古典命題論理の意味論)
  • 第2章 述語論理(述語論理の体系
  • ゲンツェンの基本定理
  • 古典述語論理の意味論)
  • 第3章 ラムダ計算の世界(ラムダ計算の計算能力
  • ラムダ項の型付けとη変形)
  • 第4章 非標準論理(直観主義論理
  • 論理と代数
  • 様相論理
  • 部分構造論理)

「BOOKデータベース」より

この本の情報

書名 現代数理論理学序説
著作者等 古森 雄一
小野 寛晰
書名ヨミ ゲンダイ スウリ ロンリガク ジョセツ
出版元 日本評論社
刊行年月 2010.6
ページ数 177p
大きさ 26cm
ISBN 978-4-535-78556-4
NCID BB02425588
※クリックでCiNii Booksを表示
全国書誌番号
21790737
※クリックで国立国会図書館サーチを表示
言語 日本語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想