「honto 本の通販ストア」サービス終了及び外部通販ストア連携開始のお知らせ
詳細はこちらをご確認ください。
- カテゴリ:一般
- 発行年月:1999.2
- 出版社: 遊星社
- サイズ:21cm/190p
- 利用対象:一般
- ISBN:4-7952-6888-6
紙の本
記号論理・入門
著者 上江洲 忠弘 (著)
1.証明の分析 2.証明の形式化 3.証明可能性と証明図の作成 4.命題の真偽と推論規則の正しさ 5.形式的論理体系の完全性 6.許容推論図 7.推件計算〈ソフトカバー〉...
記号論理・入門
税込
2,200
円
20pt
このセットに含まれる商品
前へ戻る
- 対象はありません
次に進む
商品説明
1.証明の分析 2.証明の形式化 3.証明可能性と証明図の作成 4.命題の真偽と推論規則の正しさ 5.形式的論理体系の完全性 6.許容推論図 7.推件計算〈ソフトカバー〉【「TRC MARC」の商品解説】
関連キーワード
あわせて読みたい本
この商品に興味のある人は、こんな商品にも興味があります。
前へ戻る
- 対象はありません
次に進む
この著者・アーティストの他の商品
前へ戻る
- 対象はありません
次に進む