Berechenbarkeit und Unlösbarkeit: Eine kurze Einführung für Mathematiker und Informatiker

Autor Klemens Döpp

de Limba Germană Paperback – 15 sep 2000

Preț: 278^.64 lei

Nou

Puncte Express: 418

:
53^.33€ • 55^.47$ • 44^.69£

Carte tipărită la comandă

Livrare economică 13-27 martie

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783528057152
ISBN-10: 3528057157
Pagini: 256
Ilustrații: XII, 243 S.
Dimensiuni: 148 x 210 x 13 mm
Greutate: 0.31 kg
Ediția:2000
Editura: Vieweg+Teubner Verlag
Colecția Vieweg+Teubner Verlag
Locul publicării:Wiesbaden, Germany

Public țintă

Upper undergraduate

Cuprins

1. Turing Berechenbarkeit.- 1.1. Turingmaschinen.- 1.2. Programmierung von Turingmaschinen.- 1.3. Turing-berechenbare Funktionen.- 2. Partiell rekursive Funktionen.- 2.1. Rekursive Funktionen.- 2.2. Folgenzahlen.- 2.3. Definition durch Rekursion.- 2.4. Rekursivität der Turing-berechenbaren Funktionen.- 2.5. Indexfunktionen.- 3. Unlösbarkeit.- 3.1. Aufzählbarkeit.- 3.2. Arithmetische Prädikate.- 3.3. Unlösbare Problemklassen.- 4. Abstrakte Berechenbarkeitsbegriffe.- 4.1. Axiomatische Kennzeichnung.- 4.2. Verwandtschaft von Berechenbarkeitsbegriffen.- Aufgaben.- Anhang 1: Zur Bedeutung der verwendeten logischen Symbole.- Anhang 2: Zu den Begriffen der Funktion und der Relation.- Anhang 3: Erklärung einiger Bezeichnungen.- Literaturhinweise.- Stichwörterverzeichnis.

Notă biografică

Herr Prof. Dr. em. Klemens Döpp war Professor für Mathematik mit dem Schwerpunkt theoretische Informatik an der Universität Bremen.

Caracteristici

Für Mathematiker und Informatiker

Papetărie, jocuri, reviste