現代数理論理学序説

著者

• 古森, 雄一 コモリ, ユウイチ
• 小野, 寛晰 オノ, ヒロアキラ

書誌事項

現代数理論理学序説

古森雄一, 小野寛晰著

日本評論社, 2010.6

タイトル読み

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

注記

参考文献: p[171]

内容説明・目次

内容説明

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

目次

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

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BB02425588
• ISBN:
  • 9784535785564
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: v, 177p
• 大きさ: 26cm
• 分類:
  • NDC8 : 410.96
  • NDC9 : 410.96
• 件名:
  • BSH : 記号論理学