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