Bewertung:
Das Buch „First Order Logic“ von Raymond Smullyan erhält gemischte Kritiken. Viele loben seine Tiefe und seinen einzigartigen Ansatz für die Logik, während einige seine Kürze und Komplexität für Anfänger kritisieren. Es wird als ein hervorragendes Nachschlagewerk für diejenigen angesehen, die bereits mit der formalen Logik vertraut sind, aber nicht für echte Anfänger geeignet.
Vorteile:⬤ Bietet eine ausführliche Behandlung wichtiger Themen der Logik erster Ordnung
⬤ stellt Tableaux-Methoden effektiv dar
⬤ wird für seine Originalität und seinen prägnanten Stil geschätzt
⬤ dient als hervorragendes Nachschlagewerk für erfahrene Leser
⬤ gibt Einblick in fortgeschrittene logische Theorien.
⬤ Nicht geeignet für Anfänger oder diejenigen, die mit formaler Logik nicht vertraut sind
⬤ zu prägnant und setzt Vorkenntnisse voraus, so dass einige Konzepte unzureichend erklärt werden
⬤ einige Leser empfanden es als dicht und schwierig zu verstehen
⬤ kann als zu sehr auf die Boolesche Logik konzentriert empfunden werden.
(basierend auf 23 Leserbewertungen)
First-Order Logic
Diese vollständig in sich geschlossene Studie, die weithin als das beste Buch auf diesem Gebiet gilt, soll sowohl als Einführung in die Quantifizierungstheorie als auch als Darstellung neuer Ergebnisse und Techniken in analytischen oder schnittfreien Methoden dienen. Beeindruckt von der Einfachheit und mathematischen Eleganz der Tableau-Sichtweise, konzentriert sich der Autor hier auf diese Sichtweise.
Nach einleitendem Material über Tress (das für die Tableau-Methode notwendig ist) befasst sich Teil I mit der Aussagenlogik aus der Sicht der analytischen Tableaus und behandelt Themen wie Formeln oder Aussagenlogik, boolesche Bewertungen und Wahrheitsmengen, die Methode der Tableaus und Kompaktheit.
Teil II behandelt die Logik erster Ordnung und bietet eine detaillierte Behandlung von Themen wie analytische Tableaus erster Ordnung, analytische Konsistenz, Quantifizierungstheorie, magische Mengen und analytische versus synthetische Konsistenzeigenschaften.
Teil III setzt die Behandlung der Logik erster Ordnung fort. Zu den behandelten Themen gehören Gentzen-Systeme, Eliminations-Theoreme, Prenex-Tableaus, symmetrische Vollständigkeitstheoreme und lineares Schließen von Systemen.
Raymond M. Smullyan ist ein bekannter Logiker und Erfinder von mathematischen und logischen Rätseln. In diesem Buch hat er eine anregende und herausfordernde Darstellung der Logik erster Ordnung geschrieben, die von Logikern, Mathematikern und allen, die sich für dieses Gebiet interessieren, begrüßt werden wird.
| ISBN: | 9780486683706 |
| Autor: | |
| Verlag: | |
| Einband: | Taschenbuch |
| Erscheinungsjahr: | 1995 |
| Seitenzahl: | 176 |
Derzeit verfügbar, auf Lager.
