6.945 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.945 will not be offered this semester. It will be available in the Spring semester, and will be instructed by .

This class counts for a total of 12 credits. This is a graduate-level class.

You can find more information at the MIT + 6.945 - Google Search site or on the 6.945 Stellar site.

MIT 6.945 Large-scale Symbolic Systems Related Textbooks
MIT 6.945 Large-scale Symbolic Systems On The Web

© Copyright 2015