Esercizio sulla skolemizzazione
Definzione di elementi regolari di un insieme
Foglio Excel risultati esercizii tabelle di verita' (es 1.) del tre temi d'esame
Lezioni di Valentina Ciriani (unimi), utili dalla 4 alla 11
L'ho trovato molto utile e ben fatto. Tutto il materiale e' omogeneo, coerente e ricco di esempi, e contiene quasi tutti i concetti spiegati a lezione, in forma piu' discorsiva e capibile :) Basta solo seguire i wiki-link...