Lógica Computacional -- CC2003
Departamento de Ciência de Computadores, Faculdade de Ciências, Universidade do Porto
Docentes: Nelma Moreira,
Ano lectivo: 2015/2016
Página no Sigarra
Atendimento de dúvidas (Gab. 1.20):
5a 17h-19h ; 2a 17h-18h
Stacks Image 4
Destaque

Trabalhos Práticos (proposta)
  • 6-7/10 - Semântica Lógica Proposicional
  • 27-28/10 Sistemas dedutivos para a Lógica Proposicional
  • 17-18/11 Semântica da Lógica de Primeira Ordem
  • 1-2/12 Sistemas dedutivos para a Lógica de Primeira Ordem
  • 15-16/12 Axiomatizações, Clausulas de Horn e Unificação