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


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

Link alla playlist di tutte le lezioni

https://www.youtube.com/playlist?list=PLiKc8vRFbIS6lMCxf65CafscojBV-X7u-

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

Lezione 2 del 2/10/25
Introduzione (i 3 miracoli dell'informatica, significato vs. forma);
installazione di DrRacket; espressioni in Scheme

- parte I

https://youtu.be/UpxGEiP2_7w

- parte II

https://youtu.be/uQY_By3GArg  (difettosa, no audio)

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

Lezione 3 del 06/10/25
Introduzione all'astrazione procedurale; costrutti lambda e define

- parte I
https://youtu.be/rKWhhAPEdK4

- parte II
https://youtu.be/jOgyXJJtYnY

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

Lezione 4 del 09/10/25
Funzione per il calcolo del plurale di un sostantivo maschile; tipi di dati
booleani e funzioni a valore booleano; costrutto if; funzione per il calcolo del
plurale di un sostantivo (maschile o femminile)

- parte I
https://youtu.be/5OJEcN6rZlQ

- parte II
https://youtu.be/ibG7-SKepvs

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

Lezione 45 del 06/05/26
Correttezza di programmi imperativi (invarianti e correttezza, algoritmo del contadino russo)

- parte I
https://youtu.be/0-qWTmTFL2c

- parte II
https://youtu.be/FUf62dKTIPo

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

Lezione 47 del 13/05/26
Correttezza di programmi imperativi (correttezza dell'algoritmo del contadino russo, terminazione)

https://youtu.be/CAB9ciecJqM
https://youtu.be/6ehMdCGJ-3M

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

Lezione 48 del 19/05/26

Correttezza di programmi imperativi (terminazione dell'algoritmo del contadino russo, altri esercizi)

https://youtu.be/iOz8YyZJ1hc
https://youtu.be/_jo4PjJSQ8Y

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

Lezione 49 del 20/05/26

Conversione di programmi ricorsivi in programmi iterativi

https://youtu.be/muJSMbJEI5E
https://youtu.be/195dzDCfM8s

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

Lezione 50 del 26/05/26

Conversione di programmi ricorsivi in programmi iterativi (altri esercizi)

https://youtu.be/h5O88Lv-ZQE
https://youtu.be/2PI8SyDs5ak

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

Lezione 51 del 27/05/26

Esercitazione su temi d'esame

https://youtu.be/DlXDyQZrZY0
https://youtu.be/EfeEFsMytMQ

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

Lezione 52 del 03/06/26

Esercitazione su temi d'esame

https://youtu.be/CCucLus4v6A
https://youtu.be/41-HOxkJxII