論理構造 : インテリジェントシステムの原理を学ぶ

著者

• Hein, James L.
• 神林, 靖 カンバヤシ, ヤスシ

書誌事項

論理構造 : インテリジェントシステムの原理を学ぶ

James L. Hein著 ; 神林靖訳

（独習コンピュータ科学基礎, 2）

翔泳社, 2011.12

タイトル別名

論理構造

Discrete structures, logic, and computability

タイトル読み

ロンリ コウゾウ : インテリジェント システム ノ ゲンリ オ マナブ

注記

原著第3版の翻訳

参考文献: p277-278

内容説明・目次

内容説明

計算とは何か、証明とはどういう行為を指すかの定義から初歩的な論理、述語計算、高階論理、論理プログラミングなどを経て、代数構造、ブール代数および応用技法の実例としてのＲＳＡアルゴリズムの解析を学ぶ。

目次

• 第６章　初等論理（どのように推論するか；命題計算；形式的推論；形式的小売りシステム；章のまとめ）
• 第７章　述語論理（一階述語計算；同値式；述語計算における形式的照明；章のまとめ）
• 第８章　応用論理（等価性；プログラムの正当性；高階論理；章のまとめ）
• 第９章　計算論理（自動推論；論理プログラミング；章のまとめ）
• 第１０章　代数構造と技法（代数とはなにか；ブール代数；代数としての抽象データ型；計算代数；様々な代数的アイデア；章のまとめ）

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BB07850161
• ISBN:
  • 9784798120645
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 原本言語コード: eng
• 出版地: [東京]
• ページ数/冊数: x, 284p
• 大きさ: 23cm
• 分類:
  • NDC8 : 007.1
  • NDC9 : 007.1
• 件名:
  • BSH : 情報理論
  • BSH : 数学
  • NDLSH : 記号論理学
• 親書誌ID:
  • BB0624444X