Sumários

11ª Aula

15 Maio 2017, 14:00 João Marques Silva

Perspectiva sobre programação em lógica.


Aula TP

8 Maio 2017, 16:00 João Marques Silva

Apoio à realização dos projectos e esclarecimento de dúvidas.


10ª Aula

8 Maio 2017, 14:00 João Marques Silva

A décima aula apresentou uma perspectiva sobre constraint satisfaction problems e abordagens para constraint programming.


Aula TP

24 Abril 2017, 16:00 João Marques Silva

Apoio à realização dos projectos e esclarecimento de dúvidas.


9ª Aula

24 Abril 2017, 14:00 João Marques Silva

A nona aula desenvolveu um exemplo de solução do projecto 2. Esta solução foi disponibilizada aos alunos.

A aula apresentou também uma perspectiva de solvers para diferentes teorias.