Logica del primo ordine per un principiante completo (consigli sui libri)?

Question

Mi sono iscritto a una lezione che non avrei dovuto. Così ora sono un po 'fregato perché non capisco nessuna delle notazioni usate quando il mio professore stava spiegando la logica del primo ordine. Ho bisogno di alcuni suggerimenti di libri su come riapprendere tutte queste cose. Per esempio: ero confuso su cosa sia un "quantificatore" (lo so dopo averlo usato su Google). Qualche buon libro con molti esempi? Grazie

Answer 1

Jon Barwise & John Etchemendy, Il linguaggio di primo ordine Logic (CSLI Press, 1992) è grande. Nel 2002 è stata pubblicata una versione riveduta e ampliata, intitolata Lingua, Prova e logica.

Answer 2

I logici dell'UCLA dispongono di un libro di logica gratuito che copre la logica del primo ordine here.

Una delle cose belle del libro è che è stato scritto per essere utilizzato in combinazione con uno free software program per aiutare a imparare la logica.

Ho insegnato tre corsi di logica universitaria e ho trovato che la maggior parte degli studenti fa molto meglio completando prove e derivazioni oltre a leggere su di loro. Detto questo, se ti avvicini alla logica dell'apprendimento allo stesso modo dell'apprendimento della matematica o della programmazione aumenterai le tue possibilità di successo.