[LOGICA PRIMO ORDINE] Dipense ed esercizi

[daniele087]

Ciao,
mi potreste consigliare delle dispense fatte bene che spieghino in maniera semplice la logica di primo ordine?
Potreste inoltre consigliarmi degli esercizi, magari con la soluzione, per potermi esercitare?

Grazie

[Rggb1]

Tempo fa avevo segnalato, in Dispense Appunti et al:

http://www.dmi.unisa.it/people/gerla/www/didattica.html

e vedo che sono ancora lì.

[professor Zamolf]

buongiorno a tutti,
il link dell'Università di Salerno alle dispense e agli appunti del professor Gerla oggi non funziona
vi segnalo un sito "mirror" delle Dispense ed Appunti di Logica e Matematiche Complementari del professor Gerla
Per scaricarli , andate su Teaching -> Lecture Notes
http://fuzzymirror.altervista.org/teach ... ching.html