Première logique de commande pour un débutant complet (recommandations de livre)?

Question

Je me suis inscrit à un cours que je n'aurais pas dû avoir. Alors maintenant je suis un peu foutu parce que je ne comprends pas la notation utilisée quand mon professeur expliquait la logique du premier ordre. J'ai besoin de quelques suggestions de livres sur la façon de réapprendre toutes ces choses. Par exemple: J'étais confus quant à ce qu'est un "quantificateur" (je le sais après Googling). De bons livres avec beaucoup d'exemples? Merci

Answer 1

Jon Barwise & John Etchemendy, Le langage de premier ordre logique (CLSI Press, 1992) est grande. Une édition révisée et augmentée a été libérée en 2002, intitulée Language, Proof and Logic.

Answer 2

Les logiciens de UCLA ont un livre logique gratuit couvrant la logique du premier ordre here.

L'une des bonnes choses à propos du livre est qu'il est écrit pour être utilisé en conjonction avec un free software program pour aider à apprendre la logique.

J'ai enseigné trois cours de logique universitaire et constaté que la majorité des étudiants font beaucoup mieux en complétant des épreuves et des dérivations en plus de lire à leur sujet. Cela dit, si vous approchez la logique d'apprentissage de la même manière que l'apprentissage des mathématiques ou de la programmation, vous augmenterez vos chances de réussite.