2002, ISBN: 3540430946
[EAN: 9783540430940], Neubuch, [PU: Springer Berlin Heidelberg Mrz 2002], BERECHENBARKEIT; EDV / THEORIE INFORMATIK MATHEMATIK; BEWEIS; REKURSIVEFUNKTIONEN; TURINGMASCHINEN; WORTFUNKTION;… Plus…
AbeBooks.de BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 4 (von 5)] NEW BOOK. Frais d'envoi EUR 3.00 Details... |
2002, ISBN: 3540430946
[EAN: 9783540430940], Neubuch, [PU: Springer Berlin Heidelberg], BERECHENBARKEIT; EDV / THEORIE INFORMATIK MATHEMATIK; BEWEIS; REKURSIVEFUNKTIONEN; TURINGMASCHINEN; WORTFUNKTION; REKURSIV… Plus…
AbeBooks.de AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Frais d'envoiVersandkostenfrei. (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,… Plus…
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… Plus…
buchfreund.de avelibro OHG, 86424 Dinkelscherben Frais d'envoiVersandkostenfrei 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… Plus…
booklooker.de |
2002, ISBN: 3540430946
[EAN: 9783540430940], Neubuch, [PU: Springer Berlin Heidelberg Mrz 2002], BERECHENBARKEIT; EDV / THEORIE INFORMATIK MATHEMATIK; BEWEIS; REKURSIVEFUNKTIONEN; TURINGMASCHINEN; WORTFUNKTION;… Plus…
2002, ISBN: 3540430946
[EAN: 9783540430940], Neubuch, [PU: Springer Berlin Heidelberg], BERECHENBARKEIT; EDV / THEORIE INFORMATIK MATHEMATIK; BEWEIS; REKURSIVEFUNKTIONEN; TURINGMASCHINEN; WORTFUNKTION; REKURSIV… Plus…
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,… Plus…
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… Plus…
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… Plus…
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le livre - Rekursive Funktionen (Springer-Lehrbuch)
EAN (ISBN-13): 9783540430940
ISBN (ISBN-10): 3540430946
Version reliée
Livre de poche
Date de parution: 2002
Editeur: Springer
86 Pages
Poids: 0,158 kg
Livre dans la base de données depuis 2007-05-22T12:16:53+02:00 (Zurich)
Page de détail modifiée en dernier sur 2024-03-13T08:40:00+01:00 (Zurich)
ISBN/EAN: 9783540430940
ISBN - Autres types d'écriture:
3-540-43094-6, 978-3-540-43094-0
Autres types d'écriture et termes associés:
Auteur du livre: lüneburg, heinz lueneburg, luneburg, heinz schön
Titre du livre: rekursive funktionen, reku, lüneburg
Données de l'éditeur
Auteur: Heinz Lüneburg
Titre: Springer-Lehrbuch; Rekursive Funktionen
Editeur: Springer; Springer Berlin
86 Pages
Date de parution: 2002-03-07
Berlin; Heidelberg; DE
Imprimé / Fabriqué en
Poids: 0,454 kg
Langue: Allemand
23,95 € (DE)
24,62 € (AT)
26,50 CHF (CH)
POD
V, 86 S.
BC; Mathematical Logic and Formal Languages; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Berechenbarkeit; Beweis; Rekursive Funktionen; Turingmaschine; Turingmaschinen; Wortfunktion; rekursiv aufzählbare Menge; rekursive Funktion; Theory of Computation; Algebra; Mathematical Logic and Foundations; 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.Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9783112573075 Rekursive Funktionen (Peter, Rozsa)
< pour archiver...