Informatica Teorica (6 Cfu) – Bologna

Alma Mater Studiorum - Università di Bologna · Scienze · tutti i canali con docenti e libri, a.a. 2026/2027

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 ›

Il docente indica 3 testi · da studiare tutti

Testo consigliato

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

Testi aggiuntivi

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

Arora, Barak. Computational Complexity

A Modern Approach Cerca 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.