Rekursive Funktionen - Taschenbuch
2002, ISBN: 3540430946
[EAN: 9783540430940], Neubuch, [PU: Springer Berlin Heidelberg Mrz 2002], BERECHENBARKEIT; EDV / THEORIE INFORMATIK MATHEMATIK; BEWEIS; REKURSIVEFUNKTIONEN; TURINGMASCHINEN; WORTFUNKTION;… Mehr…
AbeBooks.de BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 4 (von 5)] NEW BOOK. Versandkosten: EUR 3.00 Details... |
Rekursive Funktionen - Taschenbuch
2002, ISBN: 3540430946
[EAN: 9783540430940], Neubuch, [PU: Springer Berlin Heidelberg], BERECHENBARKEIT; EDV / THEORIE INFORMATIK MATHEMATIK; BEWEIS; REKURSIVEFUNKTIONEN; TURINGMASCHINEN; WORTFUNKTION; REKURSIV… Mehr…
AbeBooks.de AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
Rekursive Funktionen - Taschenbuch
2002, ISBN: 9783540430940
[PU: Berlin : Springer], 86 Seiten 23,5 x 15,5 cm Springer-Lehrbuch - Innen sauberer, guter Zustand. Softcover, Broschur mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen,… Mehr…
booklooker.de |
Rekursive Funktionen - Taschenbuch
2002, ISBN: 9783540430940
86 Seiten 23,5 x 15,5 cm Springer-Lehrbuch - Innen sauberer, guter Zustand. Softcover, Broschur mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe B… Mehr…
buchfreund.de avelibro OHG, 86424 Dinkelscherben Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Rekursive Funktionen - Taschenbuch
2002, ISBN: 9783540430940
[ED: Taschenbuch], [PU: Springer Berlin], DE, [SC: 2.40], wie neu, privates Angebot, 235x155 mm, 86, [GW: 162g], [PU: Berlin-Heidelberg-NewYork], 1, Banküberweisung, Internationaler Versa… Mehr…
booklooker.de |
Rekursive Funktionen - Taschenbuch
2002, ISBN: 3540430946
[EAN: 9783540430940], Neubuch, [PU: Springer Berlin Heidelberg Mrz 2002], BERECHENBARKEIT; EDV / THEORIE INFORMATIK MATHEMATIK; BEWEIS; REKURSIVEFUNKTIONEN; TURINGMASCHINEN; WORTFUNKTION;… Mehr…
Heinz Lüneburg:
Rekursive Funktionen - Taschenbuch2002, ISBN: 3540430946
[EAN: 9783540430940], Neubuch, [PU: Springer Berlin Heidelberg], BERECHENBARKEIT; EDV / THEORIE INFORMATIK MATHEMATIK; BEWEIS; REKURSIVEFUNKTIONEN; TURINGMASCHINEN; WORTFUNKTION; REKURSIV… Mehr…
Rekursive Funktionen - Taschenbuch
2002
ISBN: 9783540430940
[PU: Berlin : Springer], 86 Seiten 23,5 x 15,5 cm Springer-Lehrbuch - Innen sauberer, guter Zustand. Softcover, Broschur mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen,… Mehr…
Rekursive Funktionen - Taschenbuch
2002, ISBN: 9783540430940
86 Seiten 23,5 x 15,5 cm Springer-Lehrbuch - Innen sauberer, guter Zustand. Softcover, Broschur mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe B… Mehr…
Rekursive Funktionen - Taschenbuch
2002, ISBN: 9783540430940
[ED: Taschenbuch], [PU: Springer Berlin], DE, [SC: 2.40], wie neu, privates Angebot, 235x155 mm, 86, [GW: 162g], [PU: Berlin-Heidelberg-NewYork], 1, Banküberweisung, Internationaler Versa… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Rekursive Funktionen (Springer-Lehrbuch)
EAN (ISBN-13): 9783540430940
ISBN (ISBN-10): 3540430946
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2002
Herausgeber: Springer
86 Seiten
Gewicht: 0,158 kg
Buch in der Datenbank seit 2007-05-22T12:16:53+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-03-13T08:40:00+01:00 (Berlin)
ISBN/EAN: 3540430946
ISBN - alternative Schreibweisen:
3-540-43094-6, 978-3-540-43094-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: lüneburg, heinz lueneburg, luneburg, heinz schön
Titel des Buches: rekursive funktionen, reku, lüneburg
Daten vom Verlag:
Autor/in: Heinz Lüneburg
Titel: Springer-Lehrbuch; Rekursive Funktionen
Verlag: Springer; Springer Berlin
86 Seiten
Erscheinungsjahr: 2002-03-07
Berlin; Heidelberg; DE
Sprache: Deutsch
23,95 € (DE)
24,62 € (AT)
26,50 CHF (CH)
Available
V, 86 S.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Berechenbarkeit; Beweis; Rekursive Funktionen; Turingmaschine; Turingmaschinen; Wortfunktion; rekursiv aufzählbare Menge; rekursive Funktion; Formal Languages and Automata Theory; Theory of Computation; Algebra; Mathematical Logic and Foundations; Algebra; Mathematik: Logik; Mathematische Grundlagen; EA
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.Kompakte Darstellung der Rekursiven Funktionen Abrundung der theoretischen Informatik vom mathematischen Standpunkt Includes supplementary material: sn.pub/extras
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783112573075 Rekursive Funktionen (Peter, Rozsa)
< zum Archiv...