Métodos Formais em Programação - Introdução à lógica formal (proposicional e de primeira ordem, com ênfase para lógicas clássicas) e aplicações em computação.
- Professor: Flávio Soares Correa da Silva
- Professor: Erika Guetti
Métodos Formais em Programação - Introdução à lógica formal (proposicional e de primeira ordem, com ênfase para lógicas clássicas) e aplicações em computação.