等式编程-第一期 阿姆斯特丹STEM项目 2024秋季学期 - - - - - -阿姆斯特丹

在实际工作中我们使用了函数式编程语言Haskell. 我们练习一些基础知识，比如列表、递归、数据类型和一些单子. 理论部分以λ演算和等式推理的形式介绍函数式编程的基础. 我们研究了未类型化的微积分约简, 减少的策略, 融合, 数据类型的编码, 不动点组合子和递归函数.此外，我们还研究了简单类型的λ微积分, 它的类型系统和类型推断算法, 可能是简单类型的微积分的强规格化. 在等式推理中，我们努力得到所有初始模型都等于同构的结果, 模型这个词是一个初始模型.

因此，课程描述下列出的联系时间可能会因每门课程所需的讲座和独立工作的组合而有所不同, CEA的推荐学分是基于阿姆斯特丹自由大学分配的ECTS学分. 1学分等于阿姆斯特丹大学分配的28学时.

这门课程包括一个实验部分.