Dispense di Informatica Teorica

Queste dispense sono dedicate allo studio della teoria della calcolabilità, della teoria dei linguaggi formali e della teoria della complessità. In particolare, l’obiettivo principale delle dispense è quello di cercare di rispondere alla seguente domanda:

COSA PUÒ ESSERE CALCOLATO DA UN CALCOLATORE E QUANTO COSTA FARLO?

Le dispense sono disponibili gratuitamente: se dovessero piacervi e/o se pensate di  utilizzarle, avrei piacere di ricevere un vostro messaggio.