Indice degli argomenti
-
Purtroppo, la lavagna di questa lezione è andata persa.
Trovate una bozza di dimostrazione del lemma di Lyndon-Robinson nella sezione 10.1 di queste dispense
https://github.com/domenicozambella/creche/raw/master/PDF/creche.pdf
Il teorema di compattezza per i tipi è il teorema 4.11 e contiene a l suo interno una breve discussione del metodo del diagramma.
La (bozza di) dimostrazione del teorema di compattezza fatta a lezione non è parte del programma.
-
Data limite: domenica, 14 maggio 2023, 23:59
-
-
Il teorema sulla densità dei percorsi di lunghezza 3 in un grafo bipartito è spiegato in questo video: https://youtu.be/YGiXG575fNI
-
Data limite: domenica, 14 maggio 2023, 23:59
-
-
-
Data limite: lunedì, 22 maggio 2023, 23:59
-