Lógica Computacional -- CC2003
Departamento de Ciência de Computadores, Faculdade de Ciências, Universidade do Porto
Docentes: Nelma Moreira,
Ano lectivo: 2014/2015
Página no Sigarra

Atendimento de dúvidas: 3as 12-13; 5as 17h-18h; 6as 10-11 (Gab. 20, DCC)

Stacks Image 4
Destaque

  • Os exames de recurso podem ser vistos no dia 24/02 às 17h, Gab. 1.20
  • Alfabeto grego (para saber o nome das letras usadas para designar fórmulas!)
Trabalhos Práticos
  • 7-8/10 - Semântica Lógica Proposicional
  • 28-29/10 - Dedução Natural para Lógica Proposicional
  • 18-19/11- Semântica Lógica Primeira Ordem
  • 2-3/12 - Dedução Natural Lógica Primeira Ordem
  • 16-17/12 - Axiomatizações e Teorias