Einführung in die Mathematische Logik: Ein Lehrbuch

Autor Wolfgang Rautenberg

de Limba Germană Paperback – 15 iul 2008

Preț: 278^.84 lei

Nou

Puncte Express: 418

:
53^.38€ • 55^.57$ • 43^.95£

Carte tipărită la comandă

Livrare economică 31 ianuarie-14 februarie 25

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783834805782
ISBN-10: 3834805785
Pagini: 257
Ilustrații: XXI, 257 S.
Dimensiuni: 170 x 244 x 15 mm
Greutate: 0.45 kg
Ediția:3., überarb. Aufl. 2008
Editura: Vieweg+Teubner Verlag
Colecția Vieweg+Teubner Verlag
Locul publicării:Wiesbaden, Germany

Public țintă

Upper undergraduate

Cuprins

Aussagenlogik.- Prädikatenlogik.- Der Gödelsche Vollständigkeitssatz.- Grundlagen der Logikprogrammierung.- Elemente der Modelltheorie.- Unvollständigkeit und Unentscheidbarkeit.- Zur Theorie der Selbstreferenz.

Notă biografică

Professor Dr. Wolfgang Rautenberg ist Professor für Mathematik an der Freien Universität Berlin.

Textul de pe ultima copertă

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.

Caracteristici

Logik für Mathematiker und Informatiker

Papetărie, jocuri, reviste