Warenkorb
€ 0,00 0 Buch dabei,
portofrei
Bücher immer versandkostenfrei
Sprache, Beweis und Logik. Band 2 als Buch
PORTO-
FREI

Sprache, Beweis und Logik. Band 2

Anwendungen und Metatheorie. 1. , Aufl.
Buch (kartoniert)
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 Textgrundl … weiterlesen
Buch

29,80*

inkl. MwSt.
Portofrei
Sofort lieferbar
Sprache, Beweis und Logik. Band 2 als Buch

Produktdetails

Titel: Sprache, Beweis und Logik. Band 2
Autor/en: John Barwise, John Etchemendy, Joachim Bromand, Thomas Müller, Giovanni Sommaruga

ISBN: 3897854414
EAN: 9783897854413
Anwendungen und Metatheorie.
1. , Aufl.
Übersetzt von Joachim Bromand, Thomas Müller, Giovanni Sommaruga
Mentis Verlag GmbH

1. März 2006 - kartoniert - XI

Beschreibung

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.

Servicehotline
089 - 70 80 99 47

Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 20.00 Uhr
Filialhotline
089 - 30 75 75 75

Mo. - Sa. 9.00 - 20.00 Uhr
Bleiben Sie in Kontakt:
Sicher & bequem bezahlen:
akzeptierte Zahlungsarten: Überweisung, offene Rechnung,
Visa, Master Card, American Express, Paypal
Zustellung durch:
* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier.
** Deutschsprachige eBooks und Bücher dürfen aufgrund der in Deutschland geltenden Buchpreisbindung und/oder Vorgaben von Verlagen nicht rabattiert werden. Soweit von uns deutschsprachige eBooks und Bücher günstiger angezeigt werden, wurde bei diesen kürzlich von den Verlagen der Preis gesenkt oder die Buchpreisbindung wurde für diese Titel inzwischen aufgehoben. Angaben zu Preisnachlässen beziehen sich auf den dargestellten Vergleichspreis.