CS 600: Theory of Computation
Course Information from University Catalog
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
1 Course Sections Scheduled for Spring 2018
CS 600 - 001: |
R; 4:30 pm - 7:10 pm