عنوان

Berechenbarkeit Rekursive und Programmierbare Funktionen

شابک

3642780199

شابک

9783642780196

شماره

b573756

عنوان اصلي

Berechenbarkeit Rekursive und Programmierbare Funktionen

نام عام مواد

[Book]

محل نشرو پخش و غیره

Berlin

نام ناشر، پخش کننده و غيره

Heidelberg Springer Berlin Heidelberg

تاریخ نشرو بخش و غیره

1993

عنوان فروست

Springer-Lehrbuch

متن يادداشت

Lizenzpflichtig

متن يادداشت

Dieses Lehrbuch behandelt verständlich, umfassend und modern die Theorie der Berechenbarkeit, ein klassisches Gebiet der Mathematischen Logik, das als Grundlagengebiet auch für die Informatik von höchster 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 für den Umgang mit Zahlen und Funktionen. Obwohl über 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.

موضوع مستند نشده

Berechnungstheorie

موضوع مستند نشده

Computer science

موضوع مستند نشده

Computer science.

شماره رده

نشانه اثر

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y