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

Bibliographic Information

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

James L. Hein著 ; 神林靖訳

(独習コンピュータ科学基礎, 2)

翔泳社, 2011.12

Other Title

論理構造

Discrete structures, logic, and computability

Title Transcription

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

Available at  / 83 libraries

Note

原著第3版の翻訳

参考文献: p277-278

Description and Table of Contents

Description

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

Table of Contents

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

by "BOOK database"

Related Books: 1-1 of 1

Details

  • NCID
    BB07850161
  • ISBN
    • 9784798120645
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Original Language Code
    eng
  • Place of Publication
    [東京]
  • Pages/Volumes
    x, 284p
  • Size
    23cm
  • Classification
  • Subject Headings
  • Parent Bibliography ID
Page Top