Lógica
Computacional
Ano Lectivo
2001/02
Objectivos Programa Bibliografia
Sumários Teóricas Sumários
Práticas Calendário Práticas
Novidades (em 27
de Fevereiro):
1.
Já sairam as notas do Exame de Recurso
Objectivos
A
disciplina de Lógica Computacional, que é uma disciplina obrigatória da área
científica de Sistemas Simbólicos de Decisão e de Informação (SSDI), é leccionada no 1ª semestre da Licenciatura em Engenharia Informática. A carga horária semanal é de 3 horas
teóricas e 3 horas práticas. O número de unidades de crédito obtidas com a
disciplina é de 4.
Objectivos:
Pretende-se dar aos alunos uma introdução à lógica de primeira ordem com ênfase
no seu uso prático para a resolução de problemas, isto é, nos seus aspectos
computacionais.
Programa
Lógica
proposicional
Frases atómicas
Conjunções, disjunções e negações
Condicionais e bicondicionais
Satisfazibilidade
Métodos de demonstração
Quantificadores
Introdução à quantificação
Frases com mais que um quantificador
Quantificação numérica
Limitações da lógica de primeira ordem
Teoria de
conjuntos de primeira ordem
Indução
Matemática
Tópicos
avançados em lógica proposicional
Frases de Horn
Resolução
Tópicos
avançados em lógica de primeira ordem
Estruturas de primeira ordem
Skolemização
Unificação
Completitude e incompletitude
Bibliografia
O livro de apoio
recomendado é
Título: Language
Proof and Logic
Autores: Jon Barwise and John
Etchemendy
Editora(s): CSLI Publications e/ou Seven Bridge Press
Ano: 2000
Este livro contém
software de apoio e é uma versão actualizada e melhorada do anterior livro dos
mesmos autores (“The Language of First-Order Logic”). Existem vários exemplares
de ambos os livros na biblioteca da Faculdade.
Horário
O horário é o indicado (ver explicações abaixo):
·
T/Pi indica
se a aula é teórica (para todos os alunos) ou se é uma aula prática do turno Pi
·
PB/JC/JFS
indica o docente (Pedro Barahona, Jorge Cruz ou Joaquim Ferreira da Silva)
·
127 II e 1C
VII representam os anfiteatros onde decorrem as aulas teóricas, respectivamente
no edifício II e VII
·
120/122 e
124 representam laboratórios no edifício II onde decorrem as aulas práticas
·
Nota
Importante: Os alunos de 1ª inscrição (caloiros) da LEI foram distribuídos por
5 turmas.
·
A
correspondência entre turmas e turnos práticos é a seguinte:
Turma
1 P3
Turma
2 P4
Turma
3 P1
Turma
4 P2
Turma
5 P5
Responsável da Disciplina.
Lecciona as aulas teóricas e o turnos prático P1
Horário de Dúvidas (com marcação por email):
2ª feira, 09:00 - 10:00
5ª feira, 11:00 - 13:00
Gabinete P2/14 ext. 10728 pb@di.fct.unl.pt
Lecciona os turnos práticos P3, P7 e P8
Horário de Dúvidas (com marcação por email):
3ª feira, 10:00 - 11:00
5ª feira, 10:00 - 11:00 e 14:00 – 16:30
Gabinete P2/01 ext. 10742 jc@di.fct.unl.pt
Joaquim Ferreira
da Silva
Lecciona os turnos práticos P2, P4, P5 e P6
Horário de Dúvidas (com marcação por email):
2ª feira, 14:00 - 16:00
4ª feira, 15:00 - 19:00
Gabinete P3/06 ext. 10732 jfs@di.fct.unl.pt