Processos e Concorrência

Licenciatura em Ciências da Computação

Equipa docente

Avaliação

Cada aluno deve escolher um dos seguintes métodos de avaliação:

  • Realização de duas provas individuais escritas (50% + 50%).
  • Realização de duas provas individuais escritas (35% + 35%) e de um pequeno projecto prático (30%).

As notas finais superiores ou iguais a 18 valores terão que ser defendidas numa prova extra.

A meio do semestre será realizado um teste sobre a primeira parte da matéria (redes de Petri + lógica temporal) e no final do semestre um segundo teste sobre a segunda parte da matéria (álgebra de processos). Os alunos com aprovação numa das partes ficam dispensados de responder às questões sobre essa matéria no exame de recurso. A nota mínima em cada uma das partes é de 8 valores.

Horário

Tipodown Horário Sala
TP 4ª 11h-13h DI 0.11, DI A2
T 2ª 9h-11h CP1 211

Atendimento

Docente Horário Telefone
MAC   604444
LSB   604463

r10 - 02 Jun 2008 - 13:42:35 - AlcinoCunha
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM