お店で受け取る
（送料無料）
配送する
納期目安：
2026.06.25 03:56頃のお届け予定です。
決済方法が、クレジット、代金引換の場合に限ります。その他の決済方法の場合は こちらをご確認ください。
※土・日・祝日の注文の場合や在庫状況によって、商品のお届けにお時間をいただく場合がございます。
現代数理論理学序説
「現代数理論理学序説」
小野 寛晰 / 古森 雄一
「ラムダ計算」「部分構造論理」「論理学への代数的アプローチ」など、最新の話題を盛り込んだ新しい入門書が誕生。教科書にも最適。
目次
第1章 命題論理
1.1 論理学と形式的体系
1.2 命題論理の体系
1.3 ゲンツェンの基本定理
1.4 古典命題論理の意味論
第2章 述語論理
2.1 述語論理の体系
2.2 ゲンツェンの基本定理
2.3 古典述語論理の意味論
第3章 ラムダ計算の世界
3.1 ラムダ計算の計算能力
3.2 ラムダ項の型付けとη変形
第4章 非標準論理
4.1 直観主義論理
4.2 論理と代数
4.3 様相論理
4.4 部分構造論理
#小野寛晰 #小野_寛晰 #古森雄一 #古森_雄一 #本 #自然／数学
カテゴリー本・雑誌・漫画 > 本 > 科学・工学商品の状態目立った傷や汚れなし発送元の地域未定
本ランキングです
この商品を見た人はこんな商品も見ています
-
マイストア在庫： 1593税込8,398円 -
マイストア在庫： 555税込44,000円 -
マイストア在庫： 541税込55,000円 -
マイストア在庫： 787税込10,000円 -
マイストア在庫： 952税込27,000円
近くの売り場の商品
カスタマーレビュー
オススメ度 4.29点
現在、154件のレビューが投稿されています。