2002, ISBN: 3540430946
[EAN: 9783540430940], Neubuch, [PU: Springer Berlin Heidelberg Mrz 2002], BERECHENBARKEIT; EDV / THEORIE INFORMATIK MATHEMATIK; BEWEIS; REKURSIVEFUNKTIONEN; TURINGMASCHINEN; WORTFUNKTION;… Altro …
AbeBooks.de BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 4 (von 5)] NEW BOOK. Costi di spedizione: EUR 3.00 Details... |
2002, ISBN: 3540430946
[EAN: 9783540430940], Neubuch, [PU: Springer Berlin Heidelberg], BERECHENBARKEIT; EDV / THEORIE INFORMATIK MATHEMATIK; BEWEIS; REKURSIVEFUNKTIONEN; TURINGMASCHINEN; WORTFUNKTION; REKURSIV… Altro …
AbeBooks.de AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Costi di spedizione: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,… Altro …
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… Altro …
buchfreund.de avelibro OHG, 86424 Dinkelscherben Costi di spedizione: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… Altro …
booklooker.de |
2002, ISBN: 3540430946
[EAN: 9783540430940], Neubuch, [PU: Springer Berlin Heidelberg Mrz 2002], BERECHENBARKEIT; EDV / THEORIE INFORMATIK MATHEMATIK; BEWEIS; REKURSIVEFUNKTIONEN; TURINGMASCHINEN; WORTFUNKTION;… Altro …
2002, ISBN: 3540430946
[EAN: 9783540430940], Neubuch, [PU: Springer Berlin Heidelberg], BERECHENBARKEIT; EDV / THEORIE INFORMATIK MATHEMATIK; BEWEIS; REKURSIVEFUNKTIONEN; TURINGMASCHINEN; WORTFUNKTION; REKURSIV… Altro …
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,… Altro …
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… Altro …
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… Altro …
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - Rekursive Funktionen (Springer-Lehrbuch)
EAN (ISBN-13): 9783540430940
ISBN (ISBN-10): 3540430946
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2002
Editore: Springer
86 Pagine
Peso: 0,158 kg
Libro nella banca dati dal 2007-05-22T12:16:53+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-03-13T08:40:00+01:00 (Zurich)
ISBN/EAN: 9783540430940
ISBN - Stili di scrittura alternativi:
3-540-43094-6, 978-3-540-43094-0
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : lüneburg, heinz lueneburg, luneburg, heinz schön
Titolo del libro: rekursive funktionen, reku, lüneburg
Dati dell'editore
Autore: Heinz Lüneburg
Titolo: Springer-Lehrbuch; Rekursive Funktionen
Editore: Springer; Springer Berlin
86 Pagine
Anno di pubblicazione: 2002-03-07
Berlin; Heidelberg; DE
Lingua: Tedesco
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
Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9783112573075 Rekursive Funktionen (Peter, Rozsa)
< Per archiviare...