離散数学・オートマトン

2023年度
只木進一

講義資料

  1. 集合と写像
    [確認テスト解答例 演習問題解答例]
    [関連Phythonプログラム https://github.com/discrete-math-saga/SetAndMapping ]
  2. 命題、述語、ブール代数
    [確認テスト解答例 演習問題解答例]
    [関連Phythonプログラム https://github.com/discrete-math-saga/PropositionsAndPredicates ]
  3. 数学的帰納法と再帰的定義
    [確認テスト解答例 演習問題解答例]
    [関連Phythonプログラム https://github.com/discrete-math-saga/MathematicalInductionAndRecursiveDefinitions ]
  4. 関係と順序
    [確認テスト解答例 演習問題解答例]
    [関連Phythonプログラム https://github.com/discrete-math-saga/RelationsAndOrder ]
  5. グラフ
    [確認テスト解答例 演習問題解答例]
  6. グラフの探索
    [確認テスト解答例 演習問題解答例]
  7. 最小木
    [確認テスト解答例 演習問題解答例]
  8. 最短経路問題
    [確認テスト解答例 演習問題解答例]
  9. カットとフロー
    [確認テスト解答例 演習問題解答例]
  10. 有限オートマトン
    [確認テスト解答例 演習問題解答例]
  11. 非決定性有限オートマトンと決定性有限オートマトン
    [確認テスト解答例 演習問題解答例]
  12. 有限オートマトンと正規表現
    [確認テスト解答例 演習問題解答例]
  13. プッシュダウンオートマトン
    [確認テスト解答例 演習問題解答例]
  14. 文脈自由文法
    [確認テスト解答例 演習問題解答例]
  15. チューリングマシン

過去の資料

HOME