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.



    • Videolezioni

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