Differenze

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

--- matematica:lp:start [23/09/2025 alle 15:07 (2 settimane fa)] – [Materiale (incluse slides)] Roberta Gori
+++ matematica:lp:start [08/10/2025 alle 12:16 (3 giorni fa)] (versione attuale) – [Lezioni a.a. 24/25] Roberta Gori
@@ Linea 34: / Linea 34: @@
 ==== Lezioni a.a. 24/25====
+{{ :matematica:lp:01-introrg2025b.pdf |Introduzione}}
+{{ :matematica:lp:indecidibilita2025b.pdf | Cenni al problema dell'indecidibilità}}
+{{ :matematica:lp:02-semanticsrg2025b.pdf | Lezione1}}
+{{ :matematica:lp:03-unification-rg2025.pdf |Lezione 2}}
+{{ :matematica:lp:04-logicrg.pdf | Lezione 3}}
+{{ :matematica:lp:05-inductionrg.pdf |Lezione 4}}
+{{ :matematica:lp:06-exercisesrg_01.pdf |Esercitazione 1}}
+{{ :matematica:lp:07-more_inductionrg.pdf |Lezione 5}}