Lezione del 17 dicembre 2019

Lezione del 17 dicembre 2019 (conclusione del capitolo 8)

Diario aggiornato dell'insegnamento

Diario dell'insegnamento di Logica e Comunicazione

Lezione del 16 dicembre 2019

Lezione del 16 dicembre 2019 (Macchina di Turing)

Lezione del 12 dicembre 2019

Lezione del 12 dicembre 2019 (codificazione, Macchina di Turing)

Modifica data e ora dell'esercitazione nella settimana prossima

L'esercitazione di "Logica e Comunicazione" nella settimana prossima non si terrà martedì 17 dicembre (ore 17-19), ma verrà anticipata a

LUNEDI 16 DICEMBRE, ORE 16-18

La verifica avrà luogo all'inizio di questa esercitazione (dunque, alle ore 16).

Sono confermati gli altri orari delle lezioni della settimana prossimo

Lunedì 16 dicembre, ore 8-10

Martedì 17 dicembre, ore 8-10

Giovedì 19 dicembre, ore 10-12 (con verifica nella parte finale della lezione).

Lezione ed esercitazione del 10 dicembre 2019.

Lezione ed esercitazione del 10 dicembre 2019

Lezione del 9 dicembre, e informazioni sulla verifica del 10 dicembre

Lezione del 9 dicembre (conclusione del capitoli su classi e insiemi)

Domani, 10 dicembre, ci sarà la verifica sul capitolo 6 (Classi e insiemi in logica classica).

La verifica consisterà nella risposta a due domande:

• una riguarderà uno dei temi spiegati nel libro e nelle lezioni, 
• l'altra consisterà nell'eseguire le operazioni insiemistiche binarie (intersezione, unione, prodotto cartesiano) su due insiemi dati e l'operazione di potenza di un insieme dato. 

Le domande saranno presentate una dopo l'altra.

A ciascuna domanda deve essere inviata la risposta per email, entro 5 minuti,  secondo le modalità già sperimentate martedì 3 dicembre (invio dalla posta istituzionale di ciascuno studente all'indirizzo logica.esonero2019@gmail.com).

La verifica comincerà alle 17:30 con l'appello degli studenti che intendono sostenerla e che devono essere prenotati all'appello del 13 gennaio 2020 ore 8.

Dopo la verifica si terranno esercitazioni fino alle ore 19.

Esercitazioni del 3 dicembre 2019

esercitazioni del 3 dicembre 2019 (operazioni sugli insiemi)

Lezione del 3 dicembre 2019

Lezione del 3 dicembre 2019 (operazioni sugli insiemi)

Lezione del 2 dicembre 2019

Lezione del 2 dicembre 2019 (Classi e insiemi)

Ricordo che domani, 3 dicembre 2019 si svolgeranno :

- la lezione sul capitolo 6 (continuazione della lezione di oggi), dalle ore 8 alle ore 10
- la verifica sul capitolo 5, alle 17.05
- l'esercitazione sul capitolo 6, dalle 17.15 alle 19.

Possono partecipare alla verifica tutti coloro che hanno sostenuto l'esonero e si sono prenotati al primo turno (ore 8) dell'appello del 13 gennaio 2019 accettando così il punteggio conseguito nell'esonero.

La verifica consisterà nella risposta a una domanda sul capitolo 5.

La risposta alla domanda dovrà essere scritta ed inviata entro 5 minuti all'indirizzo

logica.esonero2019@gmail.com

Lezione ed esercitazione del 26 novembre 2019

Logica Lezione del 26 novembre 2019 (conclusione del quinto capitolo)

Logica Esercitazione del 26 novembre 2019 (sul quinto capitolo)

Lezione del 25 novembre 2019

Lezione del 25 novembre 2019

Anno accademico 2019-20 -- Documenti da scaricare

- Diario dell'insegnamento a.a. 2019-20 (aggiornato al 20 novembre)-

Norme per l'esame di "Logica e Comunicazione" a.a. 2019-20

Esercitazioni 9 e 10 (ultime)

Qui sotto il file che contiene quel che ho scritto sulla lavagna durante le ultime esercitazioni del corso, tenute lunedì 7 gennaio e mercoledì 9 gennaio.

Lavagna 7 e 9 gennaio 

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. 

Lavagna lezioni 17, 18 e 19 dicembre

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

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 

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

Esercitazione 6. Lezioni 22 e 23

Nell'esercitazione 6 (sabato 24 novembre) ha avuto come oggetto il capitolo 6 (classi ed insiemi). La lezione 22 (lunedì 26 novembre) è stata dedicata prevalentemente alla nozione di "equipollenza" (due insiemi sono equipollenti quando esiste una corrispondenza biunivoca da un insieme all'altro) e al teorema di Cantor ("Esistono insiemi infiniti non equipollenti"), dunque gli insiemi infiniti - e non solo quello finiti -  hanno una gradazione)  che confuta ciò che si riteneva erroneamente vero ("Tutti gli insiemi infiniti sono equipollenti", "Non c'è gradazione dell'infinito"). Con la lezione 23 (martedì 27 novembre) si è conclusa la spiegazione del capitolo 6, e nella stessa lezione ho indicato quali potrebbero essere nell'esame le domande relative al capitolo 5 e al capitolo 6. 

Qui sotto i link alle pagine scritte sulla lavagna durante nell'esercitazione 6 e nelle lezioni 22 e 23. 

Pagine lavagna esercitazione 24 novembre

Pagine lavagna lezioni 26 e 27 novembre