MFP

Logo

Índice

Métodos Formais em Engenharia de Software
Cálculo de Sistemas de Informação
Programação Ciber-física
Verificação Formal
Calendário | Sumários
Anos anteriores
Alumni

CSI/2024-25

Cálculo de Sistemas de Informação

Avisos


Atendimento


Docente e Horário

Docente Foto Horário Sala
José Nuno Oliveira JNO 5ª-feira, 09h-12h (T+TP) E2-2.12

Motivação

É esse o principal objectivo desta disciplina.


Objectivos (Resultados de aprendizagem)

Ver Página institucional


Sumários

Por favor consultar o calendário do perfil


Material Pedagógico

Disponível aqui.


Alunos

Por favor entrar aqui


Regime de Avaliação

Há 2 regimes da avaliação à escolha para obter aprovação nesta unidade curricular:

Segundo o regime geral em vigor, há lugar a exame de recurso para os alunos que tenham tido média dos testes negativa. A nota no trabalho prático não tem recurso.

Escolha do regime de avaliação:


Provas de avaliação:

Data Hora Local Curso(s) Descrição Enunciado
24-Abr 09h00 E2-2.12 MEI/MMC 1º Teste PDF

Bibliografia

Principal

Outras leituras recomendadas