Search Results

6.905 Large-scale Symbolic Systems

Prereq: 6.034 or permission of instructor
U (Spring)
12 Units

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.

G. J. Sussman

See more...

Subject meets with 6.945

Linguistics and Philosophy (Course 24-2)

http://catalog.mit.edu/degree-charts/linguistics-philosophy-course-24-2/

...Requirements Subjects Science Requirement 6 Humanities, Arts, and...satisfied by either 24.905[J] or 24...