Lógica Computacional (8504N2)
Licenciatura em Matemática e Ciências de Computação
2º Ano - 2º Semestre
Ano lectivo 2007/2008
Equipa Docente
- José Carlos Bacelar (jba at di)
Horário Lectivo
| Turno | Horário | Sala | Docente |
|---|
| TP1 | 3ªfeira 10:00-11:00 | DI 1.04 CP2 104 | jba |
| P1 | 3ªfeira 11:00-13:00 | DI 1.04 | jba |
| Teórica | 3ªfeira 14:00-15:00 | CP2 111 | jba |
| TP2 | 4ªfeira 10:00-11:00 | CP1 308 | jba |
| P2 | 4ªfeira 11:00-13:00 | DI 1.04 | jba |
| Teórica | 5ªfeira 16:00-17:00 | CP2 111 | jba |
Horário de Atendimento
Método de Avaliação
Durante o período lectivo far-se-ão dois testes: um sensivelmente a meio do semestre e outro no final. Ambos os testes incluem uma componente teórica e outra prática (Prolog). O peso relativo de cada uma dessas componentes será aproximadamente 70 e 30%.
Opcionalmente, os alunos podem ainda realizar um pequeno projecto prático, cuja avaliação será incorporada na nota final com um peso de 20%.
Nas notas finais superiores a 16 valores esta componente será sempre considerada (querendo dizer que a nota é majorada a 16 valores se não se realizar o dito projecto).
Notas
Sumários
Os sumários da disciplina estão disponíveis
aqui.
Exames
Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.