Indice degli argomenti
-
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.
-
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.
-
-
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.
-
-
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.
-
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.
-
martedì 11.00 -- 12:30 semi-sincrona (N.B. cominciamo alle 11) -
martedì 11.00 -- 12:30 semi-sincrona -
giovedì 14:30 -- 16:30 (comincio puntuale) -
martedì 10:30 -- 12:30 (comincio alle 11:00) venerdì 13:45 -- 15:00 (comincio puntiale) -
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.
-
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ì. -
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ì. -
martedì 10:30 -- 12:30 (comincio alle 10:45) giovedì 14:30 -- 15:00 (comincio puntuale)Lezioni in presenza in aula S
-