Section outline

  • 26 aprile 2016, aula 5C edificio H2bis h 16-18

    • Sono stati ripresi lucidi (e dispense) del 29 febbraio, per approfondire:

      • logica minimale su un insieme di enunciati,
      • teorema di Post 
      Sono stati inoltre ripresi lucidi del 12 aprile, per introdurre:

      • assiomi logici e regole d'inferenza per il calcolo predicativo del 1.o ordine