mercoledì 28 novembre 2018

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

mercoledì 21 novembre 2018

Lezioni 19, 20, 21

Nelle lezioni 19 (lunedì 19 novembre), 20 (martedì 20 novembre) e 21 (mercoledì 21 novembre) ho spiegato una parte del capitolo 6, ossia la nozione di classe e insieme in logica classica, la rappresentazione in logica classica delle principali proposizioni sulle classi, il principio di estensionalità, il principio di comprensione, l'antinomia di Russell (ossia la refutazione di "Ogni classe è un insieme", la dimostrazione di "Qualche classe non è un insieme"), i principali insiemi, le principali operazioni sugli insiemi (intersezione, unione, prodotto cartesiano, potenza). 

Qu sotto il link alle pagine scritte sulla lavagna durante queste lezioni.

Pagine Lezioni 19,20,21 novembre 

domenica 18 novembre 2018

Lezioni 16, 17, 18. Esercitazione 5

Qui sotto ci sono i link a due file:
-quello contenente le pagine scritte sulla lavagna durante le lezioni di lunedì 12 novembre, di martedì 13 novembre e di mercoledì 14 novembre nelle quali ho spiegato il capitolo 5 ("La logica classica del primo ordine");
- quello contenente le pagine scritte sulla lavagna durante l'esercitazione di sabato 17 novembre sui temi del capitolo 5.




domenica 4 novembre 2018

Lezioni 12, 13, 14, 15; Esercitazione 4

Qui sotto i link ai file contenenti 
- ciò che ho spiegato nella lezione del 31 ottobre (dopo la sospensioni dell'attività didattica di sabato 27, lunedì 29 e martedì 30 ottobre), a conclusione del III capitolo;
- ciò che hai spiegato nelle due lezioni di recupero tenute il 2 novembre, sul capitolo IV
- ciò che ho spiegato nella lezione ed esercitazione di sabato 3 novembre, a conclusione di tutta la prima parte del corso.