情報理論のための数理論理学
著者
書誌事項
情報理論のための数理論理学
(数学のかんどころ, 31)
共立出版, 2017.8
- タイトル別名
-
Mathematical logic for informatics
- タイトル読み
-
ジョウホウ リロン ノ タメ ノ スウリ ロンリガク
大学図書館所蔵 件 / 全159件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
関連図書: p[195]-196
内容説明・目次
目次
- 第1章 命題論理
- 第2章 述語論理
- 第3章 計算可能性とチューリング機械
- 第4章 命題論理の充足可能性問題
- 第5章 述語論理の決定不能性
- 第6章 ブール代数
- 第7章 形式手法と数理論理学
「BOOKデータベース」 より