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

著者

• 板井, 昌典 イタイ, マサノリ

書誌事項

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

板井昌典著

（数学のかんどころ, 31）

共立出版, 2017.8

タイトル別名

Mathematical logic for informatics

タイトル読み

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

注記

関連図書: p[195]-196

内容説明・目次

目次

• 第１章　命題論理
• 第２章　述語論理
• 第３章　計算可能性とチューリング機械
• 第４章　命題論理の充足可能性問題
• 第５章　述語論理の決定不能性
• 第６章　ブール代数
• 第７章　形式手法と数理論理学

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BB24269023
• ISBN:
  • 9784320110724
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: xi, 200p
• 大きさ: 21cm
• 分類:
  • NDLC : MA41
  • NDC9 : 410.96
• 件名:
  • BSH : 記号論理学
• 親書誌ID:
  • BB05867414