離散数学・オートマトン

2020年度(更新中)
只木進一

講義資料

  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. 文脈自由文法

HOME