|
Curso: Licenciatura em Engenharia
Informática e Computação
Ano lectivo: 2004/2005
Ano: 2º ano, 2º semestre
Escolaridade: 3 horas de aula teórica + 1 hora de
aula teórico-prática por semana
Página
no SiFEUP, Página
oficial 2002/2003, Página
das ATP 2002/2003, Página
2003/2004
No moodle.
|
| Docentes |
| Aulas teóricas (planeamento)
|
| Francisco José
de Oliveira Restivo, Professor Associado |
| Aulas teórico-práticas
(planeamento) |
|
Francisco José de
Oliveira Restivo, Professor Associado
Maria
Cristina de Carvalho Alves Ribeiro, Professora Auxiliar
Rui
Carlos Camacho de Sousa Ferreira da Silva, Professor Auxiliar
|
Classificações
dos trabalhos individuais | e
dos exames
Os exames podem ser consultados no dia 7 de Julho,
17:30, no gabinete I337 |
| Objectivos |
| Os alunos devem adquirir competências
de rigor no raciocínio, através do estudo da lógica matemática e
das suas ligações à computação. Devem tornar-se capazes de formalizar
uma argumentação e aplicar técnicas de demonstração de teoremas
em lógica de 1ª ordem. Devem ainda compreender algumas aplicações
da lógica, nomeadamente à teoria dos conjuntos e à programação em
lógica. |
| Programa |
Lógica proposicional. Frases atómicas. Linguagens
de 1ª ordem. Conectivas booleanas. Métodos de prova. Provas
formais. Condicionais.
Quantificadores. Tradução de linguagem natural. Formas normais.
Métodos de prova. Provas formais.
Aplicações de Lógica de 1ª Ordem. Teoria de Conjuntos. Indução.
Alguns tópicos avançados. Lógica proposicional.
Linguagens de 1ª ordem. Completude e incompletude na Lógica
de 1ª Ordem. |
| Metodo de ensino |
| Aulas teóricas |
| As aulas teóricas são usadas para exposição formal
da matéria, acompanhada da apresentação de exemplos e sua discussão.
|
| Aulas teórico-práticas |
Nas aulas teórico-práticas são
propostos exercícios a realizar com o apoio do software disponibilizado
no CD incluído no livro de texto recomendado, em particular as aplicações
Tarski's World 5.1, Boole 1.1 e Fitch 1.1.
Ao longo do semestre serão realizados cinco mini-testes,
com a duração de 10 a 15 minutos cada, com o objectivo
de testar se os conceitos básicos estão a ser apreendidos pela generalidade
dos alunos. |
| Método de avaliação
|
A avaliação é distribuída
com exame final, nos termos das normas gerais de avaliação
em vigor.
Componentes de Avaliação: cinco minitestes e exame final, sem
consulta. |
| Mini-testes |
| Os mini-testes serão
realizados nas aulas teórico-práticas das semanas
3, 5, 7, 9 e 12, salvo qualquer imprevisto. |
| Frequência |
Avaliação distribuída (média dos quatro melhores minitestes)
não inferior a 6.
Os alunos admitidos a exame final sem frequência (TE, DA, ...) serão
sujeitos a uma prova especial, que substitui a avaliação distribuída,
e que consta de uma prova prática sobre o software LPL de apoio
à disciplina. |
| Exame final |
| O exame final consta de uma
prova escrita com a duração de 2 horas, sem consulta. |
| Classificação |
|
Na classificação final (C),
a classificação de frequência (F) terá
um peso de 25% e a classificação da prova escrita
(E) terá um peso de 75%
C = 0.25F + 0.75E.
|
| Melhoria de classificação |
| A melhoria de classificação realiza-se
segundo os mesmos moldes da classificação final. A
classificação de frequência não é
susceptível de melhoria. |
| Textos de Apoio |
|
O livro recomendado é
Bibliografia Complementar
- G.S. Boolos e R.C. Jeffrey. Computability and Logic. Cambridge
University Press, 1989.
- John Lloyd. Foundations of Logic Programming. Springer Verlag,
1987.
|
| Materiais |
Exame
de 2003-01-18
Exame
de 2003-02-11
1º
mini-teste e sugestões
para a solução.
2º
mini-teste e sugestões
para a solução.
Exame
de 2003-06-14 e sugestões
para a solução.
Exame
de 2003-07-15 e sugestões
para a solução.
1º
mini-teste 2003/04 e sugestões
para a solução.
2º
mini-teste 2003/04 e sugestões
para a solução.
Exame
de 2004-06-17 e sugestões
para a solução.
Exame
de 2004-07-15.
Exame
de 2005-06-16 e sugestões
para a solução.
Exame
de 2005-07-12 e sugestões
para a solução. |
| Sítios interessantes |
CS157:
Computational Logic
Gateway
to Logic
Symbolic Logic
|
