講義資料
離散数学I（1Q） / 2026年度
指定教科書：IT Text 離散数学（松原 良太 他(著)）
（オーム社）
過去の講義資料
離散数学II / 2025年度
指定教科書：例題と演習でわかる離散数学（加納 幹雄(著)）
（森北出版）
| 回 | PDF |
|---|
| 第0回「集合, 命題と論理」 | PDF |
| 第1回「帰納法 (1)」 | PDF |
| 第2回「帰納法 (2)」 | PDF |
| 第3回「代数系の基礎 (1)」 | PDF |
| 第4回「代数系の基礎 (2)」 | PDF |
| 第5回「代数系の基礎 (3)」 | PDF |
| 第6回「代数系の基礎 (4)」 | PDF |
| 第7回「形式言語論 (1)」 | PDF |
| 第8回「形式言語論 (2)」 | PDF |
| 第9回「形式言語論 (3)」 | PDF |
| 第10回「形式言語論 (4)」 | PDF |
| 第11回「離散グラフ理論 (1)」 | PDF |
| 第12回「離散グラフ理論 (2)」 | PDF |
| 第13回「離散グラフ理論 (3)」 | PDF |
離散数学II / 2024年度
指定教科書：例題と演習でわかる離散数学（加納 幹雄(著)）
（森北出版）
| 回 | PDF |
|---|
| 第1回「述語論理」 | PDF |
| 第2回「全称命題と存在命題」 | PDF |
| 第3回「数学的帰納法と帰納的定義」 | PDF |
| 第4回「代数系の基礎(1)–整数の合同の概念 Z/mZ–」 | PDF |
| 第5回「代数系の基礎(2)–群–」 | PDF |
| 第6回「代数系の基礎(3)–環, 体–」 | PDF |
| 第7回「代数系の基礎(4)–多項式環のイデアル–」 | PDF |
| 第8回「形式言語論(1)–語と文法–」 | PDF |
| 第9回「形式言語論(2)–文脈自由文法と導出木–」 | PDF |
| 第10回「形式言語論(3)–有限オートマトン–」 | PDF |
| 第11回「形式言語論(4)–有限オートマトンと正規文法–」 | PDF |
| 第12回「離散グラフ理論(1)–木と最小全域木–」 | PDF |
| 第13回「離散グラフ理論(2)–根付き木と幅優先探索アルゴリズム–」 | PDF |
離散数学II / 2023年度
指定教科書：離散数学への入門, わかりやすい離散数学（小倉 久和(著)）
（近代科学社）
| 回 | PDF |
|---|
| 第1回「集合と写像, 述語記号」 | PDF |
| 第2回「同値関係, 商集合」 | PDF |
情報数理科学論（2Q） / 2025年度
| 回 | PDF |
|---|
| 第1回「あみだくじ」 | （公開済） |
| 第2回「RSK対応」 | （公開済） |