ISBN: 9783540563549
Dieses Lehrbuch behandelt verständlich, umfassend und modern die Theorie der Berechenbarkeit, ein klassisches Gebiet der Mathematischen Logik, das als Grundlagengebiet auch für … Mehr…
BarnesandNoble.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540563549
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 Inform… Mehr…
Thalia.de Nr. A1007738229. Versandkosten:, , DE. (EUR 0.00) Details... |
1993, ISBN: 9783540563549
Taschenbuch
Springer-Verlag, Taschenbuch, Auflage: 1, 492 Seiten, Publiziert: 1993-01-01T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: black & white illustrations, bibliograph, 1.69 kg, Verkaufsran… Mehr…
amazon.de MEDIMOPS Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
1993, ISBN: 9783540563549
Springer-Verlag, Paperback, 492 Seiten, Publiziert: 1993-01-01T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: black & white illustrations, bibliograph, 0.76 kg, Foreign Language Books, S… Mehr…
amazon.co.uk Sammlerstück. Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.56) Details... |
1993, ISBN: 9783540563549
Springer-Verlag, Paperback, 492 Seiten, Publiziert: 1993-01-01T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: black & white illustrations, bibliograph, 0.76 kg, Foreign Language Books, S… Mehr…
amazon.co.uk momox co uk Versandkosten:In stock. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.56) Details... |
ISBN: 9783540563549
Dieses Lehrbuch behandelt verständlich, umfassend und modern die Theorie der Berechenbarkeit, ein klassisches Gebiet der Mathematischen Logik, das als Grundlagengebiet auch für … Mehr…
ISBN: 9783540563549
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 Inform… Mehr…
1993
ISBN: 9783540563549
Taschenbuch
Springer-Verlag, Taschenbuch, Auflage: 1, 492 Seiten, Publiziert: 1993-01-01T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: black & white illustrations, bibliograph, 1.69 kg, Verkaufsran… Mehr…
1993, ISBN: 9783540563549
Springer-Verlag, Paperback, 492 Seiten, Publiziert: 1993-01-01T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: black & white illustrations, bibliograph, 0.76 kg, Foreign Language Books, S… Mehr…
1993, ISBN: 9783540563549
Springer-Verlag, Paperback, 492 Seiten, Publiziert: 1993-01-01T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: black & white illustrations, bibliograph, 0.76 kg, Foreign Language Books, S… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Berechenbarkeit: Rekursive und Programmierbare Funktionen Walter Felscher Author
EAN (ISBN-13): 9783540563549
ISBN (ISBN-10): 3540563547
Taschenbuch
Erscheinungsjahr: 1993
Herausgeber: Springer Berlin Heidelberg Core >1
Buch in der Datenbank seit 2007-04-26T13:46:40+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-12-02T13:31:43+01:00 (Berlin)
ISBN/EAN: 3540563547
ISBN - alternative Schreibweisen:
3-540-56354-7, 978-3-540-56354-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: felscher walter, felsch
Titel des Buches: berechenbarkeit rekursive und programmierbare funktionen
Daten vom Verlag:
Autor/in: Walter Felscher
Titel: Springer-Lehrbuch; Berechenbarkeit - Rekursive und Programmierbare Funktionen
Verlag: Springer; Springer Berlin
478 Seiten
Erscheinungsjahr: 1993-08-30
Berlin; Heidelberg; DE
Sprache: Deutsch
49,95 € (DE)
51,35 € (AT)
62,62 CHF (CH)
Available
XI, 478 S.
BC; Hardcover, Softcover / Informatik, EDV/Betriebssysteme, Benutzeroberflächen; Mensch-Computer-Interaktion; Verstehen; Berechenbarkeit; Beweis; Funktion; Geometrie; Gleichung; Gleichungskalkül; Hierarchien; Logik; Mathematik; Programmierbare Funktionen; Rekursion; Rekursive Funktionen; Relationen; Zahlentheorie; User Interfaces and Human Computer Interaction; Formal Languages and Automata Theory; Theory of Computation; Mathematical Logic and Foundations; Theoretische Informatik; Mathematik: Logik; Mathematische Grundlagen; EA
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.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783642780196 Berechenbarkeit (Walter Felscher)
< zum Archiv...