Premier Ordre logique pour un débutant complet (Recommandations de livre)?

Question

Je me suis inscrit pour une classe que je ne devrais pas avoir. Alors maintenant, je suis un peu foiré parce que je ne comprends pas de la notation utilisée quand mon professeur expliquait la logique de premier ordre. Je besoin de quelques suggestions de livres sur la façon de réapprendre toutes ces choses. Par exemple: J'étais confus quant à ce qu'un « quantificateurs » est (je ne sais après googler). Tous les bons livres avec beaucoup d'exemples? Merci

Answer 1

Jon Barwise et John Etchemendy, La langue de premier ordre logique (CLSI Press, 1992) est grande. Une édition revue et augmentée a été publié en 2002, intitulé Langue, preuve et Logic .

Answer 2

Les logiciens à l'UCLA ont un livre logique libre couvrant la logique du premier ordre .

L'une des belles choses au sujet du livre est qu'il est écrit pour être utilisé en conjonction avec un logiciel libre pour aider à apprendre la logique.

J'ai enseigné trois cours de logique universitaire et trouve la majorité des étudiants font beaucoup mieux en remplissant les preuves et les dérivations en plus de lire à leur sujet. Cela dit, si vous abordez la logique d'apprentissage de la même façon que l'apprentissage des mathématiques ou la programmation, vous allez augmenter vos chances de succès.