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/2022-23

Cálculo de Sistemas de Informação

Avisos

Avisos anteriores


Docente e Horário

Docente Foto Horário Sala
José Nuno Oliveira JNO 5ª-feira, 17h-20h (T+TP) E7-1.10

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 … Como será possível ensinar tudo isso a um sistema de informação sem se estudar a sério o que é uma relação (no sentido formal do termo) e como raciocinar com relações? É esse o principal objectivo desta disciplina.


Objectivos (Resultados de aprendizagem)

Ver Página institucional


Regime de avaliação


Alunos e classificações

Por favor entrar aqui


Sumários

Por favor consultar o calendário do perfil.


Material Pedagógico


Enunciados das provas de avaliação:

Data Hora Local Curso(s) Descrição Enunciado
04-Mai 17h00 E1-1.10 MEI/MMC 1º Teste PDF
01-Jun 14h00 E1-0.22 MEI/MMC 2º Teste PDF
22-Jun 09h00 E1-2.24 MEI/MMC Recurso PDF
21-Jul 14h30 E1-2.27 MEI/MMC Especial PDF

Bibliografia

Principal

Outras leituras recomendadas