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