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


CS 583

1 Course Sections Scheduled for Spring 2018

1 Course Sections Scheduled for Fall 2016