Description
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
Eric Allender, Joe Kilian, Mario Szegedy
Credits: 3
Category: A
Prerequisites: Admission Requirements
Semesters Offered:Fall
