Sapienza Università di Roma · Ingegneria dell'informazione, informatica e statistica · libri consigliati, cosa studiare e orario delle lezioni, a.a. 2026/2027
Foundations Of Computer Science Canale unico
Ingegneria dell'informazione, informatica e statistica · 3º anno · 1º semestre · 6 CFU · apri nel catalogo
Argomenti del programma: Automi e Linguaggi: Linguaggi regolari, automi a stati finiti e grammatiche regolari. Linguaggi context-free, grammatiche context-free e automi a pila; gerarchia di Chomsky. Teoria della Calcolabità: Macchine di Turing. Tesi di Church-Turing. Problemi indecidibili: il problema della fermata. La riduzione tra problemi: uno strumento per dimostrarne l'indecibilità o la decidibilità.
Concurrent Systems Canale unico
Ingegneria dell'informazione, informatica e statistica · esame facoltativo · 6 CFU · apri nel catalogo
Argomenti del programma: The course is split into 3 parts: The first part studies foundational problems of concurrent systems: - sequential vs concurrent programs - Process synchronization (competition vs cooperation) - Safety and liveness properties; a hierarchy of liveness properties (deadlock freedom, starvation freedom, bounded bypass) - Mutual exclusion: atomic registers (algorithms by Peterson and Lamport; how to obtain a starvation…
Automi Calcolabilita' e Complessita' Canale unico
Ingegneria dell'informazione, informatica e statistica · 3º anno · 1º semestre · 6 CFU · apri nel catalogo
Argomenti del programma: Automi e Linguaggi: Linguaggi regolari, automi a stati finiti e grammatiche regolari. Linguaggi context-free, grammatiche context-free e automi a pila; gerarchia di Chomsky. Teoria della Calcolabità: Macchine di Turing. Tesi di Church-Turing. Problemi indecidibili: il problema della fermata. La riduzione tra problemi: uno strumento per dimostrarne l'indecibilità o la decidibilità.
Domande frequenti
Quali libri consiglia il prof. Daniele Gorla per Foundations Of Computer Science?
Sipser – Introduction to the Theory of Computation; Hopcroft – Introduction to Automata Theory
Quali libri consiglia il prof. Daniele Gorla per Concurrent Systems?
Raynal – Concurrent Programming; Milner – Communicating and Mobile Systems; Smolka – In Encyclopedia of Electrical Engineering; Parrow – An Introduction to the pi-Calculus, pages 479-543; Milner – The Polyadic pi-Calculus
Quali libri consiglia il prof. Daniele Gorla per Automi Calcolabilita' e Complessita'?
Sipser – Introduction to the Theory of Computation; Hopcroft – Introduction to Automata Theory