Lógica Computacional

Licenciatura em Ciências da Computação - 2º ano

Tópicos

Avisos

A resolução da ficha de avaliação prática 3 (enunciado da ficha está na página) é para ser entregue na aula prática de 2 de Junho.

-- MariaJoaoFrade - 25 May 2006

Já saiu o enunciado do Trabalho Prático (opcional).

-- MariaJoaoFrade - 08 May 2006

Nas aulas práticas do dia 5 de Maio, será realizada a avaliação prática 2 (enunciado da ficha está na página).

-- MariaJoaoFrade - 29 Apr 2006

É importante que para a aula prática do dia 21 de Abril os alunos tragam os ficheiros com a resolução dos exercícios propostos no Grupo VII.

-- MariaJoaoFrade - 07 Apr 2006

Nas aulas práticas do dia 31 de Março, será realizada a ficha de avaliação prática 1.

-- MariaJoaoFrade - 24 Mar 2006

Programa Resumido (2005/2006)

Componente Teórica

  • Lógica Proposicional
    • Sintaxe
    • Linguagens de Cláusulas
    • Validade e Verificação
    • Redução Semântica
    • Modelos e Diagramas de Decisão Binária
    • Exemplos de problemas SAT
  • Lógica de Primeira Ordem
    • Sintaxe da Lógica de Predicados
    • Substituições
    • Semântica da Lógica de Predicados
    • Modelos de Herbrand da LPO

Componente Teórico-Prática

  • Programação Lógica na linguagem Prolog
  • Programação com Restricções

r3 - 03 Jul 2007 - 22:09:27 - JoseBacelarAlmeida
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM