書誌事項

現代数理論理学序説

古森雄一, 小野寛晰著

日本評論社, 2010.6

タイトル読み

ゲンダイ スウリ ロンリガク ジョセツ

大学図書館所蔵 件 / 130

この図書・雑誌をさがす

注記

参考文献: p[171]

内容説明・目次

内容説明

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

目次

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

「BOOKデータベース」 より

詳細情報

  • NII書誌ID(NCID)
    BB02425588
  • ISBN
    • 9784535785564
  • 出版国コード
    ja
  • タイトル言語コード
    jpn
  • 本文言語コード
    jpn
  • 出版地
    東京
  • ページ数/冊数
    v, 177p
  • 大きさ
    26cm
  • 分類
  • 件名
ページトップへ