George Mason University
George Mason University Mason
George Mason University

CS 600: Theory of Computation

Course Information from University Catalog

Not Repeatable


Introduction to logic and proof techniques, formal languages, automata theory, and computational complexity. Specific topics include regular and context-free languages, Turing machines, NP-completeness, and undecidability.

Hours of Lecture or Seminar per week: 3

 

Credits: 3

Prerequisites:

CS 583

1 Course Sections Scheduled for Spring 2018

1 Course Sections Scheduled for Fall 2016

Expertise