The Computer Science Department has made the following changes 
(Nov 06) to graduate theory courses:

  1. Add the new course CS 5003.

  2. Slightly modify the course description for CS 503.


NEW COURSE.

CS 5003. Foundations of Computer Science: an Introduction.

This is the study of mathematical foundations of computing, at a
slower pace than that of CS 503 and with correspondingly fewer
background assumptions.  Topics include finite automata and regular
languages, pushdown automata and context-free languages, Turing
machines and decidability, and an introduction to computational
complexity.  Prerequisite: an undergraduate course in discrete
mathematics.


MODIFIED DESCRIPTION.

CS 503. Foundations of Computer Science.

This is the study of mathematical foundations of computing.  Topics
include finite automata and regular languages, pushdown automata and
context-free languages, Turing machines and decidability, and an
introduction to computational complexity.  Prerequisites: Knowledge of
discrete mathematics and algorithms at the undergraduate level, and
some facility with reading and writing mathematical proofs.

_______________________________________________________________


Original motion at  

    http://web.cs.wpi.edu/Help/GradMotions/thmotion.txt


_______________________________________________________________
Version: Wed May  9 17:24:42 EDT 2007