Programa
Lógica para Programação
Licenciatura Bolonha em Engenharia Informática e de Computadores - Taguspark
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.