Ano Lectivo
2004/05
Objectivos
Programa Bibliografia
Plano das Aulas Sumários Teóricas Sumários Práticas
Anúncios
14 Fev 2005 |
Já saíram as notas do exame de recurso.
Consultar Notas. |
31 Jan 2005 |
Foram corrigidos uns erros feitos na
folha EXCEL na determinação dos resultados finais. As notas já foram
corrigidas e podem ser consultadas em Notas . Os alunos
reprovados (R na nota) têm frequência e podem fazer exame de recurso, para o
que se devem inscrever. Os alunos com A e E de nota são respectivamente
Ausentes (não avaliados) e Excluídos (com menos de 28 no total dos 4 testes)
e não podem inscrever-se no exame de recurso. |
28 Jan 2005 |
Já saíram as notas do 4º teste. Sigam
o apontador para Notas . |
13 Jan 2005 |
O 4º teste vai realizar-se na 2ª feira,
dia 24 de Janeiro, às 10 horas, no Grande Auditório (ao pé da Caixa Geral de
Depósitos e da Livraria Barata). |
11 Jan 2005 |
Vai haver uma aula de dúvidas amanhã,
dia 12, às 14 horas no anfiteatro 128-II. |
17 Dez 2004 |
Já saíram as notas do 2º teste. Sigam
o apontador para Notas . |
30 Nov 2004 |
Já saíram as notas do 2º teste. Sigam
o apontador para Notas |
12 Nov 2004 |
O 2º teste e a sua correcção já estaão
disponíveis na página. Sigam o link de avaliação. |
29 Out 2004 |
Por lapso, não tinha colocado o 1º
teste e a sua correcção na página. Já estão. Sigam o link de avaliação. |
28 Out 2004 |
Já saíram as notas do 1º teste. Sigam
o apontador para Notas |
11 Out 2004 |
As aulas práticas começam esta semana. |
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
Argumentação
Validade e Solidez
Frases atómicas e Operadores
Booleanos
Conjunções, disjunções,
negações e condicionais
Métodos de demonstração
Método Directo vs. Sistemas
Formais
Dedução Natural –Sistema
Fitch
Operadores de Introdução e
Eliminação
Lógica de 1ª Ordem
Quantificação
Existencial
e Universal
Métodos de demonstração
Dedução Natural –Sistema
Fitch
Operadores de Introdução e
Eliminação
Limitações da lógica de primeira ordem
Indução Matemática
Tópicos avançados em lógica proposicional
e de 1ª Ordem
Forma Clausal, Claúsulas de Horn
Skolemização
Unificação e Resoluçã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):
·
PB/FA/JFS/FA
indica o docente (Pedro Barahona, Francisco Azevedo, Joaquim Ferreira da Silva
ou Jorge Cruz)
·
Pj
indica que a aula é uma aula prática do turno Pi.
·
Os
turnos P1 a P5 das aulas práticas são destinados aos alunos do 1º ano /1ª
inscrição / 1ª fase
·
O
turno P6 das aulas práticas é
destinado aos alunos do 1º ano
/1ª inscrição / 2ª fase
·
O
turno P7 das aulas práticas é
destinado a todos os outros
alunos
·
T1
indica uma aula teórica 1 para os turnos práticos P1, P2 e P3.
·
T2
indica uma aula teórica 1 para os turnos práticos P4, P5 e P6.
·
Os
alunos do turno prático 7 podem frequentar qualquer das teóricas.
·
127 -
II e 1D-VII e 2A – VII são os
anfiteatros onde decorrem as aulas teóricas (no edifício II e VII)
·
114/116/119/123
representam laboratórios no edifício II onde decorrem as aulas práticas
·
O número de aulas
previstas bem como a matéria leccionada em cada uma delas é indicado abaixo..
As datas para que
estão previstas são indicadas mais abaixo.
Docência
Responsável da Disciplina.
Lecciona as aulas teóricas T1 e T2
Horário de Dúvidas (com marcação por email):
3ª feira, 12:00 – 13:00
6ª feira, 10:00 - 11:00
Gabinete P2/14 ext. 10728 pb@di.fct.unl.pt
Lecciona os turnos práticos P1 e
P2.
Horário de Dúvidas (com marcação por email):
5ª feira, 13:30 – 16:30
Gabinete P3/6 ext. 10728 fa@di.fct.unl.pt
Lecciona os turnos práticos P1 e
P2.
Horário de Dúvidas (com marcação por email):
3ª feira,
Gabinete P3/6 ext. 10728 jfs@di.fct.unl.pt
Lecciona os turnos práticos P5, P6 e P7
Horário de Dúvidas (com marcação por email):
3ª feira,
Gabinete P2/01 ext. 10742 jc@di.fct.unl.pt