Appunti su calcolabilita' e teoremi di Godel. La parte sulle macchine a registri e' molto piu' sviluppata di quanto abbiamo visto a lezione: include in particolare la dimostrazione del fatto che l'insieme delle quadruple (e,x,t,y) tali che la macchina numero e su input x termina in t passi con output y e' primitivo ricorsivo.
Appunti su teorie e modelli
: Sono gli appunti di un corso estivo che coprono
anche argomenti non in programma.
Guardate soprattutto la parte
sul teorema di compattezza e i teoremi di Lowenheim Skolem.
Appunti scannerizzati di uno studente.
Unico file di 130 pagine:
Oppure tre files piu' piccoli:
pagine 1-56: dal 26 settembre al 26 ottobre
pagine 57-96: dal 26 ottobre al 23 novembre
pagine 96-130: dal 23 nov. al 7 dic.