Sprache, Beweis und Logik ; 2. Anwendungen und Metatheorie

Cite This

Files in this item

Files Size Format View

There are no files associated with this item.

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 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 terms-of-use Paderborn : mentis Sprache, Beweis und Logik ; 2. Anwendungen und Metatheorie Barwise, Jon Sommaruga, Giovanni

This item appears in the following Collection(s)

Search KOPS


Browse

My Account