離散構造 : アルゴリズムの原理を学ぶ
Author(s)
Bibliographic Information
離散構造 : アルゴリズムの原理を学ぶ
（独習コンピュータ科学基礎, 1）
翔泳社, 2011.6
- Other Title
-
Discrete structures, logic, and computability
- Title Transcription
-
リサン コウゾウ : アルゴリズム ノ ゲンリ オ マナブ
Available at / 96 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
原著第3版の翻訳
参考文献: p342-343
Description and Table of Contents
Description
非形式的な証明技法にはじまり、集合、関係、関数などの基本概念、基本的なデータ構造および帰納的証明を経て形式的な証明技法に至りアルゴリズムの解析までを学ぶ。
Table of Contents
- 第１章 基本概念と表記法（証明入門；集合 ほか）
- 第２章 関数について（定義と例；関数を構成する ほか）
- 第３章 構成技法（帰納的に定義される集合；再帰関数と手続き ほか）
- 第４章 同値、順序、帰納的証明（二項関係の性質；同値関係 ほか）
- 第５章 解析技法（アルゴリズムを解析する；和と閉形式 ほか）
by "BOOK database"
