• 本

計算論理入門

情報の数理

出版社名 裳華房
出版年月 1997年10月
ISBNコード 978-4-7853-1505-4
4-7853-1505-9
税込価格 2,916円
頁数・縦 194P 21cm

商品内容

目次

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