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).
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.
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…
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…