Ciência da Computação Teórica

A Ciência da Computação Teórica é um subconjunto da matemática e da ciência da computação geral que trata da computação de tópicos matemáticos que envolvem as teorias da computação. A Ciência da Computação Teórica cobre uma ampla gama de tópicos como complexidade computacional, algoritmos, computação probabilística, teoria de autômatos, criptografia e teoria computacional dos números.