Produktart
Zustand
Einband
Weitere Eigenschaften
Gratisversand
Land des Verkäufers
Verkäuferbewertung
Verlag: Berlin, Springer Berlin Heidelberg, 2002
ISBN 10: 3540430946ISBN 13: 9783540430940
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
Buch
86 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. so7834 9783540430940 Sprache: Deutsch Gewicht in Gramm: 900.
Verlag: Springer Verlag, 2002
ISBN 10: 3540430946ISBN 13: 9783540430940
Anbieter: CSG Onlinebuch GMBH, Darmstadt, Deutschland
Buch
Softcover. Zustand: Gebraucht. Gebraucht - Gut Zustand: Gut, Mängelexemplar, V, 86 S. Über dieses Buch: Dieses Buch basiert auf Vorlesungen, die der Autor in Kaiserslautern gehalten hat. Ihr wesentliches Anliegen war, die Turing-berechenbaren Wortfunktionen auf eine von jeglichem Maschinenmodell unabhängige Weise zu charakterisieren, nämlich als die partiell Wort-rekursiven Wortfunktionen. Wortfunktionen lassen sich mittels arithmetischer Funktionen darstellen und zwar so, dass die partiell rekursiven arithmetischen Funktionen den partiell Wort-rekursiven Wortfunktionen entsprechen, was für sich gesehen schon nicht auf der Hand liegt. Auf diese Weise erhält man den Begriff der Turing-Berechenbarkeit auch für arithmetische Funktionen. Der Satz also, dass die Turing-berechenbaren Wortfunktionen gerade die partiell rekursiven Wortfunktionen sind, ist überhaupt nicht selbstverständlich, so dass auf dem Wege zu diesem Satz eine ganze Reihe hoch interessanter weiterer Sätze zu beweisen sind. Dies alles ist hier aufgeschrieben. Geschrieben für Informatiker, Mathematiker, Studierende der Mathematik und Informatik Deutsch.
23,5 x 15,5 cm. Zustand: Gut. 86 Seiten Springer-Lehrbuch - Innen sauberer, guter Zustand. Softcover, Broschur mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. (Evtl. auch Kleber- und/oder Etikettenreste, sowie -abdrücke durch abgelöste Bibliotheksschilder). B09-03-03E|S73 Sprache: Deutsch Gewicht in Gramm: 165.
Verlag: Springer Berlin Heidelberg, 2002
ISBN 10: 3540430946ISBN 13: 9783540430940
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Dieses Buch basiert auf Vorlesungen, die der Autor in Kaiserslautern gehalten hat. Ihr wesentliches Anliegen war, die Turing-berechenbaren Wortfunktionen auf eine von jeglichem Maschinenmodell unabhängige Weise zu charakterisieren, nämlich als die partiell Wort-rekursiven Wortfunktionen. Wortfunktionen lassen sich mittels arithmetischer Funktionen darstellen und zwar so, dass die partiell rekursiven arithmetischen Funktionen den partiell Wort-rekursiven Wortfunktionen entsprechen, was für sich gesehen schon nicht auf der Hand liegt. Auf diese Weise erhält man den Begriff der Turing-Berechenbarkeit auch für arithmetische Funktionen. Der Satz also, dass die Turing-berechenbaren Wortfunktionen gerade die partiell rekursiven Wortfunktionen sind, ist überhaupt nicht selbstverständlich, so dass auf dem Wege zu diesem Satz eine ganze Reihe hoch interessanter weiterer Sätze zu beweisen sind. Dies alles ist hier aufgeschrieben. TOC:Partiell rekursive Funktionen.- Beispiele und erste Sätze.- Beispiele aus der Zahlentheorie.- Wertverlaufsrekursion.- Die cantorsche Abzählung von N x N.- Die Gödelfunktion.- Rekursive und rekursiv aufzählbare Mengen.- Rekursive und rekursiv aufzählbare Mengen von Nx.xN (n-fach).- Sparsame Erzeugung der partiell rekursiven Funktionen.- Partiell rekursive Funktionen.- Worthalbgruppen.- Wortmengen und Wortfunktionen.- Rekursive Wortfunktionen.- Kennzeichnung der rekursiven Wortfunktionen.- Turingmaschinen.- Programme.- Finale.
Verlag: Springer, 2002
ISBN 10: 3540430946ISBN 13: 9783540430940
Anbieter: Studibuch, Stuttgart, Deutschland
Buch
paperback. Zustand: Sehr gut. 96 Seiten; 9783540430940.2 Sprache: Deutsch Gewicht in Gramm: 500.