Lógica Computacional (8504N2)
Licenciatura em Matemática e Ciências de Computação
2º Ano - 2º Semestre
Ano lectivo 2008/2009
Equipa Docente
- José Carlos Bacelar (jba at di)
Horário Lectivo
| Turno | Horário | Sala | Docente |
|---|
| Teórica | 2ªfeira 14:00-15:00 | CP2 111 | jba |
| TP1 | 2ªfeira 16:00-17:00 | CP2 111 | jba |
| P1 | 2ªfeira 17:00-19:00 | DI 1.09 | jba |
| TP2 | 3ªfeira 10:00-11:00 | CP2 111 | jba |
| P2 | 3ªfeira 11:00-13:00 | DI 1.04 | jba |
| Teórica | 5ªfeira 16:00-17:00 | CP2 111 | jba |
Horário de Atendimento
Método de Avaliação
A avaliação da disciplina consiste nas seguintes componentes:
- Realização de uma prova individual escrita com nota mínima de 8 valores (90%)
- Participação nas aulas (teórico-)práticas (10%)
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).
Sumários
Os sumários da disciplina estão disponíveis no calendário.
Aulas Práticas
Os guiões das aulas práticas estão disponíveis
aqui.
Exames
Notas
| Num. | Nome | Aval. Contínua | Teste | Recurso | T.Prático | Final |
|---|
| 47429 | Vítor Emanuel Alves Oliveira | 0.5 | - | - | - | - |
| 51166 | Rui Miguel Gonçalves Peixoto | 1.5 | 11.1 | - | - | 12 |
| 47422 | Pedro Nicola Ferreira Veloso | 1.5 | - | - | - | - |
| 43511 | Paulo Renato Ribeiro Xavier | 0 | 2 | 5.6 | - | R |
| 43550 | Nuno Diogo Neto Ferreira | 0 | - | 6.3 | - | R |
| 51164 | Nuno Antunes Marques | 1.5 | 10.4 | 12.3 | - | 13 |
| 54052 | Mónia Vanessa Vila Pinto de Sousa Passos | 2 | 8 | - | - | 10 |
| 43538 | Mário Rui Monteiro Ricardo | 0 | - | - | - | - |
| 48418 | Mário Gil Ferreira Gonçalves | 2 | 11.6 | - | - | 13 |
| 51155 | Miguel Gonçalves Dias | 1.5 | 8.6 | - | - | 10 |
| 50197 | Marco Filipe Vieira Gomes | 1 | 12.3 | - | - | 12 |
| 50199 | Marco André Cálix Esteves Lopes | 1.5 | - | 5 | - | R |
| 54056 | Luis Filipe Ferreira Brito | 0 | - | - | - | - |
| 51177 | Leonardo Manuel Nobre | 0 | - | - | - | - |
| 51178 | Leandro Manuel Sousa Loureiro | 1 | - | - | - | - |
| 47416 | João Pedro Carvalho Martins | 0 | - | - | - | - |
| 47415 | João Paulo da Fonte Fonseca | 2 | 9.8 | 12.6 | - | 13 |
| 50192 | João Gaspar da Silva Rodrigues | 2 | 8.5 | - | - | 10 |
| 51163 | João da Cunha Martins | 2 | 5.8 | 8.3 | - | 10 |
| 47401 | José Manuel Pereira Araújo | 1 | 7.1 | 10.2 | - | 10 |
| 50195 | José Manuel da Silva Ramos Gomes Marques | 1.5 | 6.2 | 10 | - | 11 |
| 25364 | José Filipe da Silva Caldas | 0 | - | - | - | - |
| 33712 | José Edmundo Ponte da Cunha | 0 | - | - | - | - |
| 40995 | Jorge Miguel Oliveira Santos | 1 | 4.5 | 6.1 | - | R |
| 47410 | Jorge Filipe Vilaça Ferreira | 0 | - | - | - | - |
| 52818 | Ivo Daniel de Jesus Carrajola | 1 | - | - | - | - |
| 35820 | Gilberto Leandro Oliveira Fernandes | 0 | - | - | - | - |
| 43534 | Francisco Manuel Pereira da Cunha | 1 | - | - | - | - |
| 51152 | Francisco André Oliveira Reina Dourado | 1 | - | - | - | - |
| 51176 | Eduardo Luis Cardoso Fonseca | 2 | 12.3 | - | - | 13 |
| 50187 | David Pereira Gonçalves | 1 | 5.4 | 9.9 | - | 10 |
| 52853 | Cláudio Filipe Belo da Silva Lourenço | 1.5 | - | 14.9 | - | 15 |
| 54073 | Carlos Alberto Vieira Ramos | 0.5 | 6.5 | 8 | - | 10 |
| 48401 | Bruno Miguel Fernandes Gomes | 1 | - | - | - | - |
| 47408 | André Manuel Rodrigues da Silva | 2 | 12.8 | - | - | 14 |
| 48408 | André Gustavo Silva de Macedo | 1 | 4.9 | 11.2 | - | 11 |
| 47424 | André Gomes Rodrigues | 0.5 | - | - | - | - |
| 48392 | Ana Cristina Nunes Aires | 0 | - | - | - | - |
| 52856 | Ana Alexandra Oliveira da Costa | 2 | - | 16.2 | 17 | 17 |
| 53502 | Alvanir Martins Santos | 0 | - | - | - | - |
| 47403 | Adriana Madalena Oliveira Cunha | 1 | 3.5 | 8 | - | 10 |
Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.