Berechenbarkeit (German, Paperback)

Dieses Lehrbuch behandelt verstandlich, umfassend und modern die Theorie der Berechenbarkeit, ein klassisches Gebiet der Mathematischen Logik, das als Grundlagengebiet auch fur die Informatik von hochster Bedeutung ist. Lebendig und didaktisch klar wird das Studium der berechenbaren Funktionen auf dem Programmbegriff aufgebaut. Dabei sind die Induktion als Beweisprinzip und die Rekursion als Konstruktionsprinzip die beiden grundlegenden Werkzeuge fur den Umgang mit Zahlen und Funktionen. Obwohl uber eine gewisse Vertrautheit mit der mathematischen Argumentationsweise hinaus keine inhaltlichen Kenntnisse aus der Mathematik oder der Informatik vorausgesetzt werden, findet auch der Kenner eine durch viele neuartige Details angereicherte und an neuesten Ergebnissen orientierte Darstellung.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Springer-Lehrbuch
Release date:	August 1993
First published:	1993
Authors:	Walter Felscher
Dimensions:	235 x 155 x 25mm (L x W x T)
Format:	Paperback
Pages:	489
ISBN-13:	978-3-540-56354-9
Languages:	German
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Social & legal aspects of computing > Human-computer interaction Books > Science & Mathematics > Mathematics > Mathematical foundations > General Promotions
LSN:	3-540-56354-7
Barcode:	9783540563549

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!