6.905 Large-scale Symbolic Systems

Class Info

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. Covers means for decoupling goals from strategy, mechanisms for implementing additive data-directed invocation, work with partially-specified entities, and how to manage multiple viewpoints. Topics include combinators, generic operations, pattern matching, pattern-directed invocation, rule systems, backtracking, dependencies, indeterminacy, memoization, constraint propagation, and incremental refinement. Students taking graduate version complete additional assignments.

This class has 6.034 as a prerequisite.

6.905 will not be offered this semester. It will be available in the Spring semester, and will be instructed by G. J. Sussman.

Lecture occurs 2:00 PM to 3:00 PM on Mondays, Wednesdays and Fridays in 26-168.

This class counts for a total of 12 credits.

You can find more information at the 6.945/6.905 Assignments -- Spring 2019 site.

MIT 6.905 Large-scale Symbolic Systems Related Textbooks
MIT 6.905 Large-scale Symbolic Systems On The Web
6.945/6.905 Assignments -- Spring 2019

© Copyright 2015