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

Education » LC » 0506

Lógica Computacional (8504N2)

Licenciatura em Matemática e Ciências de Computação
2º Ano - 2º Semestre
Ano lectivo 2005/2006

Programa

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

Bibliografia

  • Prolog Programming for Artificial Intelligence. Ivan Bratko, Addison-Wesley, 1993.

  • The Art of Prolog : advanced programming techniques. L. Sterling & E. Shaphiro, MIT Press, 1994.

  • Essentials of Logic Programming. Christopher John Hogger. Oxford University Press, 1990.

  • Proof Theory and Automated Deduction. Jean Goubault-Larrecq & Ian Mackie , Kluwer Academic Publishers, 1997.

Critérios de Avaliação

  • Componente teórica: exame, com peso 70% (modalidade A) ou 40% (modalidade B)
  • Componente prática:
    • modalidade A: fichas com peso 30%
    • modalidade B: fichas de avaliação prática com peso 30% + trabalho prático com peso 30%

Equipa Docente

Horário Lectivo

  Horário Sala Docente
Teórica 4ªfeira 10:00-11:00 CP3 205 jmv
Teórica 5ªfeira 11:00-12:00 DI A2 jmv
Turnos Horário Sala Docente
TP1 5ªfeira 16:00-17:00 CP2 110 mjf
TP2 6ªfeira 8:00-9:00 CP1 209 mjf
P1 6ªfeira 9:00-11:00 DI 1.04 mjf
P2 6ªfeira 11:00-13:00 DI 1.04 mjf

Horário de Atendimento

Docente Horário
jmv  
mjf 5ªfeira 17:00-20:00

Material Disponibilizado

Aulas Teóricas

Aulas Teórico-Práticas

Aulas Práticas

  • Prolog: slides 1-20 (pdf)
  • Prolog: slides 21-32 (pdf)
  • Prolog: slides 33-48 (pdf)
  • Prolog: slides 49-60 (pdf)
  • Prolog: slides 61-68 (pdf)
  • Prolog: slides 69-88 (pdf)
  • Prolog: slides 89-92 (pdf)
  • Prolog: slides 93-100 (pdf)
  • Prolog: slides 101-104 (pdf)

Trabalho Prático

Exames

Notas

Links Úteis

r47 - 03 Jul 2007 - 16:06:29 - JoseBacelarAlmeida
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM