Informações do curso

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.