1ยฐ Anno | Informatica
Versione ๐
Formulario Logica.pdf
Funzioni
Relazione di Equivalenza
Insieme quoziente
CNF-DNF
Albero Sintattico
Deduzione Naturale
Logica
Leggi Logiche
Tavole di veritร (Tautologia, Contraddizione, Conseguenza)
Logica dei predicati del primo ordine
Esercizi Risolti Logica