Academic year 2023-2024

Proofs and Programs

Page of the course

Academic year 2021-2022

Ottimizzazione

Tutti gli esercizi svolti in classe sono contenuti, con le soluzioni, nell’eserciziario o nei transcript sulla piattaforma Virtuale.

Logica per l’Informatica

Tutte le informazioni relative ai laboratori sono presenti su Virtuale.

Academic year 2020-2021

Ottimizzazione

Tutti gli esercizi svolti in classe sono contenuti, con le soluzioni, nell’eserciziario o nei transcript sulla piattaforma Virtuale. [ link ]

Logica per l’Informatica

Tutte le informazioni relative ai laboratori sono presenti su Virtuale. [ link ]

Algorithms and Data Structures in Biology

All the information related to the course is can be found in Virtuale. [ link ]

Academic year 2019-2020

Ottimizzazione

Tutti gli esercizi svolti in classe sono contenuti, con le soluzioni, nell’eserciziario fornito sulla piattaforma IOL. [ link ]

Logica per l’Informatica

Tutte le informazioni relative ai laboratori sono presenti sul sito del prof. Sacerdoti Coen. [ link ]