Teoria e Correção de Algoritmos

Conceitos fundamentais sobre algoritmos, seus princípios de design, garantias de correção e limitações teóricas na resolução de problemas.