Paradigmas da Programação I
Métodos de Programação I
Métodos de Programação II
Métodos Formais de Programação I
Métodos Formais de Programação II
Laboratório de Métodos Formais
Elementos Lógicos da Programação I
Elementos Lógicos da Programação II
Elementos Lógicos da Programação III
Fundamentos de Criptografia
Criptografia Aplicada
Sistemas Digitais II
Sintese de Sistemas Digitais II