A teoria da computação é o ramo que trata da eficiência com que problemas podem ser resolvidos em um modelo de computação, usando um algoritmo. A teoria da computação pode ser subdividida em inúmeras áreas sobrepostas. Dois grupos principais de áreas são a teoria da complexidade e os algoritmos, onde a distinção está em saber se o foco está nos recursos computacionais (como na teoria da complexidade) ou nas tarefas a serem resolvidas (como nos algoritmos).
Revistas relacionadas à teoria da computação
Jornal de Tecnologia da Informação, Comunicações em Matemática Aplicada e Ciência Computacional, IEEE Computação Pervasiva, Probabilidade Combinatória e Computação, Geometria Discreta e Computacional