Qui ci sono le mie lezioni di programmazione (in aula, non laboratorio) tenute
da me nell'anno accademico 24/25.


********************************************************************************
Links su youtube
********************************************************************************

Link alla playlist di tutte le lezioni

https://www.youtube.com/playlist?list=PLiKc8vRFbIS5MZf9tJwRSBRDhGMdSwIAy

========================================================

Lezione 15 del 20/11/24
Funzioni di ordine superiore (con argomenti e/o valori funzionali); esempio di
funzione con argomento funzionale (funzione crittazione); esempio di funzione
con valore funzionale (funzione cifrario)

- parte I

https://youtu.be/x2Y5nQtxmJc

- parte II

https://youtu.be/cnYC0T-3Nj8

========================================================

Lezione 16 del 21/11/24
Esempio di funzione con argomento e valore funzionale (funzione per la
generazione di regole di decrittazione per regole basate su rotazione);
generalizzazione della funzione precedente per qualsiasi permutazione di lettere
maiuscole; esempio notevole di funzione con argomenti procedurali (funzione map)

- parte I

https://youtu.be/suwgC_Gwrx4

- parte II

https://youtu.be/At3vnZiheSg

========================================================

Lezione 19 del 4/12/24
Dimostrazioni formali di correttezza di programmi ricorsivi

- parte I

https://youtu.be/9CLpjH1fYAo

- parte II

https://youtu.be/ykJOooiIDcc

========================================================

Lezione 20 del 5/12/24
Esempi di dimostrazioni formali di correttezza di programmi ricorsivi

- parte I-a

https://youtu.be/h2W8EM6ONjg

- parte I-b

https://youtu.be/k_pO_Sj5Z9s

- parte II

https://youtu.be/nXbGzwc-aYk

========================================================

Lezione 21 del 11/12/24
Altri esempi di dimostrazioni formali di correttezza di programmi ricorsivi; procedura ufo

- parte I

https://youtu.be/57_1JngV6GE

- parte II

https://youtu.be/jIL6fyMa63s

========================================================

Lezione 22 del 12/12/24
Dimostrazione di una proprietà generale della procedura ufo; esercitazione su
tema d'esame

Registrazione difettosa (no audio).
Usare registrazioni degli anni precedenti.

- Dimostrazione della specifica generale di ufo:
  - lezione 17 dell'a.a. 22/23 (ATTENZIONE!!! non 23/24), del 28/11/2022, parte
    2, a partire dal minuto 13:19

- Esercizio 4B sulla correttezza di programmi ricorsivi preso dalla prova di
  accertamento del 21/01/2022:
  - lezione 22 dell'a.a. 23/24, del 22/12/2023, parte 2, a partire dal minuto
    31:49

========================================================

Lezione 43 del 7/5/25
Correttezza di programmi imperativi (invarianti e correttezza, correttezza
dell'algoritmo del contadino russo)

- parte I

https://youtu.be/IbYEoFgDCfI

- parte II

https://youtu.be/Ug87Fax3XZA

========================================================

Lezione 45 del 7/5/25
Correttezza di programmi imperativi (invarianti e correttezza, correttezza
dell'algoritmo del contadino russo)

- parte I

https://youtu.be/_0afQH5IrLE

- parte II

https://youtu.be/FFqvt5p3YHk

========================================================

Lezione 47 del 21/5/25
Correttezza di programmi imperativi (altri esercizi)

- parte I

https://youtu.be/bT1jDuX4PII

- parte II

https://youtu.be/iwJvRaRJBic

========================================================

Lezione 51 del 4/6/25
Esercitazione su temi d'esame

- parte I

https://youtu.be/31ebbDvT9aY

- parte II

https://youtu.be/ObBmU8VrFp8

========================================================

Lezione 53 del 11/6/25
Esercitazione su temi d'esame

- parte I

https://youtu.be/Rq0T3aGscxo

- parte II

https://youtu.be/OGZqBl6biPs

========================================================

Lezione 54 del 12/6/25
Esercitazione su temi d'esame

- parte I

https://youtu.be/_QIS5i0MvAs

- parte II

https://youtu.be/MBxWxRF1_2g