Libri UniversitariApri il catalogo

Prof. Laura Semini

Università di Pisa · Dipartimento di Informatica · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Laura Semini

Materie del prof. Laura Semini

Foundations Of Computer Science Canale unico

Corso di laurea: Data Science and Business Informatics – sede di Pisa · Laurea magistrale (LM Data) · 1º anno · 1º semestre · 6 CFU

Pisa · Dipartimento di Informatica · 6 CFU · apri nel catalogo · Data Science and Business Informatics – sede di Pisa · 1º anno · 1º semestre ›

Testi di riferimento

Rosen – Discrete Mathematics and Its ApplicationsCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare
  • M. X. Cohen, Linear Algebra: Theory, Intuition, Code (capitoli selezionati).
  • Le slide delle lezioni, gli esercizi, eventuali dispense e ulteriore materiale di approfondimento saranno resi disponibili dal docente durante il corso.

Argomenti del programma: Logica matematica: logica proposizionale, tavole di verità, equivalenze logiche, tecniche di dimostrazione; logica dei predicati e uso dei quantificatori. Strutture discrete: insiemi e operazioni fondamentali; multisets e fuzzy sets; sequenze, relazioni e funzioni; cardinalità degli insiemi.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Ingegneria del Software Canale a

Corso di laurea: Informatica – sede di Pisa · Laurea triennale (L-31) · 3º anno · 1º semestre · 6 CFU

Pisa · Dipartimento di Informatica · 6 CFU · apri nel catalogo · Informatica – sede di Pisa · 3º anno · 1º semestre ›

Kung – Software EngineeringCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
UML@Classroom, Martina Seidl, Marion Scholz, Christian Huemer, GertiCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare
  • Disponibili in buona parte online alla pagina del corso
  • Dispensa di architettura e progettazione di dettaglio .

Argomenti del programma: - Introduzione al corso e motivazioni per il resto: discutiamo i problemi che si verificano nella produzione del software e nei modelli di ciclo di vita. - modelli di ciclo di vita del sw, modelli tradizionali e agili (scrum, XP) - Analisi dei requisiti - Introduzione a UML come linguagglio per la modellazione e documentazione di un progetto sw - Diagrammi UML più utilizzati: Casi d'uso, classi e oggetti, attività,…

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. Laura Semini per Foundations Of Computer Science?

Rosen – Discrete Mathematics and Its Applications

Quali libri consiglia il prof. Laura Semini per Ingegneria del Software?

Kung – Software Engineering; UML@Classroom, Martina Seidl, Marion Scholz, Christian Huemer, Gerti