この商品をご覧のお客様は、こんな商品もチェックしています。
- 空間回帰モデル
-
価格：2,420円（本体2,200円＋税）
【2023年07月発売】
- 記述集合論要説
-
価格：7,150円（本体6,500円＋税）
【2024年03月発売】
- 復刊現代数理論理学入門
-
価格：4,620円（本体4,200円＋税）
【2017年04月発売】
- ヘルマン・ヴァイル連続体
-
価格：3,850円（本体3,500円＋税）
【2016年02月発売】
- 計算理論と数理論理学
-
価格：4,620円（本体4,200円＋税）
【2022年06月発売】
のマークが目印です。
[BOOKデータベースより]
第１章 ブール代数の基礎
[日販商品データベースより]第２章 オートマトンと形式文法
第３章 帰納的関数とチューリング計算機
第４章 命題論理学
第５章 命題論理に関する計算量問題
第６章 述語論理概説
広い意味での数理論理学の題材の中から、情報科学と関連の深いいくつかの話題を選び、それぞれの話題について深入りすることを避け、入門書の立場から解説したものである。
前半の３章では情報学の基本項目である話題を述べ、後半の３章で本書の主題である数理論理について述べた。