Chama-se a atenção para o facto de os slides não substituírem a leitura do livro de apoio.
Os slides deste ano serão disponibilizados antes das aulas mas poderão ser revistos após as mesmas.
Os slides do ano passado estão disponíveis aqui:
Attachments
- Cap. 1: Conceitos Básicos
- Cap. 2: Cálculo Proposicional I
- Cap. 3: Cálculo Proposicional II
- Cap. 4: Lógica de Primeira Ordem I
- Cap. 5: Lógica de Primeira Ordem II
- Cap. 6: Programação em Lógica
- Cap. 7: Prolog - exemplos
- Prolog: puzzle da zebra - factos+objectivo
- Prolog: puzzle da zebra - factos+regras+objectivo
- Prolog: missionários e canibais