独習コンピュータ科学基礎 ２「論理構造 インテリジェントシステムの原理を学ぶ」
発売日：2011年12月
- 巻の書名
- 論理構造 インテリジェントシステムの原理を学ぶ
- ISBN
- 978-4-7981-2064-5
- 著者情報
- ハイン，ジェームズ（ハイン，ジェームズ）（Ｈｅｉｎ，Ｊａｍｅｓ Ｌ．）
ポートランド州立大学計算機科学科名誉教授。ノースウェスタン大学より数学の博士号を、そしてスタンフォード大学よりコンピュータ科学の修士号を取得。長年に亘り数学とコンピュータ科学の教育に携わり、斯学の様々なコースを担当してきた。数学の研究の傍らコンピュータ科学教育も研究対象としてきた。合衆国空軍に１１年間奉職し、そのうち３年間を合衆国空軍士官学校の教官として過ごした
神林 靖（カンバヤシ ヤスシ）
日本工業大学工学部情報工学科准教授。計算理論とプログラミング言語理論、そして数理政治学に興味をもつ。慶應義塾大学法学部政治学科卒業、ワシントン大学大学院計算機科学科修士課程修了、トレド大学大学院電気工学計算機科学科博士課程修了、ＰｈＤ。ＡＣＭ、ＩＥＥＥ、Ｔａｕ Ｂｅｔａ Ｐｉ、情報処理学会、電子情報通信学会、日本フルート協会等会員。慶應義塾大学、早稲田大学、法政大学非常勤講師。情報処理技術者試験委員
セブン-イレブン受取り(送料無料)
発送目安
発売日（発売日以降は当日）～2日で発送
宅配（送料¥550税込）
発送目安
発売日（発売日以降は当日）～2日で発送
交通状況・天候の影響や注文が集中した場合等、お届けにお時間をいただく場合がございます。
商品説明
計算とは何か、証明とはどういう行為を指すかの定義から初歩的な論理、述語計算、高階論理、論理プログラミングなどを経て、代数構造、ブール代数および応用技法の実例としてのＲＳＡアルゴリズムの解析を学ぶ。
目次
第６章 初等論理（どのように推論するか
命題計算
形式的推論
形式的小売りシステム
章のまとめ）
第７章 述語論理（一階述語計算
同値式
述語計算における形式的照明
章のまとめ）
第８章 応用論理（等価性
プログラムの正当性
高階論理
章のまとめ）
第９章 計算論理（自動推論
論理プログラミング
章のまとめ）
第１０章 代数構造と技法（代数とはなにか
ブール代数
代数としての抽象データ型
計算代数
様々な代数的アイデア
章のまとめ）
商品詳細
- 出版社名
- 翔泳社
- 対象年齢
- 一般
- フォーマット
- 単行本
- 原題
- 原タイトル：Ｄｉｓｃｒｅｔｅ Ｓｔｒｕｃｔｕｒｅｓ，Ｌｏｇｉｃ，ａｎｄ Ｃｏｍｐｕｔａｂｉｌｉｔｙ 原著第３版の翻訳
注意事項
- 本の帯に関して
- 帯つきでの出荷はお約束しておりません。
商品ページに、帯のみに付与される特典物等の表記がある場合でも、確実に帯つきでの出荷はお約束しておりません。
また、帯は商品の一部ではなく「広告扱い」のため、帯の有無・破損による交換や返品は承っておりません。 - 版・表紙について
- 版・表紙（カバー）のご指定は承っておりません。ご注文いただくタイミングによっては、お届けする商品の版や表紙が商品ページ上のものとは異なる場合がございます。
また、初版にのみにお付けしている特典（初回特典、初回仕様特典）がある商品は、商品ページに特典の表記がされている場合でも、無くなり次第終了となります。
