Lógica Computacional CC2003
Departamento de Ciência de Computadores, Faculdade de Ciências, Universidade do Porto
Docentes: Nelma Moreira, Rogério Reis
Ano lectivo: 2016/2017
Página no Sigarra
Docentes: Nelma Moreira, Rogério Reis
Ano lectivo: 2016/2017
Página no Sigarra
Destaque
Alfabeto grego (para saber o nome das letras usadas para designar fórmulas!)
- Notas finais 2016/2017
- Notas exame da época normal
Alfabeto grego (para saber o nome das letras usadas para designar fórmulas!)
Trabalhos práticos
- 10/10 Semântica Lógica Proposicional
- 31/10 Sistemas dedutivos para a Lógica Proposicional:
- 21/11 Semântica da Lógica de Primeira Ordem
- 12/12 Sistemas dedutivos para a Lógica de Primeira Ordem