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 be offered this semester (Spring 2019). It is instructed by G. J. Sussman.

Lecture occurs 3:00 PM to 4:00 PM on Mondays, Wednesdays and Fridays in 4-153.

This class counts for a total of 12 credits.

You can find more information at the MIT + 6.905 - Google Search site.

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

© Copyright 2015