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

  • Notas Exame Recurso
  • Notas do Exame Normal
  • ◦ Fitch: aplicação interactiva para construção de deduções
  • Alfabeto grego (para saber o nome das letras usadas para designar fórmulas!)
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