Complessità+Logica=Matematica del computer. - prof. Nicola Galesi

I computer possono risolvere qualunque problema? Cosa sono lo spazio e il tempo quando un computer esegue un algoritmo? E perché le misure di complessità sono importanti? Che differenza c'è tra verificare e scoprire la soluzione di un problema?
Alla scoperta della Complessità Computazionale degli Algoritmi attraverso  la Logica Matematica e l'Informatica Teorica.