|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: Dirk W. HoffmannPublisher: Springer Fachmedien Wiesbaden Imprint: Springer Spektrum Edition: 3. Aufl. 2018 Weight: 8.999kg ISBN: 9783662566169ISBN 10: 3662566168 Pages: 441 Publication Date: 07 May 2018 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand ![]() We will order this item for you from a manufactured on demand supplier. Language: German Table of Contents1 Historische Notizen.- 2 Formale Systeme.- 3 Fundamente der Mathematik.- 4 Beweistheorie.- 5 Berechenbarkeitstheorie.- 6 Algorithmische Informationstheorie.- 7 Modelltheorie.ReviewsAuthor InformationProf. Dr. Dirk W. Hoffmann ist Dozent an der Fakultät für Informatik und Wirtschaftsinformatik der Hochschule Karlsruhe – Technik und Wirtschaft. Von ihm ist im gleichen Verlag das Werk Die Gödel’schen Unvollständigkeitssätze – Eine geführte Reise durch Kurt Gödels historischen Beweis erschienen. Tab Content 6Author Website:Countries AvailableAll regions |