Prof. Gianluca Aguzzi

Alma Mater Studiorum - Università di Bologna · Ingegneria e architettura · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Gianluca Aguzzi

Hopcroft – Automi, Linguaggi e Calcolabilità – Ingegneria del Software e Modelli Computazionali (Ingegneria e scienze informatiche – sede di Cesena, 1º anno · 2º semestre · 12 CFU)
Modern Approach – 4th edition – Ingegneria del Software e Modelli Computazionali (Ingegneria e scienze informatiche – sede di Cesena, 1º anno · 2º semestre · 12 CFU)
Modelling and Reasoning about Systems – Ingegneria del Software e Modelli Computazionali (Ingegneria e scienze informatiche – sede di Cesena, 1º anno · 2º semestre · 12 CFU)

Materie del prof. Gianluca Aguzzi

Ingegneria del Software e Modelli Computazionali – con Prof. Mirko Viroli, Prof. Danilo Pianini, Prof. Mario Bravetti Canale unico

Corso di laurea: Ingegneria e scienze informatiche – sede di Cesena · Laurea magistrale (LM-18) · 1º anno · 2º semestre · 12 CFU

Bologna · Ingegneria e architettura · 12 CFU · apri nel catalogo · Ingegneria e scienze informatiche – sede di Cesena · 1º anno · 2º semestre ›

Il docente indica 3 testi · da studiare tutti

Modulo Linguistica formale e modelli computazionali

Hopcroft – Automi, Linguaggi e Calcolabilità Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Russell, Norvig. "Artificial Intelligence

Modern Approach – 4th edition Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Huth, Ryan. "Logic in Computer Science

Modelling and Reasoning about Systems Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: Automi e linguaggi formali: - automi a stati finiti - espressioni regolari e loro relazione con gli automi a stati finiti - grammatiche libere dal contesto e algoritmo Cocke-Younger-Kasami - automi a pila e loro relazione con le grammatiche libere dal contesto - classificazione à la Chomsky delle grammatiche Applicazioni alla linguistica formale: - grammatiche libere dal contesto probabilistiche - grammatiche…

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Domande frequenti

Quali libri consiglia il prof. Gianluca Aguzzi per Ingegneria del Software e Modelli Computazionali?

Hopcroft – Automi, Linguaggi e Calcolabilità; Modern Approach – 4th edition; Modelling and Reasoning about Systems