49,90 €*
Versandkostenfrei per Post / DHL
auf Lager, Lieferzeit 1-2 Werktage
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 eignet 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 Themenbereichen 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.
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 eignet 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 Themenbereichen 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.
| Erscheinungsjahr: | 2006 |
|---|---|
| Fachbereich: | Allgemeines |
| Genre: | Philosophie |
| Jahrhundert: | Antike |
| Rubrik: | Geisteswissenschaften |
| Thema: | Lexika |
| Medium: | Taschenbuch |
| Seiten: | 239 |
| Inhalt: | 239 S. |
| ISBN-13: | 9783897854413 |
| ISBN-10: | 3897854414 |
| Sprache: | Deutsch |
| Einband: | Kartoniert / Broschiert |
| Autor: |
Barwise, John
Etchemendy, John |
| Übersetzung: |
Bromand, Joachim
Müller, Thomas Sommaruga, Giovanni |
| Hersteller: |
Brill | mentis
Mentis Verlag GmbH |
| Maße: | 240 x 170 x 17 mm |
| Von/Mit: | John Barwise (u. a.) |
| Erscheinungsdatum: | 01.03.2006 |
| Gewicht: | 0,486 kg |
| Erscheinungsjahr: | 2006 |
|---|---|
| Fachbereich: | Allgemeines |
| Genre: | Philosophie |
| Jahrhundert: | Antike |
| Rubrik: | Geisteswissenschaften |
| Thema: | Lexika |
| Medium: | Taschenbuch |
| Seiten: | 239 |
| Inhalt: | 239 S. |
| ISBN-13: | 9783897854413 |
| ISBN-10: | 3897854414 |
| Sprache: | Deutsch |
| Einband: | Kartoniert / Broschiert |
| Autor: |
Barwise, John
Etchemendy, John |
| Übersetzung: |
Bromand, Joachim
Müller, Thomas Sommaruga, Giovanni |
| Hersteller: |
Brill | mentis
Mentis Verlag GmbH |
| Maße: | 240 x 170 x 17 mm |
| Von/Mit: | John Barwise (u. a.) |
| Erscheinungsdatum: | 01.03.2006 |
| Gewicht: | 0,486 kg |
Ähnliche Produkte
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Werktage
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Wochen
Aktuell nicht verfügbar
Lieferzeit 1-2 Werktage
Lieferzeit 1-2 Werktage