Sprache, Beweis und Logik. Band 2 – John Barwise, John Etchemendy, Joachi... | buch7 – Der soziale Buchhandel
Bitte warten ...
icon suche icon merkliste icon warenkorb
Blick ins Buch

Sprache, Beweis und Logik. Band 2

Anwendungen und Metatheorie

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.

Taschenbuch 03/2006
kostenloser Standardversand in DE 3 Stück auf Lager
Lieferung bis Di, 26.Jan. (ca. ¾), oder Mi , 27.Jan. (ca. ¼): bestellen Sie in den nächsten 1 Tagen, 23 Stunden, 19 Minuten mit Paketversand.

Die angegebenen Lieferzeiten beziehen sich auf den Paketversand und sofortige Zahlung (z.B. Zahlung per Lastschrift, PayPal oder Sofortüberweisung).
Der kostenlose Standardversand (2-5 Werktage) benötigt in der Regel länger als der kostenpflichtige Paketversand (1-2 Werktage). Sonderfälle, die zu längeren Lieferzeiten führen können (Bsp: Bemerkung für Kundenservice, Zahlung per Vorkasse oder Sendung ins Ausland) haben wir hier für Sie detailliert beschrieben.

Spenden icon Dank Ihres Kaufes spendet buch7 ca. 1,22 € bis 2,27 €.

Die hier angegebene Schätzung beruht auf dem durchschnittlichen Fördervolumen der letzten Monate und Jahre. Über die Vergabe und den Umfang der finanziellen Unterstützung entscheidet das Gremium von buch7.de.

Die genaue Höhe hängt von der aktuellen Geschäftsentwicklung ab. Natürlich wollen wir so viele Projekte wie möglich unterstützen.

Den tatsächlichen Umfang der Förderungen sowie die Empfänger sehen Sie auf unserer Startseite rechts oben, mehr Details finden Sie hier.

Weitere Informationen zu unserer Kostenstruktur finden Sie hier.

Produktdetails

EAN / 13-stellige ISBN 978-3897854413
10-stellige ISBN 3897854414
Verlag Mentis Verlag GmbH
Sprache Deutsch
Editionsform Hardcover / Softcover / Karten
Einbandart Taschenbuch
Erscheinungsdatum 1. März 2006
Seitenzahl 239
Format (L×B×H) 24,0cm × 17,0cm × 1,7cm
Gewicht 486g
Warengruppe des Lieferanten Geisteswissenschaften - Philosophie
Mehrwertsteuer 7% (im angegebenen Preis enthalten)
Bestseller aus dieser Kategorie

Geisteswissenschaften - Philosophie

Kunden, die diesen Artikel gekauft haben, kauften auch:

Noch nicht das passende gefunden?
Verschenken Sie einfach einen Gutschein.

Auch hier werden natürlich 75% des Gewinns gespendet.

Gutschein kaufen

Was unsere Kunden sagen:

Impressum Datenschutz Hilfe / FAQ