Libri UniversitariApri il catalogo

Ingegneria del Software e Modelli Computazionali – prof. Mirko Viroli, Danilo Pianini, Gianluca Aguzzi, Mario Bravetti

Ingegneria e scienze informatiche – sede di Cesena · Alma Mater Studiorum - Università di Bologna · 1º anno · 2º semestre · 12 CFU · canale unico

Libri del canale

Ingegneria del Software e Modelli Computazionali 12 CFU

MVProf. Mirko Viroli, Prof. Danilo Pianini, Prof. Gianluca Aguzzi, Prof. Mario Bravetti Canale unico

Modulo Linguistica formale e modelli computazionali

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

Russell, Norvig. "Artificial Intelligence

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

Huth, Ryan. "Logic in Computer Science

Modelling and Reasoning about SystemsVerificato sulla scheda ufficiale il 02/10/2026
Cerca su Amazon ›
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.

Apri nel catalogo: Ingegneria e scienze informatiche – sede di Cesena, 1º anno, tutte le materie e i canali ›

Testi d'esame di Ingegneria del Software e Modelli Computazionali del prof. Mirko Viroli, Danilo Pianini, Gianluca Aguzzi, Mario Bravetti, canale unico, corso di laurea in Ingegneria e scienze informatiche – sede di Cesena (Laurea magistrale (LM-18)), Alma Mater Studiorum - Università di Bologna, 1º anno · 2º semestre · 12 CFU, a.a. 2026/2027. Libri adottati: Hopcroft – Automi, Linguaggi e Calcolabilità; Modern Approach – 4th edition; Modelling and Reasoning about Systems.

Altre materie del prof. Viroli, Pianini, Aguzzi, Bravetti

Vedi anche: Prof. Mirko Viroli · Prof. Danilo Pianini · Prof. Gianluca Aguzzi · Prof. Mario Bravetti · Ingegneria del Software e Modelli Computazionali a Bologna (tutti i canali)