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

• 1º Teste
• 2º Teste
• Recurso
• Época Especial

Sumários

Os sumários da disciplina estão disponíveis aqui.

Exames

• 1º Teste (corr.)
• 2º Teste
• Recurso