(02/03/2021h.9/11--03/03/2021h.11/13) Aspetti organizzativi del corso e delimitazione della materia
Section outline
-
-
Questa dispensa termina con una breve esposizione sul calcolo delle relazioni diadiche, del quale vengono esposti: sintassi e semantica dei predicati, e da ultimo l'apparato deduttivo.
-
Qui, rispetto alla presentazione che precede, ci sono in piú: la definizione di logica booleana, un apparato deduttivo per il calcolo proposizionale, un apparato deduttivo per il calcolo delle relazioni diadiche.
-