Academic year 2023-2024

Proofs and Programs

Presentation

  • We will use Agda during the course. You should have Agda 2.6.4 installed with the agda-stdlib 1.7.3. Beware, the 2.0 version does not work with the book.
  • Installation instructions are Here.
  • Installing the book: link. You can use the simpler
git clone --depth 1 https://github.com/plfa/plfa.github.io plfa

to avoid cloning the stdlib you have already insalled.

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 ]