Lógica Computacional (8504N2)
Licenciatura em Matemática e Ciências de Computação
2º Ano - 2º Semestre
Ano lectivo 2005/2006
Programa
Componente Teórica
- Lógica Proposicional
- Sintaxe
- Linguagens de Cláusulas
- Validade e Verificação
- Redução Semântica
- Modelos e Diagramas de Decisão Binária
- Exemplos de problemas SAT
- Lógica de Primeira Ordem
- Sintaxe da Lógica de Predicados
- Substituições
- Semântica da Lógica de Predicados
- Modelos de Herbrand da LPO
Componente Teórico-Prática
- Programação Lógica na linguagem Prolog
- Programação com Restricções
Bibliografia
- Prolog Programming for Artificial Intelligence. Ivan Bratko, Addison-Wesley, 1993.
- The Art of Prolog : advanced programming techniques. L. Sterling & E. Shaphiro, MIT Press, 1994.
- Essentials of Logic Programming. Christopher John Hogger. Oxford University Press, 1990.
- Proof Theory and Automated Deduction. Jean Goubault-Larrecq & Ian Mackie , Kluwer Academic Publishers, 1997.
Critérios de Avaliação
- Componente teórica: exame, com peso 70% (modalidade A) ou 40% (modalidade B)
- Componente prática:
- modalidade A: fichas com peso 30%
- modalidade B: fichas de avaliação prática com peso 30% + trabalho prático com peso 30%
Equipa Docente
Horário Lectivo
| | Horário | Sala | Docente |
|---|
| Teórica | 4ªfeira 10:00-11:00 | CP3 205 | jmv |
| Teórica | 5ªfeira 11:00-12:00 | DI A2 | jmv |
| Turnos | Horário | Sala | Docente |
|---|
| TP1 | 5ªfeira 16:00-17:00 | CP2 110 | mjf |
| TP2 | 6ªfeira 8:00-9:00 | CP1 209 | mjf |
| P1 | 6ªfeira 9:00-11:00 | DI 1.04 | mjf |
| P2 | 6ªfeira 11:00-13:00 | DI 1.04 | mjf |
Horário de Atendimento
Material Disponibilizado
Aulas Teóricas
Aulas Teórico-Práticas
Aulas Práticas
- Prolog: slides 1-20 (pdf)
- Prolog: slides 21-32 (pdf)
- Prolog: slides 33-48 (pdf)
- Prolog: slides 49-60 (pdf)
- Prolog: slides 61-68 (pdf)
- Prolog: slides 69-88 (pdf)
- Prolog: slides 89-92 (pdf)
- Prolog: slides 93-100 (pdf)
- Prolog: slides 101-104 (pdf)
Trabalho Prático
Exames
Notas
Links Úteis