https://vocabulario.abcd.usp.br/pt-br/https://vocabulario.abcd.usp.br/pt-br/?tema=93939TEORIA DA COMPUTAÇÃO https://vocabulario.abcd.usp.br/pt-br/?tema=93939 CIÊNCIA DA COMPUTAÇÃO BT https://vocabulario.abcd.usp.br/pt-br/?tema=93939 MATEMÁTICA DISCRETA NT https://vocabulario.abcd.usp.br/pt-br/?tema=93939 TEORIA DOS AUTÔMATOS NT https://vocabulario.abcd.usp.br/pt-br/?tema=93939 SEMÂNTICA DE PROGRAMAÇÃO NT https://vocabulario.abcd.usp.br/pt-br/?tema=93939 LINGUAGENS FORMAIS NT https://vocabulario.abcd.usp.br/pt-br/?tema=93939 COMPUTABILIDADE E COMPLEXIDADE NT https://vocabulario.abcd.usp.br/pt-br/?tema=93939 ALGORITMOS E ESTRUTURAS DE DADOS NT