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

著者

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

書誌事項

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

田中尚夫著

裳華房, 1997.10

タイトル別名

Introduction to computational logic

タイトル読み

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

電子リソースにアクセスする 全1件

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

  1997

  NDLデジタルコレクション

  限定公開

注記

参考文献: p183-185

内容説明・目次

目次

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

「BOOKデータベース」 より

詳細情報

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