图 书 馆
高级符号编程中的冒险6.945 Adventures in Advanced Symbolic Programming |
|
| 课程网址: | http://ocw.mit.edu/courses/electrical-engineering-and-computer-sc... |
| 主讲教师: | Prof. Gerald Sussman |
| 开课单位: | 麻省理工学院 |
| 开课时间: | 信息不详。欢迎您在右侧留言补充。 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | This course covers concepts and techniques for the design and implementation of large software systems that can be adapted to uses not anticipated by the designer. Applications include compilers, computer-algebra systems, deductive systems, and some artificial intelligence applications. Topics include combinators, generic operations, pattern matching, pattern-directed invocation, rule systems, backtracking, dependencies, indeterminacy, memoization, constraint propagation, and incremental refinement. Substantial weekly programming assignments are an integral part of the subject. There will be extensive programming assignments, using MIT/GNU Scheme. Students should have significant programming experience in Scheme, Common Lisp, Haskell, CAML or some other "functional" language. |
| 关 键 词: | 符号编程; 添加剂系统; 语言层; 直接调用; AMB; 回溯; 传播系统; 约束; 真值维护; 结构及计算机公关解释 |
| 课程来源: | 麻省理工大学公开课 |
| 最后编审: | 2016-03-13：cmh |
| 阅读次数: | 47 |