获得价值高达 $750
当您在2024年2月14日前使用代码*申请时
等式编程-第一期
概述
CEA CAPA合作机构: 阿姆斯特丹自由大学
地点: 荷兰阿姆斯特丹
主要科目范围: 数学
指令: 英语
课程代码: X_401011
记录来源: 合作伙伴机构
课程详细信息: 300级
推荐学分: 3
联系时间: 84
先决条件: 它有助于熟悉形式推理,例如在逻辑和建模课程中所教的.
描述
在实际工作中我们使用了函数式编程语言Haskell. 我们练习一些基础知识,比如列表、递归、数据类型和一些单子. 理论部分以λ演算和等式推理的形式介绍函数式编程的基础. 我们研究了未类型化的微积分约简, 减少的策略, 融合, 数据类型的编码, 不动点组合子和递归函数.此外,我们还研究了简单类型的λ微积分, 它的类型系统和类型推断算法, 可能是简单类型的微积分的强规格化. 在等式推理中,我们努力得到所有初始模型都等于同构的结果, 模型这个词是一个初始模型.
因此,课程描述下列出的联系时间可能会因每门课程所需的讲座和独立工作的组合而有所不同, CEA的推荐学分是基于阿姆斯特丹自由大学分配的ECTS学分. 1学分等于阿姆斯特丹大学分配的28学时.
这门课程包括一个实验部分.
因此,课程描述下列出的联系时间可能会因每门课程所需的讲座和独立工作的组合而有所不同, CEA的推荐学分是基于阿姆斯特丹自由大学分配的ECTS学分. 1学分等于阿姆斯特丹大学分配的28学时.
这门课程包括一个实验部分.
让我们聊天