Queste dispense sono dedicate allo studio della teoria della calcolabilità, della teoria dei linguaggi formali e della teoria della complessità. In particolare, gli argomenti trattati includono le macchine di Turing, la macchina di Turing universale, i limiti delle macchine di Turing, la tesi di Church-Turing, la gerarchia di Chomsky, i linguaggi regolari, i linguaggi liberi da contesto, le classi di complessità, le classi P, NP, PSPACE e EXP e gli algoritmi di approssimazione.
I docenti che facessero uso delle dispense e che volessero utilizzare i lucidi sviluppati in LaTeX e accedere alle soluzioni degli esercizi inclusi nelle dispense, possono farne richiesta all’autore.