計算論理入門―情報の数理

田中 尚夫【著】

裳華房（1997/10発売）

• サイズ A5判／ページ数 194p／高さ 22cm
• 商品コード 9784785315054
• NDC分類 410.96
• Cコード C3041

目次

第１章　ブール代数の基礎
第２章　オートマトンと形式文法
第３章　帰納的関数とチューリング計算機
第４章　命題論理学
第５章　命題論理に関する計算量問題
第６章　述語論理概説

感想・レビュー

※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。

[ipusiron]

1999/6/11読了