文件名称:nondeterministic-and-probabilistic-programming:非确定性和概率规划
文件大小:191KB
文件格式:ZIP
更新时间:2024-07-12 03:17:02
OCaml
非确定性和概率规划 该编程项目旨在通过开发适当的 monad 来开发库和工具,以支持函数式语言中的非确定性或概率性编程。 该编程项目针对以下课程执行: 有关此项目的完整说明,请参阅 非确定性的幼稚单子 任务1 选择树 任务 2.1 任务 2.2 任务 2.3 Prolog的味道 任务 3.1 任务 3.3 概率规划 任务 4.1 任务 4.2 命令式非确定性编程 任务 5 一元数据结构和记忆 任务 6.1 任务 6.2 任务 6.3 任务 6.4
【文件预览】:
nondeterministic-and-probabilistic-programming-master
----src()
--------Puzzle.ml.copy(1KB)
--------Probatests.ml(1KB)
--------Bools.ml(623B)
--------Sumless_imp.ml(664B)
--------Puzzle.ml(3KB)
--------Cluedo.ml(538B)
--------Mtyping.ml(3KB)
--------Testmemo.ml(1016B)
--------Cluedo.ml.copy(295B)
--------Proba.ml.copy(4KB)
--------Store.mli(844B)
--------Typing.ml(3KB)
--------Nondet.ml(11KB)
--------Typing.ml.copy(3KB)
--------Append.ml(838B)
--------Mlist.ml(3KB)
--------Store.ml(649B)
--------Proba.ml(5KB)
--------Nondet.ml.copy(9KB)
--------Sumless.ml(485B)
----build-archive.sh(153B)
----README.md(1007B)
----description.pdf(171KB)
----run-tests.sh(1KB)
----tests()
--------test-2-3.txt(716B)
--------test-6-4.txt(879B)
--------test-6-2.txt(546B)
--------test-5.txt(392B)
--------test-6-1-6-3.txt(804B)
--------test-4-2.txt(34B)
--------test-3.txt(1KB)
--------test-2-2.txt(431B)
--------test-4-1.txt(405B)
----.gitignore(184B)
----README(1KB)