A disciplina de Teoria da Computação apresenta os principais conceitos das três áreas centrais da teoria da computação, a saber: (i) a teoria dos autômatos, (ii) a teoria da computabilidade e (iii) a teoria da complexidade. Essas áreas buscam responder quais são as capacidades e limitações fundamentais dos computadores. Em cada uma das três áreas essa questão é interpretada de forma diferente e as respostas variam conforme a interpretação