Erste Auftragslogik für einen vollständigen Neuling (Buchempfehlungen)?

Question

Ich habe mich für eine Klasse angemeldet, die ich nicht haben sollte. Jetzt bin ich etwas verarscht, weil ich keine der Notationen verstehe, als mein Professor die Logik erster Ordnung erklärte. Ich brauche einige Buchvorschläge, wie man all diese Dinge neu lerne. Zum Beispiel: Ich war verwirrt darüber, was ein "Quantifizierer" ist (ich weiß, nachdem ich es gegoogelt habe). Irgendwelche guten Bücher mit vielen Beispielen? Vielen Dank

Answer 1

Jon Barwise & John Etchemendy, Die Sprache der Logik erster Ordnung (CSLI Press, 1992) ist großartig. Eine überarbeitete und erweiterte Ausgabe wurde im Jahr 2002 mit dem Titel veröffentlicht Sprache, Beweis und Logik.

Answer 2

Die Logiker der UCLA haben ein kostenloses Logikbuch, das Logik erster Ordnung abdeckt hier.

Eines der netten Dinge an dem Buch ist, dass es geschrieben wurde, um in Verbindung mit a verwendet zu werden Kostenloses Softwareprogramm Um Logik zu lernen.

Ich habe drei Universitätslogikkurse unterrichtet und festgestellt, dass die Mehrheit der Studenten neben dem Lesen über sie auch Beweise und Ableitungen abgeschlossen hat. Wenn Sie sich jedoch so nähern, dass die Logik der Lernen auf die gleiche Weise wie das Erlernen von Mathematik oder Programmierung lernt, erhöhen Sie Ihre Erfolgschancen.