Course Details

  • 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

  • Category: A (M.S.), A (Ph.D.)
  • Prerequisite Information:

    Admission Requirements