この商品をご覧のお客様は、こんな商品もチェックしています。
- 社会科学系のための鷹揚数学入門 微分積分篇 改訂版
-
価格：2,145円（本体1,950円＋税）
【2023年04月発売】
- ゼロからはじめる統計モデリング
-
価格：2,420円（本体2,200円＋税）
【2017年04月発売】
- ベクトル解析入門
-
価格：3,080円（本体2,800円＋税）
【2003年12月発売】
- 教育・心理系研究のためのＲによるデータ分析
-
価格：3,300円（本体3,000円＋税）
【2022年01月発売】
- 数学２
-
価格：2,750円（本体2,500円＋税）
【2018年01月発売】
のマークが目印です。
[BOOKデータベースより]
証明を対象にするとは
[日販商品データベースより]自然演繹
論理式の真理値
自然演繹の健全性
自然演繹の完全性
不完全性定理
命題論理
さまざまな証明体系
シークエント計算ＬＫのカット除去
直観主義論理
クリプキモデルと中間論理
本文中で使われている数学的道具の説明
論理，とくに数学における論理を研究対象とする数学の分野である数理論理学の入門書。ゲーデルの完全性定理・不完全性定理をはじめとした数理論理学の基本結果をわかりやすくかつ正確に説明しながら，その意義や気持ちを伝える。