Informatica Teorica – prof. Enrico Malizia

Matematica · Alma Mater Studiorum - Università di Bologna · esame facoltativo · 6 CFU · canale unico

Libri del canale

Informatica Teorica 6 CFU

EMProf. Enrico Malizia Canale unico

Il docente indica 3 testi · da studiare tutti

Testo consigliato

Hopcroft – Introduction to Automata TheoryVerificato sulla scheda ufficiale il 02/10/2026

Cerca su Amazon ›

Testi aggiuntivi

Introduction to the Theory of ComputationVerificato sulla scheda ufficiale il 02/10/2026

Cerca su Amazon ›

Arora, Barak. Computational Complexity

A Modern ApproachVerificato sulla scheda ufficiale il 02/10/2026

Cerca su Amazon ›

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.

Apri nel catalogo: Matematica, 3º anno, tutte le materie e i canali ›

Testi d'esame di Informatica Teorica del prof. Enrico Malizia, canale unico, corso di laurea in Matematica (Laurea triennale (L-35)), Alma Mater Studiorum - Università di Bologna, esame facoltativo · 6 CFU, a.a. 2026/2027. Libri adottati: Hopcroft – Introduction to Automata Theory; Introduction to the Theory of Computation; A Modern Approach.

Altre materie del prof. Malizia

Algorithms And Data Structures in Biology · Genomics · 2º anno · 2º semestre · 6 CFU
Informatica Teorica (6 Cfu) · Informatica · 3º anno · 2º semestre · 6 CFU

Vedi anche: Prof. Enrico Malizia · Informatica Teorica a Bologna (tutti i canali)