Section outline

  • 23 marzo 2016, aula 5C edificio H2bis h 16-18

    • Qualche altro esercizio sulla logica proposizionale.

      • Esercizio 1 dell'appello d'esame dell'8/02/2016
      • Dimostrazione induttiva che quando un enunciato alpha e` derivabile da un insieme A di premesse (a partire dagli assiomi logici di Church o di Quine o di...), allora alpha risulta vero in tutti i modelli di A
      • Dimostrazione del teorema di Lindenbaum attraverso il lemma di Zorn
      • Enumerabilita` degli enunciati del linguaggio proposizionale
      • Enumerabilita` delle derivazioni
      • Enumerabilita` degli enuciati derivabili da un insieme decidibile di premesse

    • Versione aggiornata della dispensa (registrata il 15 marzo) sull'enumerazione delle sequenze di parole. Qui vengono enumerate le *dimostrazioni* della logica proposizionale. File PDF
    • Lucidi sulla nozione di insieme enumerabile ricorsivamente (Cenni) File PDF

      Questi lucidi raccordano la materia di Logica a quella di Computabilita` ---insegnamento che non tutti hanno frequentato. Il loro studio e` facoltativo; tuttavia possono servire a meglio contestualizzare certe problematiche della Logica, specie per chi non abbia frequentato un insegnamento sulla  Computabilita`.