Upcoming courses, Fall 2008
CS 111 -- Computer Science 2
This course continues the exploration of introductory computer
science begun in CS 110. Focus is on developing basic knowledge
of algorithms, programming skills and problem solving techniques.
Prerequisite: CS110 or an equivalent course elsewhere.
The course will include programming projects and laboratory using C++.
CS 410 -- Abstract Machines and Grammars
This course introduces the theory of computation. We study various models of computation
and determine what is and is not computable under those models.
Prerequisite: Math 375 (Discrete). The main mathematical background needed is a strong
grasp of basic set theory, functions and relations and logic.
CS 611 -- Graduate Theory of Computation
This course begins where CS 410 leaves off. We study advanced models of computation and
their consequences.
Prerequisite: CS 410 and graduate standing.
Computer Science is no more about computers
than astronomy is about
telescopes.
--Edsger W. Dijkstra