Libri UniversitariApri il catalogo

Prof. Filippo Bonchi

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

Libri adottati dal prof. Filippo Bonchi

Materie del prof. Filippo Bonchi

Fondamenti dell'Informatica Canale b

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

Pisa · Dipartimento di Informatica · 9 CFU · apri nel catalogo

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

Bacheca del docente: cosa indica di studiare
  • Dispensa del corso: Versione Settembre 2023

Argomenti del programma: Teoria degli Insiemi: Notazione estensionale e intensionale; insiemi notevoli; inclusione e uguaglianza; operazioni su insiemi; diagrammi di Eulero-Venn; leggi sugli insiemi e dimostrazioni per sostituzione; insiemi di insiemi; prodotto Cartesiano. Relazioni: Relazioni come sottoinsiemi; operazioni su relazioni; relazione opposta, relazione identità; composizione di relazioni e leggi; proprietà di relazioni (totale,…

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

Foundation Of Computing Canale unico

Corso di laurea: Informatica – sede di Pisa · Laurea magistrale (LM-18) · esame facoltativo · Foundations of Software · 6 CFU / 1º anno · 1º semestre · Foundations of Software · 6 CFU

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

Jacobs – Introduction to CoalgebraCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare
  • Ulteriore materiale didattico verrà fornito dal professore sulla pagina del corso.

Argomenti del programma: Il corso introduce i seguenti concetti categoriali - Categorie, Funtori e Trasformazioni Naturali - Limiti e Colimiti - Coalgebre come sistemi a scatola nera - Algebre come strutture - Monadi, Non Determinismo e Probabilità - Leggi Distributive - Categorie monoidali e string diagram L'introduzione di tali concetti viene motivata con svariati argomenti che gli studenti possono scegliere: - sistemi dinamici lineari:…

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. Filippo Bonchi per Foundation Of Computing?

Jacobs – Introduction to Coalgebra