Tópicos
Avançados Inteligência Artificial
2013/2014
(Programa Doutoral DEI)
Departamento de Matemática
Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Doutor Pedro Quaresma (Professor Auxiliar)
Conceitos fundamentais na teoria da dedução; Lógica
Proposicional; Lógica de Predicados; Verificação de
Programas.
- Zona Reservada aos Alunos Inscritos
- Apontamentos
Pedro Quaresma
Departamento de Matematica
Faculdade de Ciencias e Tecnologia
Universidade de Coimbra
3000 COIMBRA, PORTUGAL
pedro - mat uc pt