6.905 Large-scale Symbolic Systems
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.
© Copyright 2015 Yasyf Mohamedali