Erweiterte
Suche ›

Sprache, Beweis und Logik. Band II

Anwendungen und Metatheorie

mentis,
Buch
29,80 € Preisreferenz Lieferbar in 5-7 Tagen

Kurzbeschreibung

Band II: Anwendungen und Metatheorie
Dieser Band knüpft sowohl inhaltlich als auch methodisch nahtlos an den ersten Band von Sprache, Beweis und Logik an. Dabei führt Band II weit über die üblichen Einführungen hinaus und eig-net sich als Textgrundlage für einen Fortsetzungskurs zur üblichen Logikeinführung. Zusammen ergeben beide Bände somit eine homogene Einführung in die Logik, für die bislang Texte verschiedener Autoren erforderlich waren. Zu den behandelten The-men-bereichen zählen:
Theorie der generalisierten Quantoren, numerische Aussagen, Russells Kennzeichnungstheorie vs. Präsuppositionen, naive Mengentheorie und ZFC, mathematische Induktion, induktive Korrektheitsbeweise von Programmen, Hornformeln, Resolutionsverfahren, Skolemisierung, Unifikation, Beweise von Korrektheit, Vollständigkeit und Kompaktheit für Aussagen- und Prädikatenlogik, das Theorem von Löwenheim und Skolem, Skolems ‚Paradox‘, Nichtstandardmodelle der Arithmetik, Gödels Unvollständigkeitstheorem.

Die im Buch erwähnte Software ist vergriffen und nicht mehr erhältlich.

Details
Schlagworte

Titel: Sprache, Beweis und Logik. Band II
Autoren/Herausgeber: John Barwise, John Etchemendy
Übersetzer: Joachim Bromand, Thomas Müller, Giovanni Sommaruga
Weitere Mitwirkende: Joachim Bromand, Thomas Müller, Giovanni Sommaruga
Ausgabe: 1., Aufl.

ISBN/EAN: 9783897854413

Seitenzahl: 239
Format: 23 x 15 cm
Produktform: Buch
Sprache: Deutsch

buchhandel.de - Newsletter
Möchten Sie sich für den Newsletter anmelden?


Bitte geben Sie eine gültige E-Mail-Adresse ein.
Lieber nicht