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