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
Atendimento