2002, ISBN: 3540430946
[EAN: 9783540430940], Neubuch, [PU: Springer Berlin Heidelberg Mrz 2002], BERECHENBARKEIT; EDV / THEORIE INFORMATIK MATHEMATIK; BEWEIS; REKURSIVEFUNKTIONEN; TURINGMASCHINEN; WORTFUNKTION;… Más…
AbeBooks.de BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 4 (von 5)] NEW BOOK. Gastos de envío: EUR 3.00 Details... |
2002, ISBN: 3540430946
[EAN: 9783540430940], Neubuch, [PU: Springer Berlin Heidelberg], BERECHENBARKEIT; EDV / THEORIE INFORMATIK MATHEMATIK; BEWEIS; REKURSIVEFUNKTIONEN; TURINGMASCHINEN; WORTFUNKTION; REKURSIV… Más…
AbeBooks.de AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Gastos de envío: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,… Más…
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… Más…
buchfreund.de avelibro OHG, 86424 Dinkelscherben Gastos de envío: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… Más…
booklooker.de |
2002, ISBN: 3540430946
[EAN: 9783540430940], Neubuch, [PU: Springer Berlin Heidelberg Mrz 2002], BERECHENBARKEIT; EDV / THEORIE INFORMATIK MATHEMATIK; BEWEIS; REKURSIVEFUNKTIONEN; TURINGMASCHINEN; WORTFUNKTION;… Más…
2002, ISBN: 3540430946
[EAN: 9783540430940], Neubuch, [PU: Springer Berlin Heidelberg], BERECHENBARKEIT; EDV / THEORIE INFORMATIK MATHEMATIK; BEWEIS; REKURSIVEFUNKTIONEN; TURINGMASCHINEN; WORTFUNKTION; REKURSIV… Más…
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,… Más…
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… Más…
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… Más…
Datos bibliográficos del mejor libro coincidente
Autor: | |
Título: | |
ISBN: |
Detalles del libro - Rekursive Funktionen (Springer-Lehrbuch)
EAN (ISBN-13): 9783540430940
ISBN (ISBN-10): 3540430946
Tapa dura
Tapa blanda
Año de publicación: 2002
Editorial: Springer
86 Páginas
Peso: 0,158 kg
Libro en la base de datos desde 2007-05-22T05:16:53-05:00 (Mexico City)
Página de detalles modificada por última vez el 2024-03-13T01:40:00-06:00 (Mexico City)
ISBN/EAN: 3540430946
ISBN - escritura alterna:
3-540-43094-6, 978-3-540-43094-0
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: lüneburg, heinz lueneburg, luneburg, heinz schön
Título del libro: rekursive funktionen, reku, lüneburg
Datos del la editorial
Autor: Heinz Lüneburg
Título: Springer-Lehrbuch; Rekursive Funktionen
Editorial: Springer; Springer Berlin
86 Páginas
Año de publicación: 2002-03-07
Berlin; Heidelberg; DE
Idioma: Alemán
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
Más, otros libros, que pueden ser muy parecidos a este:
Último libro similar:
9783112573075 Rekursive Funktionen (Peter, Rozsa)
< para archivar...