情報理論のための数理論理学

書誌事項

情報理論のための数理論理学

板井昌典著

(数学のかんどころ, 31)

共立出版, 2017.8

タイトル別名

Mathematical logic for informatics

タイトル読み

ジョウホウ リロン ノ タメ ノ スウリ ロンリガク

大学図書館所蔵 件 / 152

注記

関連図書: p[195]-196

内容説明・目次

目次

  • 第1章 命題論理
  • 第2章 述語論理
  • 第3章 計算可能性とチューリング機械
  • 第4章 命題論理の充足可能性問題
  • 第5章 述語論理の決定不能性
  • 第6章 ブール代数
  • 第7章 形式手法と数理論理学

「BOOKデータベース」 より

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BB24269023
  • ISBN
    • 9784320110724
  • 出版国コード
    ja
  • タイトル言語コード
    jpn
  • 本文言語コード
    jpn
  • 出版地
    東京
  • ページ数/冊数
    xi, 200p
  • 大きさ
    21cm
  • 分類
  • 件名
  • 親書誌ID
ページトップへ