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…
This year I teach a course (12 hours) a the AILA summer school of logic. Below one can find the slides of my first three lectures and some references. Lecture 1 (Classical propositional logic and Boolean algebras) Lecture 2 (Algebraic completeness of…
The Department of Mathematics at the University of Salerno invites applications for a three-year postdoctoral position in Mathematical Logic. The position is co-funded by the Horizon 2020 project “SYSMICS” and involves a commitment of 20% of time for project assistance…
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…