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

Docente Horário
jba 2ªfeira 15:00-19:00

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

Número Nome Classificação
    10

Sumários

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

Exames