Skip to content Skip to navigation

Foundations of Computer Science

16:198:509

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 (M.S.)
A (Ph.D.)
Prerequisite: 

Admission Requirements

Semesters: 
Fall
Teaching Professors Names: 
Eric Allender
Mario Szegedy