計算論理入門 : 情報の数理

Author(s)

• 田中, 尚夫 タナカ, ヒサオ

Bibliographic Information

計算論理入門 : 情報の数理

田中尚夫著

裳華房, 1997.10

Other Title

Introduction to computational logic

Title Transcription

ケイサン ロンリ ニュウモン : ジョウホウ ノ スウリ

Note

参考文献: p183-185

Description and Table of Contents

Table of Contents

• 第１章　ブール代数の基礎
• 第２章　オートマトンと形式文法
• 第３章　帰納的関数とチューリング計算機
• 第４章　命題論理学
• 第５章　命題論理に関する計算量問題
• 第６章　述語論理概説

by "BOOK database"

Details

• NCID: BA33465309
• ISBN:
  • 4785315059
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: vii, 194p
• Size: 21cm
• Classification:
  • NDC8 : 410.96
  • NDC9 : 410.96
• Subject Headings:
  • BSH : 記号論理学