giovedì 20 dicembre 2018

Lezioni 28, 29, 30

Qui sotto ciò che ho scritto sulla lavagna durante le ultime lezioni del corso (17 dicembre, 18 dicembre e 19 dicembre), nelle quali ho completato la spiegazione del capitolo dedicato alla Macchina di Turing, e ho spiegato le parti obbligatorie del capitolo 9 e del capitolo 10.

Ricordo che ci saranno esercitazioni sulla seconda parte del programma anche lunedì 7 gennaio e mercoledì 9 gennaio. 

martedì 18 dicembre 2018

Esercitazione 8

Qui sotto ciò che ho scritto sulla lavagna nel corso dell'esercitazione 8 ( tenuta il 15 dicembre), spiegando le nozioni fondamentali relative all'Algebra di Boole e ai Connettivi n-ari della logica classica.

Lavagna Esercitazione 15 dicembre

Lezione 27

Qui sotto ciò che ho scritto sulla lavagna nel corso della lezione 27 (del 12 dicembre), nella quale ho continuato la spiegazione della nozione di Macchina di Turing.

Lavagna lezione 12 dicembre

martedì 11 dicembre 2018

Lezioni 25 e 26

Nella lezione 25, tenuta il 10 dicembre, ho terminato la spiegazione della parte obbligatoria del capitolo 7 (quella dedicata alla codificazione; la parte successiva del capitolo, che concerne l'algebra di Boole e i connettivi n-ari, sarà trattata nelle esercitazioni).

Nella stessa lezione e nella lezione 26 (tenuta l'11 dicembre) ho iniziato la spiegazione del concetto di Macchina di Turing (nastro, puntatore, stati della macchina, azioni che la macchina deve saper eseguire).

Qui sotto ciò che ho scritto durante le due lezioni

Lavagna lezioni 10 e 11 dicembre 

martedì 4 dicembre 2018

Lezione 24, Esercitazione 7

Nella lezione 24, tenuta il 28 novembre, ho iniziato la spiegazione delle ragioni che rendono possibile la digitalizzazione, ossia la rappresentazione di dati (testi, suoni, video,...) come numeri naturali ("codici") a loro volta rappresentati come successioni finite di bit ("codici binari").  In particolare ho mostrato come la rappresentazione dei numeri in base 2 è frutto di un teorema che sta alla base della rappresentazione dei numeri in base 10, rappresentazione che usiamo correntemente. E ho spiegato cosa sia una codificazione degli oggetti di una classe. 
Gli stessi temi sono stati ripresi con qualche dettaglio aggiuntivo, nell'esercitazione 7 di sabato 1 dicembre.

Qui sotto i file con ciò che è stato scritto sulla lavagna nella lezione del 28 novembre e nell'esercitazione del 1 dicembre.

Lavagna lezione 28 novembre e esercitazione 1 dicembre