Indice degli argomenti

  • Introduzione

    Logica Matematica 2

    a.a. 2016/17

  • Prima parte

    Nel seguito trovate un file Pdf contenente il programma del corso relativo alla parte del prof. Viale ed un file pdf contenente la dimostrazione del teorema di Tychonoff sulla compattezza degli spazi prodotto. Trovate materiale didattico relativo alla parte su algebre di Boole nelle dispense disponibili al seguente hyperlink: 

    http://www.logicatorino.altervista.org/matteo_viale/dispenseTI2014.pdf

    Tutto il materiale sulle algebre di Boole relativo agli argomenti svolti durante il corso che si può trovare in queste dispense è contenuto nelle sezioni 2.2, 2.2.1, 2.2.2, 2.2.3 e 3.3.1. Può comunque essere utile la lettura della sezione 2.1 su ordini parziali e topologia. 

    Gli altri esempi di algebre di Boole atomless presentati nel corso e non presenti nelle dispense possono essere trovati negli esercizi guidati 2.10, 2.12, 2.13, 4.14 del testo: "A course in Set Theory", Ernst Schimmerling, CUP, 2011. 

    Può anche essere utile la lettura dei primi tre capitoli (molto discorsivi) del testo: "Introduction to boolean algebras", Steven Givant, Paul Halmos, Springer, 2009.



  • Seconda parte

    Il corso si basa sui capitoli 2-8 di queste dispense.

    Il testo degli esercizi lo pubblicherò qui. La consegna viene fatta tramite l'apposito compito di Moodle. Consegnare solo il PDF.
  • Videolezioni

    Condizioni per l'accesso: Il campo Indirizzo email del tuo profilo deve contenere @edu.unito.it