94236TEORIA DOS MODELOSPTptVocabulário Controlado da USP active approved TEORIA DOS MODELOSTEORIA DOS MODELOSBT60102LÓGICA MATEMÁTICAPTNT94251TEORIA DOS TIPOSPT