現代数理論理学序説
著者
書誌事項
現代数理論理学序説
日本評論社, 2010.6
- タイトル読み
-
ゲンダイ スウリ ロンリガク ジョセツ
大学図書館所蔵 全130件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
参考文献: p[171]
内容説明・目次
内容説明
論理とラムダ計算、部分構造論理、論理学への代数的アプローチなど、最新の話題を盛り込んだ新しい入門書。
目次
- 第1章 命題論理(論理学と形式的体系;命題論理の体系;ゲンツェンの基本定理;古典命題論理の意味論)
- 第2章 述語論理(述語論理の体系;ゲンツェンの基本定理;古典述語論理の意味論)
- 第3章 ラムダ計算の世界(ラムダ計算の計算能力;ラムダ項の型付けとη変形)
- 第4章 非標準論理(直観主義論理;論理と代数;様相論理;部分構造論理)
「BOOKデータベース」 より