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