高级符号编程历险记

用于设计和实现大型软件系统的概念和技术，这些系统可以适应设计者没有预料到的用途。应用程序包括编译器、计算机代数系统、演绎系统和一些人工智能应用程序。用于实现附加数据定向调用的机制。使用部分指定的实体。管理多个视点。主题包括组合符、泛型操作、模式匹配、模式定向调用、规则系统、回溯、依赖关系、不确定性、记忆化、约束传播和增量优化。实质的每周编程作业是本课程不可分割的一部分。

将有广泛的使用麻省理工学院/GNU模式的编程作业。学生应该在Scheme、Common Lisp、Haskell、CAML或其他函数式语言方面有丰富的编程经验。

必备条件：6.034或同等经验。推荐在函数式语言方面有丰富的编程经验。时间：MWF下午2：00教室：26-168课本草稿将在课堂上分发给注册学生。办公时间：GJS将于周五下午3点至4点提供服务(但通常在其他下午提供服务！)。肯尼周二和周四1：30-2：30在32-G5休息室有空。电子邮件：[email protected]和[email protected]。

阿蒙。2020年4月27日：我们发布了最终项目演示时间表。如果您有任何问题，请告诉我们。