Introduction to first-order logic, emphasizing methods used in computer science. Introduction to mathematical models of computation, especially deterministic and non-deterministic Turing machines, computability theory, and space ant time complexity theory.P and NP
Credits:
3
Category:
A
Prerequisite:
Admission Requirements
Semester:
Fall
Professor:
Eric Allender
Mario Szegedy
Course Type:
Graduate
Course Name:
Foundations of Computer Science
Department of Computer Science