Libri UniversitariApri il catalogo

A Modern Approach

Libro adottato a Bologna, a.a. 2026/2027 · 3 canali

«A Modern Approach» è adottato per Languages And Algorithms For Artificial Intelligence I.C. dai docenti Ugo Dal Lago, Paolo Felli e Claudio Sacerdoti Coen (Artificial Intelligence – Bologna); per Informatica Teorica (6 Cfu) dal prof. Enrico Malizia (Informatica – Bologna); per Informatica Teorica dal prof. Enrico Malizia (Matematica – Bologna).

A Modern ApproachCerca su Amazon ›

Come lo indica il docente: A Modern Approach. Cambridge University Press, 2009

Chi lo adotta

Programma e testi di ogni canale

Languages And Algorithms For Artificial Intelligence I.C. – Prof. Ugo Dal Lago, Prof. Paolo Felli, Prof. Claudio Sacerdoti Coen Canale unico

Corso di laurea: Artificial Intelligence · Laurea magistrale (LM-18) · 1º anno · 2º semestre · 12 CFU

Bologna · Ingegneria e architettura · 12 CFU · apri nel catalogo · Artificial Intelligence · 1º anno · 2º semestre ›

[1] Sanjeev Arora and Boaz Barak, Computational Complexity

A Modern Approachquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Michael Kearns – VaziraniCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
From Theory to AlgorithmsCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Il corso fornisce innanzitutto alcuni rudimenti di teoria della computabilità e della complessità: macchine di Turing, indecidibilità, tempo polinomiale e NP-completezza. Verso la fine del corso, daremo poi una panoramica sulla cosiddetta computational learning theory: PAC Learning, apprendimento tramite convergenza uniforme, VC-Dimension.

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

Informatica Teorica (6 Cfu) – Prof. Enrico Malizia Canale unico

Corso di laurea: Informatica · Laurea triennale (L-31) · 3º anno · 2º semestre · 6 CFU

Bologna · Scienze · 6 CFU · apri nel catalogo · Informatica · 3º anno · 2º semestre ›

Testo consigliato

Hopcroft – Introduction to Automata TheoryCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Testi aggiuntivi

Introduction to the Theory of ComputationCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Arora, Barak. Computational Complexity

A Modern Approachquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Problemi e algoritmi Calcolabilità vs. Complessità Macchine di Turing Problemi decidibili, semidecidibili, e indecidibili Classi di complessità Le classi P ed NP Problemi NP-completi, e la questione P vs. NP Cenni alle classi di complessità spaziali Cenni alle classi ad oracolo, alle gerarchie di classi, e alle classi funzionali Prerequisiti: Si assume che gli studenti abbiano acquisito solide basi di ragionamento…

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

Informatica Teorica – Prof. Enrico Malizia Canale unico

Corso di laurea: Matematica · Laurea triennale (L-35) · esame facoltativo · 6 CFU

Bologna · Scienze · 6 CFU · apri nel catalogo · Matematica · 3º anno · 2º semestre ›

Testo consigliato

Hopcroft – Introduction to Automata TheoryCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Testi aggiuntivi

Introduction to the Theory of ComputationCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Arora, Barak. Computational Complexity

A Modern Approachquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Problemi e algoritmi Calcolabilità vs. Complessità Macchine di Turing Problemi decidibili, semidecidibili, e indecidibili Classi di complessità Le classi P ed NP Problemi NP-completi, e la questione P vs. NP Cenni alle classi di complessità spaziali Cenni alle classi ad oracolo, alle gerarchie di classi, e alle classi funzionali Prerequisiti: Si assume che gli studenti abbiano acquisito solide basi di ragionamento…

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

Si studia insieme a