Lógica Matemática
Ementa
Introdução à lógica. Noção de argumento: premissas, conclusão, formas, validade. Lógica proposicional: sintaxe e semântica. Lógica de 1ª ordem. Lógica aplicada em Sistemas de Informação.
Corpo Docente
Armanda Maria Correia de Amorim Oliveira