Mututato da: B027820 - LOGICA MATEMATICA
Introduzione alla logica matematica.
Vedremo: logica Booleana e logica del primo ordine (tempo permettendo, il primo teorema di incompletezza di Goedel)
Anno accademico: 2020-2021
- Teacher: FORNASIERO ANTONGIULIO