Tag Mathematical Logic

Corso di Logica Matematica 1 (2017/18)

News Attenzione: su richiesta degli studenti l’Help Teaching è stato spostato a settembre 2018.  Il calendario è disponibile più in basso. Descrizione del corso Prerequisiti È richiesta familiarità con gli argomenti di base di algebra e teoria degli insiemi. Frequenza…

Logica II per Informatica

This year I will teach the course “Logica II” for the M.sc. degree in Computer Science.  I think I will follow Moore’s modified method for the course (see also the wikipedia entry for the original method). There are some freely available…