Math 345 -- Theory of Computation (also called Computer Science 345) 

Math 345 is an introduction to the mathematical foundations of computer science.

This course is not a requirement for the math major or minor, but it can be counted as a 300-level elective toward either the major or the minor.

Prerequisites: Math/Computer Science 231, Computer Science 206, and some additional mathematics at the 200 level, or consent of instructor.

Who should take this course?
Math majors or minors
Computer science majors or concentrators

Topics covered:
Finite state automata
Formal languages and grammars
Turing machines
Computability, unsolvability, and computational complexity


---

For detailed information about Math 345 this year, please consult the list of Fall Courses and Spring Courses linked to the Mathematics and Statistics Home Page.