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