Logik

34,95 €*

Nach dem Kauf zum Download bereit Ein Downloadlink ist wenige Minuten nach dem Kauf im eigenen Benutzerprofil verfügbar.

ISBN/EAN: 9783110697391

Dieses Buch umfaßt einen Grundkurs und einen Aufbaukurs. Der Grundkurs ist voraussetzungsfrei geschrieben und führt den Leser in die Semantik und Beweistheorie der Aussagenlogik und elementaren Prädikatenlogik ein, eingebettet in die allgemeine Theorie des rationalen Schließens. Auf die philosophische Anwendung der Logik in der logischen Rekonstruktion natursprachlicher Argumente liegt besonderes Augenmerk. Zusammenhänge zwischen alternativen logischen Notationen und Techniken werden sorgfältig erklärt. Der anschließende Aufbaukurs schlägt die Brücke zwischen einer philosophischen Logikeinführung und dem fortgeschrittenen Niveau moderner formaler Logik. Nach einer gründlichen Einführung in die volle Prädikatenlogik und ihrer Semantik wendet sich der Band metalogischen Methoden zu. Prominente Resultate zur Korrektheit und Vollständigkeit der Prädikatenlogik, Unentscheidbarkeit der Prädikatenlogik und Unvollständigkeit der Arithmetik 1. Stufe werden Schritt um Schritt erklärt. Abgerundet wird der Band durch vertiefende Exkurse und zahlreiche Übungen mit Lösungen zum Download. Die 2. revidierte Auflage wurde inhaltlich und didaktisch gründlich überarbeitet.



Gerhard Schurz, Heinrich-Heine-Universität Düsseldorf.
Autor: Gerhard Schurz
EAN: 9783110697391
eBook Format: PDF
Sprache: Deutsch
Produktart: eBook
Veröffentlichungsdatum: 20.07.2020
Untertitel: Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik
Kategorie:
Schlagworte: Aussagenlogik Logik Metalogik Prädikatenlogik Semantics; logic; metalogic; predicate logic Semantik

0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.


shop display image

Möchten Sie lieber vor Ort einkaufen?

Haben Sie weiterführende Fragen zu diesem Buch oder anderen Produkten? Oder möchten Sie einfach doch lieber in der Buchhandlung stöbern? Wir sind gern persönlich für Sie da und beraten Sie auch telefonisch.

Buchhandlung Nettesheim GmbH
Hauptstraße 17
42349 Wuppertal
Telefon: 0202/472870

Mo – Fr09:30 – 18:00 UhrSa09:00 – 13:00 Uhr