Home | People | Curriculum | Projects | Resources | Media

CMSC 345: Theory of Computation

Instructor: Steven Lindell

Semester & Year: Spring 2010

Prerequisites: CMSC 206 (Data Structures), Math/CS 231 (Discrete Math), and another 200 level mathematics course or consent of the instructor.

Description: An introduction to the mathematical foundations of computer science: finite state automata, formal languages and grammars, Turing machines, computability, unsolvability, and computational complexity.

For more details, see the course syllabus

Haverford College Page maintained by John Dougherty, David Wonnacott, and Rachel Heaton.
Computer Science Department, Haverford College.