講義資料
離散数学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対応」 | (公開済) |