Prof. Samuele Germiniani

Università degli Studi Guglielmo Marconi · Scienze e Tecnologie Applicate · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Samuele Germiniani

Michael Sipser – Introduction to the Theory of Computation – Linguaggi Formali, Calcolabilità e Complessità (Ingegneria Informatica, 1º anno · tutto l'anno (semestre non indicato) · 6 CFU)
Jeffrey Friedl – Mastering Regular Expressions – Linguaggi Formali, Calcolabilità e Complessità (Ingegneria Informatica, 1º anno · tutto l'anno (semestre non indicato) · 6 CFU)
Ian Sommerville – 10th Edition – Ingegneria e Qualità del Software (Ingegneria Informatica, esame facoltativo · 12 CFU)
Ian Sommerville – An introduction to modern software engineering – Ingegneria e Qualità del Software (Ingegneria Informatica, esame facoltativo · 12 CFU)

Materie del prof. Samuele Germiniani

Formal Languages, Computability And Complexity Canale unico

Corso di laurea: Ingegneria Informatica · Laurea triennale (L-8) · 1º anno · tutto l'anno (semestre non indicato) · Artificial Intelligence (in inglese) · 6 CFU

Marconi · Scienze e Tecnologie Applicate · 6 CFU · apri nel catalogo

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

Bacheca del docente: cosa indica di studiare

In addition to the lectures delivered by the instructor and the teaching materials published on the platform, study of the following texts is recommended.
Daniel P. Bovet, Pierluigi Crescenzi, Introduction to the Theory of Complexity

Argomenti del programma: The course consists of 15 video lectures, each lasting approximately 1 hour. Course overview Course presentation: main themes, theoretical motivations, and context within computer science. Introduction to the Chomsky hierarchy and educational objectives. Introduction to Finite State Automata (FSA) Definition of deterministic finite automata (DFA). Formalization, operation, transition diagrams, recognized languages.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Linguaggi Formali, Calcolabilità e Complessità Canale unico

Corso di laurea: Ingegneria Informatica · Laurea triennale (L-8) · 1º anno · tutto l'anno (semestre non indicato) · 6 CFU

Marconi · Scienze e Tecnologie Applicate · 6 CFU · apri nel catalogo · pagina del canale (anno, semestre, libri)

Il docente indica 2 testi · da studiare tutti

Riferimento principale

Michael Sipser – Introduction to the Theory of Computation Vai su Amazon ›Verificato sulla scheda ufficiale il 01/10/2026

Riferimenti aggiuntivi

Jeffrey Friedl – Mastering Regular Expressions Vai su Amazon ›Verificato sulla scheda ufficiale il 01/10/2026

Bacheca del docente: cosa indica di studiare

Daniel P. Bovet, Pierluigi Crescenzi, Introduction to the Theory of Complexity

Argomenti del programma: Il corso si articola in 15 videolezioni, ciascuna della durata di circa 1 ora. Panoramica del corso Presentazione del corso: temi principali, motivazioni teoriche, contesto all’interno della scienza computazionale. Introduzione alla gerarchia di Chomsky e agli obiettivi formativi. Introduzione agli automi a stati finiti (FSA) Definizione di automi a stati finiti deterministici (DFA).

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Ingegneria e Qualità del Software Canale unico

Corso di laurea: Ingegneria Informatica · Laurea magistrale (LM-32) · esame facoltativo · 12 CFU / 1º anno · tutto l'anno (semestre non indicato) · Digital Innovation Engineering · 12 CFU

Marconi · Scienze e Tecnologie Applicate · 12 CFU · apri nel catalogo · pagina del canale (anno, semestre, libri)

Il docente indica 2 testi · da studiare tutti

Ian Sommerville – 10th Edition Vai su Amazon ›Da studiare: Per i capitoli a cui fanno riferimento le specifiche lezioniVerificato sulla scheda ufficiale il 01/10/2026

Ian Sommerville – An introduction to modern software engineering Vai su Amazon ›Verificato sulla scheda ufficiale il 01/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: Differenze tra sistema software e prodotto software Processi software Metodologie di sviluppo agile Ingegneria dei requisiti Features, scenari e storie Modellazione dei sistemi software Architettura dei sistemi software Architettura dei prodotti software Progettazione e implementazione del software Software basato sul cloud Architettura a microservizi Software testing Sistemi affidabili Programmazione affidabile…

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. Samuele Germiniani per Linguaggi Formali, Calcolabilità e Complessità?

Michael Sipser – Introduction to the Theory of Computation; Jeffrey Friedl – Mastering Regular Expressions

Quali libri consiglia il prof. Samuele Germiniani per Ingegneria e Qualità del Software?

Ian Sommerville – 10th Edition; Ian Sommerville – An introduction to modern software engineering