Bitte beachten Sie, dass Sie eBooks nur über unseren Kooperationspartner Ciando beziehen können, so dass wir Sie, nachdem Sie auf unten stehenden Ciando-Link geklickt haben, auf dessen Seite weiterleiten.
eBooks können nicht im Rahmen unseres Dozentenservice als kostenfreie Prüfexemplare bezogen werden.
Dateigrösse: KB
eBooks können nicht im Rahmen unseres Dozentenservice als kostenfreie Prüfexemplare bezogen werden.
Dateigrösse: KB
Einführung in die Mathematische Logik
Ein Lehrbuch
3., überarb. Aufl. 2008. XXI, 249 S. Br.ISBN: 978-3-8348-0578-2
Lehrbuch
Logik für Mathematiker und Informatiker
29,90 €
Lieferbar, versandfertig in 3 Tagen
- Das Buch
-
Dieses umfassende Lehrbuch wurde geschrieben für Studenten und Dozenten der Mathematik und Informatik, und wegen der ausführlichen Darstellung der Gödelschen Unvollständigkeitssätze auch für Fachstudenten der Philosophischen Logik.
Der Text der 3. Auflage wurde sachlich und stilistisch vollständig überarbeitet, Index und Literaturverzeichnis wurden revidiert. Darüber hinaus wurde eine historisch orientierte Einleitung hinzugefügt. - Aus dem Inhalt
- Aussagenlogik - Prädikatenlogik - Syntax und Semantik - Der Gödelsche Vollständigkeitssatz - Nichtstandardmodelle - Logikprogammierung - Resolution und Unifikation - Elemente der Modelltheorie - Ehrenfeucht-Spiele und Ultraprodukte - Entscheidbarkeit, Unentscheidbarkeit und Unvollständigkeit - Lösungshinweise zu den Übungen
- Zielgruppe
-
- Studierende der Mathematik und der Informatik ab dem 2. Semester
- Fachstudenten der Mathematischen und der Philosophischen Logik
- Dozenten der genannten Fachgebiete - Autor | Herausgeber
- Professor Dr. Wolfgang Rautenberg ist Professor für Mathematik an der Freien Universität Berlin.
- Internetressourcen / E-Mails
-
E-Mailadresse des Autors
» raut@math.fu-berlin.de
VIELLEICHT INTERESSIEREN SIE AUCH DIESE TITEL?
Autor:
Aigner, Martin Diskrete Mathematik
Didaktisch erstklassiges Lehrbuch mit vielen Übungen, die den Lernerfolg sichern
26,95 €
In den Warenkorb
STICHWORTE, DIE AUF WEITERE PRODUKTE VERWEISEN
Ihr Warenkorb ist leer.
Lieferung
- Bücher liefern wir versandkostenfrei.
- Lieferbare Ware ist binnen 1-2 Arbeitstagen versandfertig.
- Die Lieferung erfolgt über Post/DHL.
- Nicht lieferbare Ware wird für Sie vorgemerkt.
- Bezahlen Sie bequem per Rechnung.
2 Wochen Widerrufsrecht
Bestellen ohne Risiko:Sollte Ihnen eine Lieferung einmal nicht gefallen, senden Sie sie uns binnen 14 Tagen nach Erhalt zurück.
Datenschutz
- Ihre Bestellung erreicht uns über eine gesicherte SSL-Verbindung.
- Wir erheben, verarbeiten und nutzen Ihre Daten zur Durchführung unseres Dienstes und der Pflege der laufenden Kundenbeziehung.
- Andere Unternehmen (z.B. Post/DHL) erhalten Ihre Daten nur zur Ausführung unseres Dienstes.
Kundenservice
Sie haben Fragen? Rufen Sie uns an:Telefon +49 (0) 611.7878-628
ALLE ZEITSCHRIFTEN
- Zeitschrift für Energiewirtschaft (ZfE)
- Wasser und Abfall (WA)
- adhäsion KLEBEN & DICHTEN
- ATZautotechnology
- ATZoffhighway
- ATZelektronik
- Lightweight Design
- MTZ - Motortechnische Zeitschrift
- Jahresbericht DMV
- ATZ - Automobiltechnische Zeitschrift
- WASSERWIRTSCHAFT (WaWi)
- Automotive Agenda
- JOT Journal für Oberflächentechnik
Springer DE
THEMENÜBERSICHT
INFORMATIONEN
