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.