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
Prerequisite: 

Admission Requirements

Professor: 
Eric Allender
Mario Szegedy
Semester: 
Fall
Course Type: 
Graduate

Check the University Schedule of Classes to see if this course is open.

Request a Special Permission Number here if the class is full.