Prof. Mario Bravetti

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

Libri adottati dal prof. Mario Bravetti

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. Mario Bravetti

Programming And Computer Architectures Canale unico

Corso di laurea: Digital Transformation Management - sedi di Cesena e Forlì · Laurea magistrale (LM-91) · 1º anno · 1º semestre · 12 CFU

Bologna · Economia e management · 12 CFU · apri nel catalogo

Il docente non ha ancora pubblicato i testi per questo canale.

Bacheca del docente: cosa indica di studiare

Argomenti del programma: The course is structured in three modules taking place in parallel: one carrying out lectures on Python programming, one with corresponding lab activity (guided exercises at the PC), and one dedicated to computer architectures. Python Programming: variables, objects, types and expressions; control flow statements; object attributes and methods; function definitions and scoping; modules, standard library and…

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Ingegneria del Software e Modelli Computazionali – con Prof. Mirko Viroli, Prof. Danilo Pianini, Prof. Gianluca Aguzzi 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. Mario Bravetti per Ingegneria del Software e Modelli Computazionali?

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