Vor Ort
Merkzettel Warenkorb
  • Produktbild: Berechenbarkeit
  • Produktbild: Berechenbarkeit

Berechenbarkeit Rekursive und Programmierbare Funktionen

Aus der Reihe Springer-Lehrbuch

49,95 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.08.1993

Abbildungen

XI, 478 S.

Verlag

Springer Berlin

Seitenzahl

478

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

739 g

Sprache

Deutsch

ISBN

978-3-540-56354-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.08.1993

Abbildungen

XI, 478 S.

Verlag

Springer Berlin

Seitenzahl

478

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

739 g

Sprache

Deutsch

ISBN

978-3-540-56354-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

Weitere Artikel finden Sie in
  • Produktbild: Berechenbarkeit
  • Produktbild: Berechenbarkeit
  • I Rekursive Funktionen.- 1 Terminologie und grundlegende Konstruktionen.- 2 Simple Funktionen.- 3 Elementare Funktionen.- 4 Primitiv rekursive Funktionen.- 5 Beschränkte Rekursion.- 6 Die Funktion von PETER.- 7 Universalfunktionen für FPF.- 8 Rekursion und Iteration.- 9 Grundbegriffe über ?-rekursive und partiell ?-rekursive Funktionen.- Supplement 1 Ein Gleichungskalkül für primitiv recursive Funktionen.- Supplement 2 Rekursion mit Substitution der Parameter.- Supplement 3 Geschachtelte Rekursion.- Supplement 4 Mehrfache Rekursion.- Supplement 5 Geschachtelte 2-fache Rekursion.- Supplement 6 Iteration 1-stelliger Funktionen.- II Programmierbare Funktionen.- 10 Die Sprache PLA.- 11 Spracherweiterungen.- 12 PLA-programmierbare Funktionen.- 13 Die Sprache PLR und die primitiv rekursiven Funktionen.- 14 Die Schleifenhierarchie.- 15 FLR2 = FEF = FP2 und Konsequenzen daraus.- 16 Zeitfunktionen und Skalierungsfunktionen der Schleifenhierarchie.- 17 Kennzeichnungen der Schleifenhierarchie durch beschränkte Iterationen und Rekursionen.- 18 Die GRZEGORCZYK-Hierarchie.- 19 VLR1.- Supplement 7 Die Elimination von GOTOs.- III Rekursive und partiell rekursive Funktionen.- 20 Die Funktionenklasse F(R) einer Klasse R von Relationen.- 21 Die Struktur der rekursiv aufzählbaren Relationen.- 22 Rekursive Funktionen und rekursive Relationen.- 23 Partiell rekursive Funktionen.- 24 Eine Universalfunktion für PRF.- 25 Unentscheidbarkeiten.- 26 Uniformisierung.- 27 Die Arithmetisierung von Programmen.- 28 Der Gleichungskalkül von Herbrand-Gödel-Kleene . . ..- 29 Lösungen von Gleichungssystemen.- 30 Die Arithmetisierung des Gleichungskalküls.- Literatur.- Index der Begriffe und Namen.- Index der Symbole.