高级符号编程冒险

用于设计和实现的概念和技术，其可以适应使用的LiSoftware系统，该系统不受限制地预期。应用程序包括编译器，计算机代数系统，演绎系统和一些人工智能应用程序。用于从策略中解耦目标。实现资本数据定向调用的机制。使用部分特征。管理多个观点。主题包括组合器，通用操作，模式匹配，模式定向调用，规则系统，回溯，依赖性，不确定性，备忘，约束传播和增量细化。实质性周周地编程分配是主题的一个组成部分。

使用MIT / GNU方案将有广泛的编程分配。虽然MIT / GNU方案是免费的（Libre）软件，您可以将您的个人计算机安装，我们将提供替代计算资源来支持我们的类。搜集者应该在方案中具有重要的编程经验，常见的lisp，haskell，caml或其他＆＃34;功能＆＃34;语言。

先决条件：6.034或可比的经验。建议使用功能语言的编程经验。时间：MWF 2:00 PM Room：仅限在线，宣布地点。教科书将被分发到注册学生。办公时间：GJS将于周五的下午3-4（但在其他下午常见）上市