Ecco gia sulle basi della logica e dell'algebra andiamo malino
Mi sapresti dire dove trovare del matriale o il titolo di un libro che tratti i primi argomenti?
Elementi di teoria della computabilita'
La Tesi di Church
Macchine di Turing
Funzioni parziali ricorsive (Kleene)
I programmi IMP
Proprieta’ decidibili e indecidibili degli insiemi e delle funzioni computabili