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

  • ただいまウェブストアではご注文を受け付けておりません。
  • サイズ A5判/ページ数 194p/高さ 22cm
  • 商品コード 9784785315054
  • NDC分類 410.96
  • Cコード C3041

目次

第1章 ブール代数の基礎
第2章 オートマトンと形式文法
第3章 帰納的関数とチューリング計算機
第4章 命題論理学
第5章 命題論理に関する計算量問題
第6章 述語論理概説