LOGICA MATEMATICA

Questo corso da 6 CFU è rivolto agli studenti del secondo anno del corso di laurea triennale in Informatica. La descrizione del corso è qui. Le lezioni dell'anno accademico 2023-24 si tengono nel primo semestre, dal 02.10.2023 al 19.01.2024. L’orario è qui.

Gli studenti possono trovare le regole per l’esame, le dispense e i testi di diversi scritti passati sul sito elearning d'ateneo, che verrà anche utilizzato per fornire informazioni quali cambio di aule, cancellazione o spostamento di lezioni. Si raccomanda quindi l’iscrizione all’elearning del corso, che è indicato come “[L 725] INFORMATICA LOGICA MATEMATICA 2023-24” (attenzione a non scegliere il corso con lo stesso titolo e docente per la laurea in Matematica) .