- 2進数
- アナロジー
- オイラー経路とハミルトン経路
- オートマトンと正規表現
- グラフ
- グラフとツリー
- この分野に貢献した人物
- コンピュータ工学における離散数学の目的と役割
- コンピュータ工学への応用
- ド・モルガンの法則
- ファジー集合とクリスプ集合
- ファジー集合の基本演算(代数和、代数積、限界和、限界差、限界積、激烈和、激烈積)
- ファジー集合の基本概念
- ベン図
- 演算精度
- 還元法
- 関係(反射、対称、推移、等価)
- 関数(1対1、全射、逆、合成)
- 関数、関係、集合
- 関数の生成
- 含意、逆、否定、対偶、否定、矛盾の概念
- 基数
- 帰納法
- 形式的証明の構造
- 計算論
- 計算論概論
- 最短経路
- 自動定理証明
- 集合
- 集合(ベン図、補集合、デカルト積、べき集合)
- 巡回戦略
- 順列と組合せ
- 証明技法
- 人工知能
- 数え上げと離散確率の基礎
- 数え上げ論法:和と積の法則
- 数学的帰納法と強帰納法
- 数値誤差と精度
- 数値表現
- 数論
- 全域木
- 代数構造
- 知識テーマ(集合、論理、関数、グラフ)
- 直接的な証明
- 統計解析(検定と推定、回帰分析、相関等)
- 濃度と可算性
- 鳩の巣原理
- 反例、対偶、背理法による証明
- 無向グラフ
- 命題
- 木
- 有向グラフ
- 離散確率
- 離散関数、連続関数、関係
- 離散時間モデルと連続時間モデルの対照
- 論理
- 論理演算
- 和集合、共通集合、補集合