Libri UniversitariApri il catalogo

Computability And Computational Complexity – prof. Mauro Brunato

Computer Science – sede di Trento · Università di Trento · 1º anno · 1º semestre · Computer Science and Technologies · 6 CFU · canale unico

Libri del canale

Computability And Computational Complexity 6 CFU

MBProf. Mauro Brunato Canale unico

I seguenti testi sono suggeriti, non obbligatori

Sanjeev Arora e Boaz Barak. Computational Complexity: AIl prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
Christos – Computational complexityIl prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
John – Rajeev Motwani and DIl prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
Arora – Computational complexityVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
Papadimitriou – Computational complexityVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
Hopcroft – Introduction to automata theory, languages, and computationVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
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.

Apri nel catalogo: Computer Science – sede di Trento, 1º anno, tutte le materie e i canali ›

Testi d'esame di Computability And Computational Complexity del prof. Mauro Brunato, canale unico, corso di laurea in Computer Science – sede di Trento (Laurea magistrale (LM-18)), Università di Trento, 1º anno · 1º semestre · Computer Science and Technologies · 6 CFU, a.a. 2026/2027. Libri adottati: 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.

Altre materie del prof. Brunato

Vedi anche: Prof. Mauro Brunato · Computability And Computational Complexity a Trento (tutti i canali)