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

Author(s)

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

Bibliographic Information

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

板井昌典著

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

共立出版, 2017.8

Other Title

Mathematical logic for informatics

Title Transcription

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

Access to Electronic Resource 1 items

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

  2017.8.

  Maruzen eBook Library

Note

関連図書: p[195]-196

Description and Table of Contents

Table of Contents

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

by "BOOK database"

Details

• NCID: BB24269023
• ISBN:
  • 9784320110724
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: xi, 200p
• Size: 21cm
• Classification:
  • NDLC : MA41
  • NDC9 : 410.96
• Subject Headings:
  • BSH : 記号論理学
• Parent Bibliography ID:
  • BB05867414