離散数学・オートマトン
2023年度
只木進一
講義資料
- 集合と写像
[確認テスト解答例
演習問題解答例]
[関連Phythonプログラム
https://github.com/discrete-math-saga/SetAndMapping
]
- 命題、述語、ブール代数
[確認テスト解答例
演習問題解答例]
[関連Phythonプログラム
https://github.com/discrete-math-saga/PropositionsAndPredicates
]
- 数学的帰納法と再帰的定義
[確認テスト解答例
演習問題解答例]
[関連Phythonプログラム
https://github.com/discrete-math-saga/MathematicalInductionAndRecursiveDefinitions
]
- 関係と順序
[確認テスト解答例
演習問題解答例]
[関連Phythonプログラム
https://github.com/discrete-math-saga/RelationsAndOrder
]
- グラフ
[確認テスト解答例
演習問題解答例]
- グラフの探索
[確認テスト解答例
演習問題解答例]
- 最小木
[確認テスト解答例
演習問題解答例]
- 最短経路問題
[確認テスト解答例
演習問題解答例]
- カットとフロー
[確認テスト解答例
演習問題解答例]
- 有限オートマトン
[確認テスト解答例
演習問題解答例]
- 非決定性有限オートマトンと決定性有限オートマトン
[確認テスト解答例
演習問題解答例]
- 有限オートマトンと正規表現
[確認テスト解答例
演習問題解答例]
- プッシュダウンオートマトン
[確認テスト解答例
演習問題解答例]
- 文脈自由文法
[確認テスト解答例
演習問題解答例]
- チューリングマシン
過去の資料
HOME