Einführung in die Mathematische Logik (PDF)
Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung
Dieses Lehrbuch enthält über den Stoff einer einsemestrigen Einführungsvorlesung hinaus auch Material für eine Vorlesung über Logik für Informatiker (speziell logisches Programmieren), sowie in begrenztem Maße auch Basismaterial für eine Fortsetzung der...
sofort als Download lieferbar
eBook (pdf)
36.99 €
18 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Einführung in die Mathematische Logik (PDF)“
Dieses Lehrbuch enthält über den Stoff einer einsemestrigen Einführungsvorlesung hinaus auch Material für eine Vorlesung über Logik für Informatiker (speziell logisches Programmieren), sowie in begrenztem Maße auch Basismaterial für eine Fortsetzung der Einführung in die Spezialrichtungen Modelltheorie, Rekursionstheorie und Beweistheorie. Für eine gekürzte Einführung in die Mathematische Logik kombiniert mit einer Einführung in die Mengenlehre empfiehlt sich für den logischen Teil der Stoff der ersten drei Kapitel.Unabhängig von Vorlesungskonzepten ist das Buch auch zum Selbststudium geeignet. Für einen Großteil der Übungen gibt es Lösungshinweise. Außer einer gewissen Schulung im mathematischen Schließen sind spezielle Vorkenntnisse nicht erforderlich; lediglich für Teile der Modelltheorie wären algebraische Grundkenntnisse wünschenswert. Die Verzeichnisse (Stichwörter, Symbole, Literatur) sind ausführlich und kommen der selbständigen Erarbeitung des Stoffes sehr entgegen.Das Buch ist inhaltsreich und flüssig geschrieben. Aus der Literatur bekannte Beweise wurden oft erheblich vereinfacht. Auch werden viele interessante Details präsentiert, die in der Lehrbuchliteratur nur schwer zu finden sind. Beispiele: Fragmente der 1. Stufe (etwa der Birkhoffsche Vollständigkeitssatz) und die Solovayschen Vollständigkeitssätze über Selbstreferenz. Die Gödelschen Unvollständigkeitssätze und ihr Umfeld werden besonders ausführlich behandelt. Nur gelegentlich werden weiterführende Betrachtungen angestellt, die mit Verweisen auf entsprechende Literaturstellen abschließen.
Autoren-Porträt von Wolfgang Rautenberg
Professor Wolfgang Rautenberg lehrt Mathematik an der Freien Universität Berlin.
Bibliographische Angaben
- Autor: Wolfgang Rautenberg
- 2013, 1995, 250 Seiten, Deutsch
- Verlag: Vieweg+Teubner Verlag
- ISBN-10: 3322929132
- ISBN-13: 9783322929136
- Erscheinungsdatum: 09.03.2013
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 25 MB
- Ohne Kopierschutz
- Vorlesefunktion
Kommentar zu "Einführung in die Mathematische Logik"
0 Gebrauchte Artikel zu „Einführung in die Mathematische Logik“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Einführung in die Mathematische Logik".
Kommentar verfassen