Thalia.de

Sprache, Beweis und Logik. Band 2

Übers. u. f. d. Deutsche bearb. v. Joachim Bromand, Thomas Müller u. Giovanni Sommaruga

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.
… weiterlesen
In den Warenkorb
Filialabholung

Versandkostenfrei

Bezahlung bei Abholung

Beschreibung

Produktdetails


Einband Kunststoff-Einband
Seitenzahl 239
Erscheinungsdatum März 2006
Sprache Deutsch
ISBN 978-3-89785-441-3
Verlag Mentis Verlag GmbH
Maße (L/B/H) 241/175/19 mm
Gewicht 435
Auflage 1. Auflage
Buch (Kunststoff-Einband)
29,80
inkl. gesetzl. MwSt.
Sofort lieferbar
Versandkostenfrei
In den Warenkorb
Filialabholung

Versandkostenfrei

Bezahlung bei Abholung

Andere Kunden interessierten sich auch für

  • 9060146
    Sprache, Beweis und Logik. Band I
    von John Barwise
    Buch
    26,80
  • 2971317
    Der Mythos des Sisyphos
    von Albert Camus
    (3)
    Buch
    8,99
  • 16334714
    Können Tiere denken?
    von Reinhard Brandt
    Buch
    10,00
  • 3010563
    Dialektik der Aufklärung
    von Max Horkheimer
    (1)
    Buch
    9,95
  • 32863453
    Eine Untersuchung über die Prinzipien der Moral
    von David Hume
    Buch
    7,80
  • 2835398
    Fragmente einer Sprache der Liebe
    von Roland Barthes
    (1)
    Buch
    10,00
  • 3008223
    Überwachen und Strafen
    von Michel Foucault
    Buch
    15,00
  • 3009321
    Das dialogische Prinzip
    von Martin Buber
    (1)
    Buch
    19,95
  • 33841038
    Praktische Ethik
    von Peter Singer
    Buch
    12,80
  • 45257342
    Was für Lebewesen sind wir?
    von Noah Chomsky
    Buch
    26,00
  • 44239834
    Superintelligenz
    von Nick Bostrom
    Buch
    19,95
  • 3961218
    Minima Moralia. Reflexionen aus dem beschädigten Leben
    von Theodor W. Adorno
    Buch
    16,00
  • 2991201
    Das Sein und das Nichts
    von Jean Paul Sartre
    (1)
    Buch
    19,99
  • 2912202
    Die Ordnung der Dinge
    von Michel Foucault
    Buch
    20,00
  • 16473228
    Duft der Zeit
    von Byung-Chul Han
    Buch
    15,80
  • 15453959
    Wahrheit ist die Erfindung eines Lügners
    von Heinz Foerster
    Buch
    21,95
  • 2945252
    Der Existentialismus ist ein Humanismus und andere philosophische Essays 1943 - 1948
    von Jean Paul Sartre
    Buch
    9,99
  • 2966921
    Zur Theorie der Sprechakte
    von John Langshaw Austin
    Buch
    7,80
  • 2844254
    Homo sacer
    von Giorgio Agamben
    Buch
    12,00
  • 2828749
    Vita activa oder Vom tätigen Leben
    von Hannah Arendt
    Buch
    14,00

Kundenbewertungen


Es wurden noch keine Bewertungen geschrieben.

Wird oft zusammen gekauft

Sprache, Beweis und Logik. Band 2

Sprache, Beweis und Logik. Band 2

von John Barwise , John Etchemendy

Buch
29,80
+
=
Das neue Ayurveda Praxis Handbuch

Das neue Ayurveda Praxis Handbuch

von Hans Heinrich Rhyner

(1)
Buch
33,00
+
=

für

62,80

inkl. gesetzl. MwSt.

Alle kaufen