LPL 2021/22 (063AA, 9 CFU)

Docenti: Roberta Gori web - email - Vincenzo Ciancia web - email

Teams: Microsoft Teams channel

AVVISO: Per malattia del docente le lezioni di mercoledi' 9 marzo sono CANCELLATE.

Orario delle lezioni :

                         
                          * mercoledi' 11:00‑12:45 Aula Fib H-Lab
                          * mercoledi' 14:00‑15:45 Aula Fib G 
                          * giovedi' 9:00‑10:45 Aula Fib N
                          * venerdi' 16:00‑17:45 Aula Fib E1 

Registro delle lezioni unimap

Prova scritta + orale (facoltativo)

1. Introduzione
2. Semantica
3. Unificazione
4. Sistemi Logici
5. Induzione
6. Esercitazione 1
7. Ancora Induzione
8. Induzione sulle regole
9. Equivalenze nella semantica operazionale
10. Esercitazione 2
11. Ricorsione
12. CPO
13. Teorema di Kleene
14. Operatore delle conseguenze immediate
15. Semantica denotazionle dei comandi
16. Consistenza semantica operazionale e denotazionale (corretto)
17. Esercitazione 3
18. HOFL sintassi e tipi
19. HOFL semantica operazionale
20. Domini Cartesiani
21. Domini funzionali
22. Teoremi di Continuita'
23. Semantica Denotazionale di HOFL
24. Consistenza semantica operazionale e denotazionale di HOFL
25. Esercitazione 5
26. CCS
27. Processi Guardati
28. Semantica astratta
29. Bisimulazione forte
30. Simulazione come punto fisso
31. HML logic
32. Bisimilarita' debole
33. Applicazioni del CCS CAAL
34. Esercitazione CCSEsercizio dei prigionieri
35. Simulazione del compito di esame Note che potete stampare e portarvi all'esameAncora note che potete portare all'esame

-Testo dell'esame

-Correzione Es.1

-Correzione Es.2

-Correzione Es.3

-Correzione Es.4

-Correzione Es.5

-Testo dell'esame

- Correzione Es 1 e Es 3

-Correzione Es 2

-Correzione Es 4

-Correzione Es 5

- Testo dell'esame

- Correzione Es 1

-Correzione Es 2

- Correzione Es 3 e 5

-Correzione Es 4

Risultati:

503223 22

525088 20

578325 24

583819 25

603145 Ins.

Coloro che vogliono verbalizzare il voto sono pregati di scrivermi una mail.

https://github.com/vincenzoml/ProgrammingLanguages

• Roberto Bruni, Ugo Montanari, “Models of Computation”, Springer Texts in Computer Science, 2017.