Understanding the theory of computation provides deeper insights into various topics in computer science. This is an introductory level theory course. The aim of this course is to study the power (or lack of it) of various models of computation. Topics to be covered include: computability theory, automata theory, and languages.

  • Credits: 3
  • Frequency: At least once a year


Requirements and Grading

Homework and examinations.