Métodos formais - disciplina em que são estudados aspectos básicos da lógica clássica e aplicações em Ciência da Computação.
- Professor: Flávio Soares Correa da Silva
- Professor: Gustavo Salazar Torres
Métodos formais - disciplina em que são estudados aspectos básicos da lógica clássica e aplicações em Ciência da Computação.