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
Teórica	3ªfeira 14:00-15:00	CP2 104	jba
Teórica	6ªfeira 16:00-17:00	CP2 104	jba
P1	3ªfeira 11:00-13:00	DI 1.04	jba
P2	4ªfeira 11:00-13:00	DI 1.04	omp
TP1	3ªfeira 10:00-11:00	DI 0.02	jba
TP2	4ªfeira 10:00-11:00	DI 0.02	omp

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

• Mini-teste nº 1: turno-1, turno-2
• Mini-teste nº 2: turno-1, turno-2

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)