内容情報
[BOOKデータベースより]
[BOOKデータベースより]
第１部 命題論理の構文論
第２部 命題論理の意味論
第３部 メタ論理
第４部 述語論理の構文論
第５部 反証図
第６部 述語論理の意味論
第７部 応用と実践
第８部 完全性定理
第９部 健全性定理
第１０部 不完全性定理
付録
文系学生のために初歩からていねいに説き起こして不完全性定理にまで至る記号論理学の入門書．〔内容〕対象言語とメタ言語／命題論理の文法／真理関数と真理表／トートロジー／二値原理／述語論理の文法／ペアノ公理系／他
この商品をご覧のお客様は、こんな商品もチェックしています。
- Ｐｙｔｈｏｎで学ぶ効果検証入門
-
価格：3,300円（本体3,000円＋税）
【2024年05月発売】
- 偏微分方程式入門
-
価格：3,740円（本体3,400円＋税）
【1998年02月発売】
- カオスの紡ぐ夢の中で
-
価格：726円（本体660円＋税）
【2010年05月発売】
- 数理系のための基礎と応用微分積分 １
-
価格：1,980円（本体1,800円＋税）
【2000年09月発売】
- 数値計算講義
-
価格：2,420円（本体2,200円＋税）
【2009年04月発売】
のマークが目印です。
