- コンピュータのための数学
-
論理的アプローチ
Ａ ｌｏｇｉｃａｌ ａｐｐｒｏａｃｈ ｔｏ ｄｉｓｃｒｅｔｅ ｍａｔｈ．日本評論社
デーヴィド・グリース フレッド・Ｂ．シュナイダー 難波完爾 土居範久 飯島正- 価格
- 5,170円（本体4,700円＋税）
- 発行年月
- 2001年07月
- 判型
- Ｂ５
- ISBN
- 9784535783010
この商品をご覧のお客様は、こんな商品もチェックしています。
- 高校数学の美しい物語 新版
-
価格：2,200円（本体2,000円＋税）
【2024年03月発売】
- 新編高専の数学 １ 第２版 新装版
-
価格：1,980円（本体1,800円＋税）
【2010年01月発売】
- 新編高専の数学 ２ 第２版 新装版
-
価格：1,980円（本体1,800円＋税）
【2010年08月発売】
- 新編高専の数学 ３ 第２版 新装版
-
価格：2,200円（本体2,000円＋税）
【2010年12月発売】
- 超ディープな数学の教科書
-
価格：1,650円（本体1,500円＋税）
【2022年04月発売】
のマークが目印です。
[BOOKデータベースより]
数学の活用
[日販商品データベースより]字句代入，等号，代入
ブール式
命題計算
証明形式の緩和
命題論理の応用
ヒルベルトスタイルの証明系
形式論理
限量化
述語計算〔ほか〕
情報科学を学ぶための数学の基本をコンピュータ科学者の立場から書いた。「論理」の重要さを強調し、いろいろな分野での応用に備える。