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/2021-22

Cálculo de Sistemas de Informação

2021/22

Avisos


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.


Material Pedagógico

Enunciados das provas de avaliação:

Data Hora Local Curso(s) Descrição Enunciado
05-Mai 16h00 E1-1.19 MEI/MMC 1º Teste PDF com resolução
09-Jun 09h00 E7-1.09 MEI/MMC 2º Teste PDF com resolução
25-Jun 10h00 E7-1.09 MEI/MMC Exame de recurso PDF
25-Jul 14h30 E1-2.17 MEI/MMC Exame de época especial PDF

Documentação:

Código:


Docente e Horário

Docente Foto Horário Sala
José Nuno Oliveira JNO 5ª-feira, 16h-19h (T+TP) E1-1.19

Atendimento

Programa


Alunos e classificações

Por favor entrar aqui


Regime de avaliação


Bibliografia

Outras leituras recomendadas


Ferramentas