Indice degli argomenti
Introduzione
Chi ha intenzione di seguire si iscriva a questo corso moodle.
Le lezioni non verranno registrate.
Pubblicherò delle registrazioni fatte prima della lezione (visibili solo a studenti autenticati).
- Da usare per domande di matematica od organizzative.
La lista è incompleta; la descrizione dei singoli argomenti è solo abbozzata.
Settimana I (22 e 23 febbraio)
lunedì 14:30 -- 16:30 (comincio puntuale) martedì 10:30 -- 12:30 (comincio alle '45)Tutte le lezioni sono in aula S
- La mia notazione potrebbe differire leggermente da quelle adottate a IdL.
Qui sopra ho annotato le discordanze tra le mie dispense e quelle di Berarducci.
Settimana II (2 e 4 marzo)
martedì 10:30 -- 12:30 (comincio alle '45) giovedì 14:30 -- 16:30 (comincio puntuale)Tutte le lezioni sono in aula S
- Qui sopra è quello che fin'ora abbiamo fatto del secondo capitolo delle dispense. Essenzialmente, abbiamo solo fatto un ripasso di cose già viste a IdL.
Qui sopra la versione preliminare di un paragrafo che aggiungerò al capitolo 2.
Settimana III (9 e 11 marzo)
martedì 10:30 -- 12:30 (comincio alle '45).Cancellatagiovedì 14:30 -- 16:30 (comincio puntuale)Tutte le lezioni sono in aula S.Lezione in modalità asincrona: videolezione 04 (dal minuto 48) + videloezione 05.
Lezione in modalità semi-sincrona: BigBlueButton qui sotto
Questa settimana tratteremo tutto il capitolo 6 delle dispense (Some relational structures).
Del capitolo 4 dovermo rivedere solo il teorema di compattezza per i tipi (4.11).
La notazione e terminologia introdotta nel capitolo 5 verrà ripresa al tempo debito.
Settimana IV (16 e 18 marzo)
martedì 11:00 -- 12:30 lectio brevis, semi-sincrona, comincia puntuale giovedì lezione solo asincrona (videolezione 06, vedi sotto)martedì
continuità uniforme in analisi non standard: videolezione 04 (dal minuto 48);
grafo aleatorio: videloezione 05 (dal minuto 43);
domande e risposte.
giovedì
lemma delle catene elementari;
i tipi (e le mappe elementari);
teorema di compattezza per i tipi.
Settimana V (23 marzo)
martedì 11.00 -- 12:30 semi-sincrona (N.B. cominciamo alle 11)Settimana VII (8 aprile)
giovedì 14:30 -- 16:30 (comincio puntuale)Settimana VIII (13 e 15 aprile)
martedì 10:30 -- 12:30 (comincio alle 11:00) venerdì 13:45 -- 15:00 (comincio puntiale)Settimana IX (20 e 22 aprile)
martedì 10:30 -- 12:30 (comincio alle 11:00) giovedì 14:30 -- 15:00 (comincio puntuale)La videolezione 12 manca. Trattato (quasi) tutto il capitolo sulla saturazione ed il modello mostro.
Settimana X (27 e 29 aprile)
martedì 10:30 -- 12:30 (comincio alle 11:00) giovedì 14:30 -- 15:00 (comincio puntuale)Lezione in presenza in aula S
La videolezione 14 è su BigBlueButton di martedì.
La videolezione 15 è su BigBlueButton di giovedì.Settimana XI (4 e 6 maggio)
martedì 10:30 -- 12:30 (comincio alle 10:45) giovedì 14:30 -- 15:00 (comincio puntuale)Lezioni in presenza in aula S
La videolezione 16 manca.
La videolezione 17 è su BigBlueButton di giovedì.Settimana XII (11 e 13 maggio)
martedì 10:30 -- 12:30 (comincio alle 10:45) giovedì 14:30 -- 15:00 (comincio puntuale)Lezioni in presenza in aula S
Seminari (4 date da concordare)