内容説明
非形式的な証明技法にはじまり、集合、関係、関数などの基本概念、基本的なデータ構造および帰納的証明を経て形式的な証明技法に至りアルゴリズムの解析までを学ぶ。
目次
第１章 基本概念と表記法（証明入門；集合 ほか）
第２章 関数について（定義と例；関数を構成する ほか）
第３章 構成技法（帰納的に定義される集合；再帰関数と手続き ほか）
第４章 同値、順序、帰納的証明（二項関係の性質；同値関係 ほか）
第５章 解析技法（アルゴリズムを解析する；和と閉形式 ほか）
著者等紹介
ハイン，ジェームズ［ハイン，ジェームズ］［Ｈｅｉｎ，Ｊａｍｅｓ Ｌ．］
ポートランド州立大学計算機科学科名誉教授。ノースウェスタン大学より数学の博士号を、そしてスタンフォード大学よりコンピュータ科学の修士号を取得。長年に亘り数学とコンピュータ科学の教育に携わり、斯学の様々なコースを担当してきた。数学の研究の傍らコンピュータ科学教育も研究対象としてきた。合衆国空軍に１１年間奉職し、そのうち３年間を合衆国空軍士官学校の教官として過ごした。現在は引退
神林靖［カンバヤシヤスシ］
日本工業大学工学部情報工学科准教授。計算理論とプログラミング言語理論、そして数理政治学に興味をもつ。慶應義塾大学法学部政治学科卒業、ワシントン大学大学院計算機科学科修士課程修了、トレド大学大学院電気工学計算機科学科博士課程修了、ＰｈＤ。ＡＣＭ、ＩＥＥＥ、Ｔａｕ Ｂｅｔａ Ｐｉ、情報処理学会、電子情報通信学会、日本フルート協会等会員。慶應義塾大学、早稲田大学、法政大学非常勤講師。情報処理技術者試験委員（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
