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
course
syllabus

Page maintained by John Dougherty,
David Wonnacott, and Rachel
Heaton. |