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
Anos anteriores
Calendário | Sumários
Alumni

CSI/2025-26

Cálculo de Sistemas de Informação

Avisos

Avisos anteriores


Motivação

Na vida lá fora, tudo parece ser uma relação: relação profissional, relação amorosa, relação numérica, relação internacional, relação familiar, relação …, relação

É esse o principal objectivo desta disciplina.


Objectivos (Resultados de aprendizagem)

Ver Página institucional


Material Pedagógico

Disponível aqui.


Equipa Docente e Horário

Docente Foto Horário Sala
José Nuno Oliveira JNO 5ª-feira, 09h00-10h30h (T) new E7-1.09
Luís Soares Barbosa LSB 5ª-feira, 10h30-12h00 (TP) new E7-1.09

Alunos

Lista provisória de alunos comunicada pela D.Curso:

Número Nome
PG54468 David José de Sousa Machado
PG58717 João Carlos Macedo Ribeiro
PG58811 Vasco José Machado Mota
PG60110 João Pedro Fernandes Duarte
PG60236 Ana Sá Oliveira
PG60240 Cláudia Rego Faria
PG60251 Edgar Eira Araújo
PG60257 Gabriel Costa Paiva
PG60260 Gonçalo Alexandre Lopes Norton Caixeiro
PG60265 Henrique Pinto Pires Lopes de Faria
PG60279 Luís Miguel Alves e Silva
PG60287 Patrícia Daniela Fernandes Bastos
PG61130 Ana Margarida Campos Pires
PG61135 Carlos Diogo Fernandes Pina
PG61144 João Machado Gonçalves
PG61153 Miguel Torres Carvalho
PG61542 Renato Pereira Garcia

Sumários

Por favor consultar o calendário do perfil


Regime de Avaliação

Os elementos de avaliação desta UC são:

Há dois regimes à escolha para obter aprovação à UC:

Finalmente:


Atendimento


Provas de avaliação:

TBC


Bibliografia

Principal

Outras leituras recomendadas