高级符号编程历险记

2020-08-16 08:39:32

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

将有广泛的使用麻省理工学院/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日:我们发布了最终项目演示时间表。如果您有任何问题,请告诉我们。