Prof. Roberto Gorrieri

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

Libri adottati dal prof. Roberto Gorrieri

Medica – Una guida ai sistemi informativi sanitari – Management Sanitario C.I. -- (Podologia (abilitante alla professione sanitaria di podologo), 1º anno · 2º semestre · 10 CFU)
Maurizio Gabbrielli, Simone Martini – Linguaggi di Programmazione (Informatica, 2º anno · annuale · 12 CFU)
Principi e paradigmi – Linguaggi di Programmazione (Informatica, 2º anno · annuale · 12 CFU)
Maurizio Gabbrielli, Simone Martini, Saverio Giallorenzo – Linguaggi di Programmazione (Informatica, 2º anno · annuale · 12 CFU)
Programming Languages – Principles and Paradigms – Linguaggi di Programmazione (Informatica, 2º anno · annuale · 12 CFU)
Gorrieri – Syntax and Semantics of Petri Nets – Modelli e Sistemi Concorrenti (Informatica, esame facoltativo · 6 CFU)
Gorrieri – Introduction to Concurrency Theory – Modelli e Sistemi Concorrenti (Informatica, esame facoltativo · 6 CFU)
Gorrieri – Process Algebras for Petri Nets – Modelli e Sistemi Concorrenti (Informatica, esame facoltativo · 6 CFU)

Materie del prof. Roberto Gorrieri

Management Sanitario C.I. -- – con Prof. Lorenzo Brognara, Prof. Vania Maselli, Prof. Antonio D'Ugo, Prof. Rossana Genco, Prof. Sofia Avnet Canale unico

Corso di laurea: Podologia (abilitante alla professione sanitaria di podologo) · Laurea triennale (L/SNT2) · 1º anno · 2º semestre · 10 CFU

Bologna · Medicina e Chirurgia · 10 CFU · apri nel catalogo · Podologia (abilitante alla professione sanitaria di podologo) · 1º anno · 2º semestre ›

Il docente indica 1 testo

Modulo Informatica --

Medica – Una guida ai sistemi informativi sanitari Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: Consenso informato. privacy e gestione della cartella clinica Fatturazione elettronica Fatturazione delle prestazioni sanitarie inserimento dati sul sistema tessera sanitaria Gestione dell'ambulatorio podologico e deontologia professionale procedure dell'ambulatorio didattico di podologia requisiti minimi di struttura studio podologico

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Linguaggi di Programmazione Canale unico

Corso di laurea: Informatica · Laurea triennale (L-31) · 2º anno · annuale · 12 CFU

Bologna · Scienze · 12 CFU · apri nel catalogo · Informatica · 2º anno ›

Il docente indica 4 testi · da studiare tutti

Maurizio Gabbrielli, Simone Martini Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Linguaggi di programmazione

Principi e paradigmi Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Maurizio Gabbrielli, Simone Martini, Saverio Giallorenzo Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Programming Languages – Principles and Paradigms Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: Il corso è strutturato in tre moduli, strettamente integrati. Primo modulo, primo semestre; docente:Roberto Gorrieri Evoluzione dei linguaggi di programmazione: Dai linguaggi assembler ai linguaggi ad alto livello. Macchine astratte, interpreti, compilatori. Descrizione di un linguaggio: Sintassi, semantica, pragmatica e implementazione. Sinatssi in BNF. Semantica operazionale strutturata (SOS).

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Modelli e Sistemi Concorrenti Canale unico

Corso di laurea: Informatica · Laurea magistrale (LM-18) · esame facoltativo · 6 CFU

Bologna · Scienze · 6 CFU · apri nel catalogo · Informatica · 1º anno · 2º semestre ›

Il docente indica 3 testi · da studiare tutti

Gorrieri – Syntax and Semantics of Petri Nets Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

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

Gorrieri – Process Algebras for Petri Nets Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: - Introduzione alla concorrenza e al problema della correttezza del progetto di sistemi reattivi. - Reti di Petri e Sistemi di transizione etichettati. - Linear nets. Equivalenza di linguaggio, a tracce, per isomorfismo. Bisimulazione. Logica modale BML. Process algebra Lin. Teorema di rappresentazione. Congruenza e proprietà algebriche della bisimulazione. Assiomatizzazione sound and complete. - Forking nets.

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. Roberto Gorrieri per Management Sanitario C.I. --?

Medica – Una guida ai sistemi informativi sanitari

Quali libri consiglia il prof. Roberto Gorrieri per Linguaggi di Programmazione?

Maurizio Gabbrielli, Simone Martini; Principi e paradigmi; Maurizio Gabbrielli, Simone Martini, Saverio Giallorenzo; Programming Languages – Principles and Paradigms

Quali libri consiglia il prof. Roberto Gorrieri per Modelli e Sistemi Concorrenti?

Gorrieri – Syntax and Semantics of Petri Nets; Gorrieri – Introduction to Concurrency Theory; Gorrieri – Process Algebras for Petri Nets