| Formal Methods in Software Engineering |
|---|
| Information Systems by Calculation |
| Cyber-Physical Programming |
| Formal Verification |
| Formal Methods Project |
| Past editions |
| Calendar |
| Alumni |
Announcements
29-Oct - The practical exercise sheet
nr.2 that has just been published should be worked at home. It will be discussed later in class (05-Nov).
15-Oct - The practical exercise sheet nr.1 that has just been published should be worked at home. It will be discussed later in class (22-Oct).
21-Jul: classes will start on Thu, 24-Sep, 9h00 (room
E7-0.04).
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 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 |
| Teacher | Photo | Classes | Room |
|---|---|---|---|
| José Nuno Oliveira | ![]() |
Thursday, 09h00-10h30h (T) | E7-0.04 |
| Luís Soares Barbosa | ![]() |
Thursday, 10h30-12h00 (TP) | E7-0.04 |