MFP

Logo

Formal Methods in Software Engineering
Information Systems by Calculation
Cyber-Physical Programming
Formal Verification
Formal Methods Project
Past editions
Calendar
Alumni

CSI/2026-27

Information Systems by Calculation

2026/27

Announcements


Introduction

In real life, everything seems to be some kind of relation: professional, institutional, romantic, numerical, international, family relations, … relations, … relations.

How would it be possible to teach all this to a computer system without seriously studying what a relation is, in the formal sense of the term, and how to reason (mathematically) only with relations?

Such is, in brief, the main objective of this course.


Course information

Course contents (Learning Outcomes)
See the Institutional page (PT+EN versions)
Class abstracts
See the course's timetable
Course notes
Slides in this PDF
Other course materials
Please click here
Bibliography
Please click here
Assessment
Please click here

Timetable / Teachers

Teacher Photo Classes Room
José Nuno Oliveira JNO Thursday, 09h00-10h30h (T) new E7-0.04
Luís Soares Barbosa LSB Thursday, 10h30-12h00 (TP) new E7-0.04