Skip to content Skip to navigation

16:198:509 - Foundations of Computer Science

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