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). Resolução proposicional. Lógica de primeira ordem (sistema dedutivo). Resolução de primeira ordem. Programação em lógica. PROLOG.