Indice degli argomenti

  • Introduzione

  • Lezione I, giovedì 20 aprile

  • Lezione II, venerdì 21 aprile

    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.

    • Compito 01
      Data limite: domenica, 14 maggio 2023, 23:59

  • Lezione III, giovedì 27 aprile

  • Lezione IV, venerdì 27 aprile

    Il teorema sulla densità dei percorsi di lunghezza 3 in un grafo bipartito è spiegato in questo video: https://youtu.be/YGiXG575fNI
    • Compito 02
      Data limite: domenica, 14 maggio 2023, 23:59

  • Lezione V, giovedì 4 maggio

  • Edit Lezione VI, venerdì 5 maggio

    • Compito 03
      Data limite: lunedì, 22 maggio 2023, 23:59