|Home | People | Curriculum | Projects | Resources | Media|
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