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

板井昌典 著

[目次]

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

「BOOKデータベース」より

この本の情報

書名 情報理論のための数理論理学
著作者等 板井 昌典
書名ヨミ ジョウホウ リロン ノ タメ ノ スウリ ロンリガク
書名別名 Mathematical Logic for Informatics
シリーズ名 数学のかんどころ 31
出版元 共立
刊行年月 2017.8
ページ数 200p
大きさ 21cm
ISBN 978-4-320-11072-4
NCID BB24269023
※クリックでCiNii Booksを表示
全国書誌番号
22943894
※クリックで国立国会図書館サーチを表示
言語 日本語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想