Equipa docente

• Manuel Alcino Cunha: Redes de Petri + Lógica Temporal.
• Luís Soares Barbosa: Álgebra de Processos.

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