| Entrambe le parti precedenti la revisioneRevisione precedenteProssima revisione | Revisione precedente |
| matematica:lp:start [23/09/2025 alle 15:06 (2 settimane fa)] – [Linguaggi di Programmazione e Laboratorio A.A 2024/2025] Roberta Gori | matematica:lp:start [08/10/2025 alle 12:16 (3 giorni fa)] (versione attuale) – [Lezioni a.a. 24/25] Roberta Gori |
|---|
| ==== Lezioni a.a. 24/25==== | ==== Lezioni a.a. 24/25==== |
| |
| | {{ :matematica:lp:01-introrg2025b.pdf |Introduzione}} |
| |
| | {{ :matematica:lp:indecidibilita2025b.pdf | Cenni al problema dell'indecidibilità}} |
| |
| ==== Materiale (incluse slides) === | {{ :matematica:lp:02-semanticsrg2025b.pdf | Lezione1}} |
| |
| | {{ :matematica:lp:03-unification-rg2025.pdf |Lezione 2}} |
| |
| {{ :matematica:lp:01-introrg.pdf |Introduzione}} | {{ :matematica:lp:04-logicrg.pdf | Lezione 3}} |
| |
| {{ :matematica:lp:indecidibilita_.pdf |Lezione1}} | {{ :matematica:lp:05-inductionrg.pdf |Lezione 4}} |
| |
| {{ :matematica:lp:02-semanticsrg2025.pdf |Lezione 2}} (versione corretta il 4/3) | {{ :matematica:lp:06-exercisesrg_01.pdf |Esercitazione 1}} |
| |
| {{ :matematica:lp:03-unification-rg.pdf |Lezione 3}} | {{ :matematica:lp:07-more_inductionrg.pdf |Lezione 5}} |
| |
| {{ :matematica:lp:04-logicrg_.pdf | Lezione 4}} | |
| |
| |
| {{ :matematica:lp:05-inductionrg_copy.pdf |Lezione 5}} | |
| |
| {{ :matematica:lp:06-exercisesrg_01.pdf |Esercizi con Soluzione} | |
| |
| {{ :matematica:lp:testo-2019-04-03-copy-copy_copy.pdf |prova}} | |
| |
| |
| {{ :matematica:lp:07-more_inductionrg_.pdf |Lezione 6}} | |
| |
| {{ :matematica:lp:08-rule_inductionrg_copy.pdf | Lezione 7}} | |
| |
| {{ :matematica:lp:09-equivalencerg.pdf |Lezione 8}} | |
| |
| {{ :matematica:lp:10-exercises02rg_copy.pdf |Esercizi con soluzione}} | |
| |
| |
| |
| {{ :matematica:lp:11-ricorsionerg.pdf |Lezione 9}} | |
| |
| |
| {{ :matematica:lp:12-cpo-1rg.pdf |Lezione 10}} | |
| |
| |
| {{ :matematica:lp:13-kleenerg.pdf |Lezione 11}} | |
| |
| |
| {{ :matematica:lp:14-icorg_copy.pdf |Lezione 12}} | |
| |
| {{ :matematica:lp:15-denotationalmprg.pdf |Lezione 13}} | |
| |
| {{ :matematica:lp:16-consistencyimprg_copy.pdf | Lezione 14}} | |
| |
| {{ :matematica:lp:17-_esercizi03.pdf |Esercitazione}} | |
| |
| {{ :matematica:lp:18-hofl_typesrg_copy.pdf |Lezione 15}} | |
| |
| {{ :matematica:lp:19-hofl_operationalrg.pdf |Lezione 16}} | |
| |
| |
| {{ :matematica:lp:testo-2018-04-05-copy-copy.pdf | testo}} | |
| |
| {{ :matematica:lp:testo-2019-04-03-copy-copy_copy.pdf |testo}} | |
| |
| {{ :matematica:lp:20-cartesian_domainsrg_copy.pdf |Lezione 17}} | |
| |
| {{ :matematica:lp:21-functional_domainsrg_copy.pdf | Lezione 18}} | |
| |
| {{ :matematica:lp:22-continuity_theoremsrg_copy.pdf | Lezione 19}} | |
| |
| {{ :matematica:lp:23_-_hofl_denotationalrg_copy.pdf |Lezione 20 (rivista il 17/04)}} | |
| |
| {{ :matematica:lp:24-_consistency_hoflrg_copy.pdf | Lezione 21}} | |
| |
| {{ :matematica:lp:25-esercizi.pdf | Esercizi}} | |
| |
| {{ :matematica:lp:26-_ccs.pdf | Lezione 22}} | |
| |
| {{ :matematica:lp:27_-_ccs_guarded_copy.pdf |Lezione 23}} | |
| |
| {{ :matematica:lp:28_-_ccs_abstract.pdf | Lezione 24}} | |
| |
| {{ :matematica:lp:29_-_ccs_bisimulation_copy.pdf |Lezione 25}} | |
| |
| {{ :matematica:lp:30-_ccs_bis_as_fix.pdf |Lezione 26}} | |
| |
| {{ :matematica:lp:31_-_hml_copy.pdf |Lezione 27}} | |
| |
| {{ :matematica:lp:32-_weak_copy.pdf |Lezione 28}} | |
| |
| {{ :matematica:lp:33-_ccs_at_work_copy.pdf |Lezione 29}} | |
| |
| {{ :matematica:lp:33-_ccs_at_work.pdf |Lezione 30}} | |
| |
| {{ :matematica:lp:esercizi.pdf |Esercitazione}} | |
| |
| {{ :matematica:lp:prontuario.pdf |Prontuario}} | |
| |
| {{ :matematica:lp:testi.pdf | Testi di esame}} | |
| |
| | |
| |
| | ==== Materiale (incluse slides) === |
| |
| |
