CompSci 140, SPRING 2007

Mathematical Foundations of Computer Science


FINAL EXAM is Friday, May 4, 2007, 2-5pm. Do not plan to leave town before this.


Course Anouncements

Course Description:

An introduction to theoretical computer science including studies of abstract machines, the language hierarchy from regular languages to recursively enumerable languages, noncomputability and complexity theory.

The required work in this course includes inclass group work, and homework consisting of written assignments, JFLAP assignments and one three-part programming assignment.

Required Background:

CompSci 100 or 100E, Mathematics 103, and CompSci 102.

Last modified: Mon Jan 15 16:41:05 EST 2007