Course Details
16:198:509 - Foundations of Computer Science
- Course Number: 16:198:509
- Course Type: Graduate
- Semester 1: Fall
- Credits: 3
- 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
- M.S. Course Category: Algorithms & Complexity
- Category: A (M.S.), A (Ph.D.)
- Prerequisite Information:
Admission Requirements
