2002, ISBN: 3540430946
[EAN: 9783540430940], Neubuch, [PU: Springer Berlin Heidelberg Mrz 2002], BERECHENBARKEIT; EDV / THEORIE INFORMATIK MATHEMATIK; BEWEIS; REKURSIVEFUNKTIONEN; TURINGMASCHINEN; WORTFUNKTION;… Meer...
AbeBooks.de BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 4 (von 5)] NEW BOOK. Verzendingskosten: EUR 3.00 Details... |
2002, ISBN: 3540430946
[EAN: 9783540430940], Neubuch, [PU: Springer Berlin Heidelberg], BERECHENBARKEIT; EDV / THEORIE INFORMATIK MATHEMATIK; BEWEIS; REKURSIVEFUNKTIONEN; TURINGMASCHINEN; WORTFUNKTION; REKURSIV… Meer...
AbeBooks.de AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) Details... |
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,… Meer...
booklooker.de |
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… Meer...
buchfreund.de avelibro OHG, 86424 Dinkelscherben Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
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… Meer...
booklooker.de |
2002, ISBN: 3540430946
[EAN: 9783540430940], Neubuch, [PU: Springer Berlin Heidelberg Mrz 2002], BERECHENBARKEIT; EDV / THEORIE INFORMATIK MATHEMATIK; BEWEIS; REKURSIVEFUNKTIONEN; TURINGMASCHINEN; WORTFUNKTION;… Meer...
2002, ISBN: 3540430946
[EAN: 9783540430940], Neubuch, [PU: Springer Berlin Heidelberg], BERECHENBARKEIT; EDV / THEORIE INFORMATIK MATHEMATIK; BEWEIS; REKURSIVEFUNKTIONEN; TURINGMASCHINEN; WORTFUNKTION; REKURSIV… Meer...
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,… Meer...
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… Meer...
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… Meer...
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Rekursive Funktionen (Springer-Lehrbuch)
EAN (ISBN-13): 9783540430940
ISBN (ISBN-10): 3540430946
Gebonden uitgave
pocket book
Verschijningsjaar: 2002
Uitgever: Springer
86 Bladzijden
Gewicht: 0,158 kg
Boek bevindt zich in het datenbestand sinds 2007-05-22T12:16:53+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-03-13T08:40:00+01:00 (Amsterdam)
ISBN/EAN: 9783540430940
ISBN - alternatieve schrijfwijzen:
3-540-43094-6, 978-3-540-43094-0
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: lüneburg, heinz lueneburg, luneburg, heinz schön
Titel van het boek: rekursive funktionen, reku, lüneburg
Gegevens van de uitgever
Auteur: Heinz Lüneburg
Titel: Springer-Lehrbuch; Rekursive Funktionen
Uitgeverij: Springer; Springer Berlin
86 Bladzijden
Verschijningsjaar: 2002-03-07
Berlin; Heidelberg; DE
Taal: Duits
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
Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9783112573075 Rekursive Funktionen (Peter, Rozsa)
< naar Archief...