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)
Information
- Anno accademico
- 2020-2021
- Enseignant: FORNASIERO ANTONGIULIO
Accès au cours
Pour consulter le matériel de cours, participer aux activités ou vérifier l'état de votre inscription, veuillez visiter la page.