CSC 173: Computation and Formal Systems

Fall 2007 Information

We investigate several formal systems influential in computer science, and also some of their applications (e.g. inspiring and providing the foundation for a computer programming style, or providing the basis for solving important practical problems like communications protocols, compiling, systems analysis, graphics ...) In more detail, we study: propositional and predicate Logic; applications of logic: prolog and circuit design; formal languages and automata theory (FLAT); applications of FLAT: scanners and parsers. The C Language; lambda calculus and scheme; matrices: matlab, robotics, graphics.

Prerequisite: CSC 172. (Fall)


Last changed 8/29/07 by Marty Guenther (marty@cs.rochester.edu)