Libri UniversitariApri il catalogo

Prof. Mauro Brunato

Università di Trento · Dipartimento di Ingegneria e Scienza dell'Informazione · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Mauro Brunato

Materie del prof. Mauro Brunato

Computability And Computational Complexity Canale unico

Corso di laurea: Computer Science – sede di Trento · Laurea magistrale (LM-18) · 1º anno · 1º semestre · Computer Science and Technologies · 6 CFU

Trento · Dipartimento di Ingegneria e Scienza dell'Informazione · 6 CFU · apri nel catalogo · Computer Science – sede di Trento · 1º anno · 1º semestre ›

I seguenti testi sono suggeriti, non obbligatori

Sanjeev Arora e Boaz Barak. Computational Complexity: ACerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Christos – Computational complexityCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
John – Rajeev Motwani and DCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Arora – Computational complexityCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Papadimitriou – Computational complexityCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Hopcroft – Introduction to automata theory, languages, and computationCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Calcolabilità - Macchine di Turing. - Linguaggi decidibili e funzioni calcolabili. - Il problema della fermata (“Halting problem”). - Riduzioni di Turing. Altri linguaggi non decidibili e funzioni non calcolabili. - Teorema di Rice. Complessità computazionale - Dimensione dell'istanza di un problema, misure di complessità, classificazione dei problemi. - Classi di complessità temporale: P , NP , EXP .

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Computability And Computational Complexity Canale unico

Corso di laurea: Mathematics – sede di Trento · Laurea magistrale (LM-40) · esame facoltativo · Cryptography · 6 CFU

Trento · Dipartimento di Matematica · 6 CFU · apri nel catalogo · Mathematics – sede di Trento · 2º anno · 1º semestre ›

I seguenti testi sono suggeriti, non obbligatori

Sanjeev Arora e Boaz Barak. Computational Complexity: ACerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Christos – Computational complexityCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
John – Rajeev Motwani and DCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Arora – Computational complexityCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Papadimitriou – Computational complexityCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Hopcroft – Introduction to automata theory, languages, and computationCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Calcolabilità - Macchine di Turing. - Linguaggi decidibili e funzioni calcolabili. - Il problema della fermata (“Halting problem”). - Riduzioni di Turing. Altri linguaggi non decidibili e funzioni non calcolabili. - Teorema di Rice. Complessità computazionale - Dimensione dell'istanza di un problema, misure di complessità, classificazione dei problemi. - Classi di complessità temporale: P , NP , EXP .

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Domande frequenti

Quali libri consiglia il prof. Mauro Brunato per Computability And Computational Complexity (Computer Science – sede di Trento, canale unico)?

Sanjeev Arora e Boaz Barak. Computational Complexity: A; Christos – Computational complexity; John – Rajeev Motwani and D; Arora – Computational complexity; Papadimitriou – Computational complexity; Hopcroft – Introduction to automata theory, languages, and computation

Quali libri consiglia il prof. Mauro Brunato per Computability And Computational Complexity (Mathematics – sede di Trento, canale unico)?

Sanjeev Arora e Boaz Barak. Computational Complexity: A; Christos – Computational complexity; John – Rajeev Motwani and D; Arora – Computational complexity; Papadimitriou – Computational complexity; Hopcroft – Introduction to automata theory, languages, and computation