Lógica Computacional (8504N2)
Licenciatura em Matemática e Ciências de Computação
2º Ano - 2º Semestre
Ano lectivo 2006/2007
Equipa Docente
- José Carlos Bacelar (jba at di)
- Olga Pacheco (omp at di)
Horário Lectivo
| Turno | Horário | Sala | Docente |
|---|
| TP1 | 3ªfeira 10:00-11:00 | DI 0.02 | jba |
| P1 | 3ªfeira 11:00-13:00 | DI 1.04 | jba |
| Teórica | 3ªfeira 14:00-15:00 | CP2 104 | jba |
| TP2 | 4ªfeira 10:00-11:00 | DI 0.02 | omp |
| P2 | 4ªfeira 11:00-13:00 | DI 1.04 | omp |
| Teórica | 6ªfeira 16:00-17:00 | CP2 104 | jba |
Horário de Atendimento
Critérios de Avaliação
A avaliação da disciplina é realizada por exame final, sendo que a realização de fichas práticas ao longo do semestre permite a dispensa de parte desse exame (30%).
Temos então duas modalidades de avaliação:
- Modalidade A: exame final com peso 70% e avaliação prática com peso 30% (ambas com nota mínima de 9 valores)
- Modalidade B: exame final com peso 100%.
As melhorias de nota serão sempre realizadas na modalidade B.
Classificações finais superiores a 16 devem ainda contar com a realização de um pequeno projecto prático, cuja avaliação será incorporada na nota final com um peso de 20%.
Notas
As notas estão disponíveis
aqui.
Sumários
Disponíveis
aqui
Exames
Mini-Testes práticos
Exames Finais
- Época Normal - 1ª Chamada (22 Junho, 9:30, salas CP3 402, CP3 403)
- Época Normal - 2ª Chamada (6 Julho, 9:30, salas CP1 212 a CP1 214)
- Época de Recurso (25 Julho, 9:30, salas CP3 301, CP3 302)
- Época Especial (14 Setembro, 17:00, salas CP2 209)