Cookie-Einstellungen
Diese Website benutzt Cookies, die für den technischen Betrieb der Website erforderlich sind und stets gesetzt werden. Andere Cookies, die den Komfort bei Benutzung dieser Website erhöhen, der Direktwerbung dienen oder die Interaktion mit anderen Websites und sozialen Netzwerken vereinfachen sollen, werden nur mit Ihrer Zustimmung gesetzt.
Konfiguration
Technisch erforderlich
Diese Cookies sind für die Grundfunktionen des Shops notwendig.
"Alle Cookies ablehnen" Cookie
"Alle Cookies annehmen" Cookie
Ausgewählter Shop
CSRF-Token
Cookie-Einstellungen
Individuelle Preise
Kundenspezifisches Caching
PayPal-Zahlungen
Session
Währungswechsel
Komfortfunktionen
Diese Cookies werden genutzt um das Einkaufserlebnis noch ansprechender zu gestalten, beispielsweise für die Wiedererkennung des Besuchers.
Merkzettel
Statistik & Tracking
Endgeräteerkennung
Google Analytics
Partnerprogramm
Sprache, Beweis und Logik. Band 2
49,90 €
inkl. MwSt. zzgl. Versandkosten
Versandkostenfreie Lieferung!
Sofort versandfertig, Lieferfrist: ca. 1-3 Tage
- Artikel-Nr.: 9783897854413
- EAN: 9783897854413
Band II: Anwendungen und Metatheorie Dieser Band knüpft sowohl inhaltlich als auch methodisch... mehr
Produktinformationen "Sprache, Beweis und Logik. Band 2"
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.
Einband/Bindung: | Taschenbuch |
Sprache: | Deutsch |
Seitenzahl: | 239 |
Erscheinungsjahr: | 2006 |
Autor: | John Barwise |
Weiterführende Links zu "Sprache, Beweis und Logik. Band 2"
Zuletzt angesehen