Sprache, Beweis und Logik ; 2. Anwendungen und Metatheorie

Zitieren

Dateien zu dieser Ressource

Dateien Größe Format Anzeige

Zu diesem Dokument gibt es keine Dateien.

BARWISE, Jon, John ETCHEMENDY, BROMAND, Joachim, ed., Thomas MÜLLER, ed., Giovanni SOMMARUGA, ed., 2006. Sprache, Beweis und Logik ; 2. Anwendungen und Metatheorie. Paderborn : mentis. ISBN 3-89785-441-4

@book{Barwise2006Sprac-27154, isbn={3-89785-441-4}, publisher={Paderborn : mentis}, title={Sprache, Beweis und Logik ; 2. Anwendungen und Metatheorie}, year={2006}, editor={Bromand, Joachim and Müller, Thomas and Sommaruga, Giovanni}, author={Barwise, Jon and Etchemendy, John}, note={Übersetzt und für das Deutsche bearbeitet von Joachim Bromand, Thomas Müller und Giovanni Sommaruga} }

2014-05-28T13:00:00Z deu Etchemendy, John deposit-license Der vorliegende zweite Band von Sprache, Beweis und Logik knüpft nahtlos an Band I an, der die klassische Aussagen- und Prädikatenlogik vorstellt. Band II geht dabei weit über die üblichen Einführungen in die Logik hinaus und eignet sich als Textgrundlage für einen Fortsetzungskurs. Zu den behandelten Themen zählen:<br /><br /><br /><br />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.<br /><br /><br /><br />Wie schon zu Band I gibt es eine begleitende umfangreiche Software-Unterstützung, die sehr zur Veranschaulichung des Stoffes beiträgt. Studierende können so selbstständig mit den Beweistechniken experimentieren und erhalten unmittelbares Feedback für viele Übungen. Müller, Thomas Language, proof and logic 2014-05-28T13:00:00Z 2006 Bromand, Joachim Etchemendy, John 3-89785-441-4 Barwise, Jon Paderborn : mentis Sprache, Beweis und Logik ; 2. Anwendungen und Metatheorie Barwise, Jon Sommaruga, Giovanni

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto