Section outline

  • Il punto (1) viene esposto nella presentazione "D vs E" riportata sotto la lezione del 31 marzo, che qui sotto complementiamo con una breve rivisitazione del teorema cinese.

    • Il teorema cinese dei resti File PDF

      Ecco qui una dispensetta che collega il teorema cinese dei resti nella sua formulazione originaria al suo riadattamento di (Gödel e) Davis ai fini della  rappresentazione aritmetica delle funzioni ricorsive primitive.

    • Dalla ricorsione primitiva a un modello, Turing-completo, di computabilità File PDF

      Una dispensetta di 2 o 3 pagine, che integra quanto già riportato nei lucidi "D vs E" della lezione del 31 marzo

    • Clausole di Horn e computabilità File PDF

      Presentazione sulla specifica di funzioni ricorsive generali tramite clausole di Horn

    • Digressione sui numerali (che rappresentano i naturali come espressioni simboliche, in 'base 1') File TXT

      Si tratta di un universo di Herbrand, il piú semplice fra quelli infiniti

    • Completezza di Turing della programmazione tramite clausole di Horn File PDF

      Una dispensetta che ricalca fedelmente quanto visto nella presentazione che precede, ma di cui può tornarvi utile soprattutto il riepilogo sinottico riportato alla fine (pag.5).

    • Per ora (settimana 19/25 aprile) le lezioni di Logica continuano ad essere svolte in modalità remota, tramite MS-teams.


      Il giorno 21 aprile verso le 12:40 alcuni studenti che si candidano come rappresentanti di dipartimento DMG assieme a Lista Autonomamente, in vista delle elezioni 2021- 2023, prenderanno la parola per presentarsi agli studenti.