| Course Topics |
Number of Lectures |
| Fundamentals of Computation, expressions, symbolic
expressions |
3 |
| Function-based Computing Lambda Calculus, abastract
programming, and evaluation orders |
4 |
| The SECD abstract machine and memory management
requirements |
4 |
| Lisp and other functional languages |
3 |
| Combinators and Graph Reduction |
2 |
| Variations |
1 |
| Logic-based Computing Predicate logic and Inference Engines The Prolog Inference Engine and the Warren Abstract Machine |
4 4 |
| All Solution Inference Engines Relational Databases & Production Rules Variations, including Parallel Logic Languages and Machines |
2 2 |
| Object Oriented Computing Lattices, classes, and inheritnace Smalltalk and Bytecode abstract machine C++ and other object oriented languages Object oriented programming methodologies |
2 3 3 3 |
| Future Directions |
1 |
| Midterm Exam |
1 |
| Grading |
|
| Homeworks |
20% |
| Midterm |
20% |
| Projects (2) |
60% |