Lógica Computacional

Licenciatura em Ciências da Computação - 2º ano

Tópicos

Avisos

31/07 Já estão disponíveis as notas referentes à Época de Recurso. (aqui)

17/07 Já estão disponíveis as notas referentes à Época Normal. (aqui)

20/06 Foram disponibilizados exercícios teorico-práticos.

11/06 Já estão disponíveis as notas do segundo mini-teste prático e as notas práticas finais. (aqui)

05/06 Já estão disponíveis os slides correspondentes ao módulo de lógica de primeira ordem.

31/05 Já estão disponíveis (secção "Material de Apoio") os slides correspondentes ao terceiro módulo de lógica proposicional.

28/05 Já estão disponíveis as notas do primeiro mini-teste prático (aqui)

07/05 Na próxima 5ª e 6ª-feira (10 e 11/05) realizam-se as JOIN 2007. Por esse motivo não haverá aula teórica.

19/02 Na próxima 6ª-feira (26/02) não haverá aula teórica.

Education » LC » 0607

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

Docente Horário
jba 3ªfeira 15:00-19:00
omp 3ªfeira 14:00-16:00

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)

r16 - 20 Feb 2008 - 15:33:31 - JoseBacelarAlmeida
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM