93939TEORIA DA COMPUTAÇÃOPTptVocabulário Controlado da USP active approved TEORIA DA COMPUTAÇÃOTEORIA DA COMPUTAÇÃOBT18765CIÊNCIA DA COMPUTAÇÃOPTNT3387ALGORITMOS E ESTRUTURAS DE DADOSPTNT21882COMPUTABILIDADE E COMPLEXIDADEPTNT58872LINGUAGENS FORMAISPTNT88098SEMÂNTICA DE PROGRAMAÇÃOPTNT94209TEORIA DOS AUTÔMATOSPTNT61914MATEMÁTICA DISCRETAPT