Il corso si propone di fornire le conoscenze di base dell'Informatica Teorica con particolare attenzione alla teoria della calcolabilità ed alla teoria della complessità.