Sprache, Beweis und Logik. Band II - Anwendungen und Metatheorie

door John Barwise
Staat: Nieuw
€ 42,25
Incl. BTW - Gratis verzenden
John Barwise Sprache, Beweis und Logik. Band II - Anwendungen und Metatheorie
John Barwise - Sprache, Beweis und Logik. Band II - Anwendungen und Metatheorie

Vind je dit product leuk? Verspreid het nieuws!

€ 42,25 incl. btw
Alleen 1 items beschikbaar Alleen 1 items beschikbaar
Levering: tussen vrijdag 27 mei 2022 en dinsdag 31 mei 2022
Verkoop en verzending: Dodax

Omschrijving

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 eignet 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 Themenbereichen 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.

Bijdragers

Schrijver:
John Barwise
John Etchemendy

Productdetails

Taal:
Duits
Vertaler:
Bromand, Joachim
Müller, Thomas
Sommaruga, Giovanni
Versie:
2006
Aantal pagina’s:
239
Mediatype:
Paperback
Uitgever:
Brill | mentis

Basisgegevens

Product Type:
Zakboek
Afmetingen pakket:
0.238 x 0.17 x 0.018 m; 0.399 kg
GTIN:
09783897854413
DUIN:
DPERGTBOLLT
€ 42,25
We gebruiken cookies op onze website om onze diensten efficiënter en gebruiksvriendelijker te maken. Selecteer daarom "Accepteer cookies"! Lees ons Privacybeleid voor meer informatie.