94018TEORIA DA COMPUTAÇÃOPTptVocabulário Controlado da USP active approved TEORIA DA COMPUTAÇÃOTEORIA DA COMPUTAÇÃOBT18775CIÊNCIA DA COMPUTAÇÃOPTNT3394ALGORITMOS E ESTRUTURAS DE DADOSPTNT21892COMPUTABILIDADE E COMPLEXIDADEPTNT58900LINGUAGENS FORMAISPTNT88168SEMÂNTICA DE PROGRAMAÇÃOPTNT94288TEORIA DOS AUTÔMATOSPTNT61951MATEMÁTICA DISCRETAPT