Argomenti del programma: MODULO DI ALGORITMI 3. Teoria della complessità 3.1 Nozioni e notazioni fondamentali per l’analisi di complessità 3.2. I modelli di calcolo e le relazioni tra le loro complessità computazionali 3.3 La macchina RAM 3.3.1. Valutazione di complessità con criterio del costo costante e criterio logaritmico 3.4 Il teorema di correlazione polinomiale. Gerarchie di complessità. Cenni all'NP-completezza 4.
Argomenti del programma: MODULO DI ALGORITMI 3. Teoria della complessità 3.1 Nozioni e notazioni fondamentali per l’analisi di complessità 3.2. I modelli di calcolo e le relazioni tra le loro complessità computazionali 3.3 La macchina RAM 3.3.1. Valutazione di complessità con criterio del costo costante e criterio logaritmico 3.4 Il teorema di correlazione polinomiale. Gerarchie di complessità. Cenni all'NP-completezza 4.
Argomenti del programma: MODULO DI ALGORITMI 3. Teoria della complessità 3.1 Nozioni e notazioni fondamentali per l’analisi di complessità 3.2. I modelli di calcolo e le relazioni tra le loro complessità computazionali 3.3 La macchina RAM 3.3.1. Valutazione di complessità con criterio del costo costante e criterio logaritmico 3.4 Il teorema di correlazione polinomiale. Gerarchie di complessità. Cenni all'NP-completezza 4.
Argomenti del programma: Programma delle lezioni e delle esercitazioni 1. I modelli dell'informatica Automi (a stati finiti, a pila, Macchine di Turing) Modelli nondeterministici Grammatiche Uso della logica matematica per modellare sistemi e descriverne proprietà. 2. Teoria della computazione Potenza dei modelli di calcolo Tesi di Church Problemi indecidibili Tecniche di dimostrazione di indecidibilità 3.
Argomenti del programma: MODULO DI ALGORITMI 3. Teoria della complessità 3.1 Nozioni e notazioni fondamentali per l’analisi di complessità 3.2. I modelli di calcolo e le relazioni tra le loro complessità computazionali 3.3 La macchina RAM 3.3.1. Valutazione di complessità con criterio del costo costante e criterio logaritmico 3.4 Il teorema di correlazione polinomiale. Gerarchie di complessità. Cenni all'NP-completezza 4.
Argomenti del programma: MODULO DI ALGORITMI 3. Teoria della complessità 3.1 Nozioni e notazioni fondamentali per l’analisi di complessità 3.2. I modelli di calcolo e le relazioni tra le loro complessità computazionali 3.3 La macchina RAM 3.3.1. Valutazione di complessità con criterio del costo costante e criterio logaritmico 3.4 Il teorema di correlazione polinomiale. Gerarchie di complessità. Cenni all'NP-completezza 4.
Argomenti del programma: MODULO DI ALGORITMI 3. Teoria della complessità 3.1 Nozioni e notazioni fondamentali per l’analisi di complessità 3.2. I modelli di calcolo e le relazioni tra le loro complessità computazionali 3.3 La macchina RAM 3.3.1. Valutazione di complessità con criterio del costo costante e criterio logaritmico 3.4 Il teorema di correlazione polinomiale. Gerarchie di complessità. Cenni all'NP-completezza 4.
Libri Universitari