Differenze

Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.

--- magistraleinformatica:mpp:start [10/09/2026 alle 08:39 (12 giorni fa)] – [Models for Programming Paradigms] Roberto Bruni
+++ magistraleinformatica:mpp:start [15/09/2026 alle 13:06 (6 giorni fa)] (versione attuale) – [Lectures (1st part)] Roberto Bruni
@@ Linea 93: / Linea 93: @@
 ^ N ^ Date ^^ Time ^ Room ^ Lecture notes ^ Links ^
-|  1 | Tue | 15/09 | 11:00-13:00 | PS4 | 01 - Introduction to the course |  |
+|  1 | Tue | 15/09 | 11:00-13:00 | PS4 | {{ :magistraleinformatica:mpp:2026-09-15_-_mpp_-_01_-_intro.pdf |01 - Introduction to the course}} |  |
 |  2 | Wed | 16/09 | 11:00-13:00 | H | 02 - Preliminaries:\\ //from syntax to semantics, the role of formal semantics, SOS approach, small-step operational semantics, big-step operational semantics, denotational semantics, compositionality principle, normalisation, determinacy, consistency, equivalence, congruence// |  |
 |  3 | Fri | 18/09 | 14:00-16:00 | C1 | Exercises\\ \\ 03 - Unification:\\ //inference process, signatures, substitutions, most general than relation, unification problem, most general unifiers, unification algorithm//  |  |