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/170/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

  • 10400536
    Phänomenologie und Sprachanalyse
    von Geert Keil
    Buch (Kunststoff-Einband)
    38,00
  • 9060146
    Sprache, Beweis und Logik. Band I
    von John Etchemendy
    Buch (Kunststoff-Einband)
    26,80
  • 3010563
    Dialektik der Aufklärung
    von Theodor W. Adorno
    (1)
    Buch (Taschenbuch)
    9,95
  • 2835398
    Fragmente einer Sprache der Liebe
    von Roland Barthes
    (1)
    Buch (Taschenbuch)
    10,00
  • 2870478
    Identität und Lebenszyklus
    von Erik H. Erikson
    Buch (Taschenbuch)
    14,00
  • 38946699
    Der Dialog
    von David Bohm
    Buch (gebundene Ausgabe)
    22,00
  • 3008223
    Überwachen und Strafen
    von Michel Foucault
    Buch (Taschenbuch)
    15,00
  • 2968430
    Quantentheorie und Philosophie
    von Werner Heisenberg
    Buch (Taschenbuch)
    4,00
  • 13978987
    Sein und Zeit
    von Martin Heidegger
    (1)
    Buch (gebundene Ausgabe)
    29,95
  • 6115869
    Was ist Macht?
    von Byung-Chul Han
    Buch (Taschenbuch)
    5,00
  • 39300071
    Familiäre Pflichten
    Buch (Taschenbuch)
    18,00
  • 3013778
    Der Mensch vor der Frage nach dem Sinn
    von Viktor E. Frankl
    Buch (Taschenbuch)
    10,99
  • 3035844
    Macht und Gewalt
    von Hannah Arendt
    Buch (Taschenbuch)
    9,99
  • 33841038
    Praktische Ethik
    von Peter Singer
    Buch (Taschenbuch)
    12,80
  • 14570968
    Über das Böse
    von Hannah Arendt
    (2)
    Buch (Taschenbuch)
    10,99
  • 45257342
    Was für Lebewesen sind wir?
    von Noam Chomsky
    Buch (gebundene Ausgabe)
    26,00
  • 2909713
    Erziehung zur Mündigkeit
    von Theodor W. Adorno
    Buch (Taschenbuch)
    6,99
  • 2831206
    Wahnsinn und Gesellschaft
    von Michel Foucault
    Buch (Taschenbuch)
    20,00
  • 4249872
    Marx' Gespenster
    von Jacques Derrida
    Buch (Taschenbuch)
    14,00
  • 15453959
    Wahrheit ist die Erfindung eines Lügners
    von Bernhard Pörksen
    Buch (Taschenbuch)
    21,95

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 Etchemendy , John Barwise

Buch (Kunststoff-Einband)
29,80
+
=
Die Katzen von Montmartre

Die Katzen von Montmartre

von Tessa Korber

(4)
Buch (Taschenbuch)
9,99
+
=

für

39,79

inkl. gesetzl. MwSt.

Alle kaufen