Programa
Lógica para Programação
Licenciatura Bolonha em Engenharia Informática e de Computadores - Alameda
Programa
Proposições e argumentos, Componentes de uma lógica, Lógica proposicional (sistema dedutivo e semântica), Lógica de primeira ordem (sistema dedutivo e semântica), Solidez e completude, Resolução, Programação em lógica.