Nelma Moreira

... all those moments will be lost, in time, like tears in rain.

Lógica e Programação -- CC216

Departamento de Ciência de Computadores, Faculdade de Ciências, Universidade do Porto
Docentes: Nelma Moreira, Sandra Alves, Rogério Reis
Ano lectivo: 2011/2012
Página no Sigarra

Stacks Image 4

Destaque

◦

Aulas Teóricas
Aulas Práticas

Trabalhos Práticos

20/03 - Semântica Lógica Proposicional
10/04 - Dedução Natural para Lógica Proposicional
24/04 - Semântica Lógica Primeira Ordem
15/05 - Dedução Natural Lógica Primeira Ordem
29/05 - Prolog (Termos, Unificação, Cláusulas)
5/06- Prolog (Listas,Manipulação algébrica)