Dekorationsartikel gehören nicht zum Leistungsumfang.
Sprache:
Deutsch
37,99 €*
Versandkostenfrei per Post / DHL
auf Lager, Lieferzeit 1-2 Werktage
Kategorien:
Beschreibung
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.
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.
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.
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.
Inhaltsverzeichnis
Aussagenlogik.- Prädikatenlogik.- Der Gödelsche Vollständigkeitssatz.- Grundlagen der Logikprogrammierung.- Elemente der Modelltheorie.- Unvollständigkeit und Unentscheidbarkeit.- Zur Theorie der Selbstreferenz.
Details
Erscheinungsjahr: | 2008 |
---|---|
Fachbereich: | Grundlagen |
Genre: | Mathematik |
Rubrik: | Naturwissenschaften & Technik |
Medium: | Taschenbuch |
Seiten: | 257 |
Inhalt: |
XXI
257 S. |
ISBN-13: | 9783834805782 |
ISBN-10: | 3834805785 |
Sprache: | Deutsch |
Herstellernummer: | 978-3-8348-0578-2 |
Autor: | Rautenberg, Wolfgang |
Auflage: | 3., überarb. Aufl. |
Hersteller: |
Vieweg+Teubner
Vieweg+Teubner Verlag |
Abbildungen: | XXI, 257 S. |
Maße: | 244 x 171 x 20 mm |
Von/Mit: | Wolfgang Rautenberg |
Erscheinungsdatum: | 15.07.2008 |
Gewicht: | 0,604 kg |
Inhaltsverzeichnis
Aussagenlogik.- Prädikatenlogik.- Der Gödelsche Vollständigkeitssatz.- Grundlagen der Logikprogrammierung.- Elemente der Modelltheorie.- Unvollständigkeit und Unentscheidbarkeit.- Zur Theorie der Selbstreferenz.
Details
Erscheinungsjahr: | 2008 |
---|---|
Fachbereich: | Grundlagen |
Genre: | Mathematik |
Rubrik: | Naturwissenschaften & Technik |
Medium: | Taschenbuch |
Seiten: | 257 |
Inhalt: |
XXI
257 S. |
ISBN-13: | 9783834805782 |
ISBN-10: | 3834805785 |
Sprache: | Deutsch |
Herstellernummer: | 978-3-8348-0578-2 |
Autor: | Rautenberg, Wolfgang |
Auflage: | 3., überarb. Aufl. |
Hersteller: |
Vieweg+Teubner
Vieweg+Teubner Verlag |
Abbildungen: | XXI, 257 S. |
Maße: | 244 x 171 x 20 mm |
Von/Mit: | Wolfgang Rautenberg |
Erscheinungsdatum: | 15.07.2008 |
Gewicht: | 0,604 kg |
Warnhinweis