出版社内容情報
【内容】
「モデル理論」「証明論」「計算の理論」について、その基本から一定レヴェルまで展開する。特に論理と機械の関係について重点を置くとともに、多くのエピソードなどを混え、読み易さへの配慮をした。
【目次】
１ 論理学の歴史から
２ 真理関数と分析的方法
３ 自然演繹と証明
４ 証明と真理
５ 述語論理のモデル
６ 述語論理の証明
７ 述語論理の完全性
８ 機械I 有限オートマトン
９ 機械II テューリング機械
10 決定不可能な問題
目次
１ 論理学の歴史から
２ 真理関数と分析的方法
３ 自然演繹と証明
４ 証明と真理
５ 述語論理のモデル
６ 述語論理の証明
７ 述語論理の完全性
８ 機械１―有限オートマトン
９ 機械２―テューリング機械
１０ 決定不可能な問題
感想・レビュー
※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。
yk
0
過去読。整理登録。2013/10/13
