論理構造 : インテリジェントシステムの原理を学ぶ
著者
書誌事項
論理構造 : インテリジェントシステムの原理を学ぶ
（独習コンピュータ科学基礎, 2）
翔泳社, 2011.12
- タイトル別名
-
論理構造
Discrete structures, logic, and computability
- タイトル読み
-
ロンリ コウゾウ : インテリジェント システム ノ ゲンリ オ マナブ
大学図書館所蔵 全82件
この図書・雑誌をさがす
注記
原著第3版の翻訳
参考文献: p277-278
内容説明・目次
内容説明
計算とは何か、証明とはどういう行為を指すかの定義から初歩的な論理、述語計算、高階論理、論理プログラミングなどを経て、代数構造、ブール代数および応用技法の実例としてのＲＳＡアルゴリズムの解析を学ぶ。
目次
- 第６章 初等論理（どのように推論するか；命題計算；形式的推論；形式的小売りシステム；章のまとめ）
- 第７章 述語論理（一階述語計算；同値式；述語計算における形式的照明；章のまとめ）
- 第８章 応用論理（等価性；プログラムの正当性；高階論理；章のまとめ）
- 第９章 計算論理（自動推論；論理プログラミング；章のまとめ）
- 第１０章 代数構造と技法（代数とはなにか；ブール代数；代数としての抽象データ型；計算代数；様々な代数的アイデア；章のまとめ）
「BOOKデータベース」 より