Can I read Berechenbare Reelle Funktionenfolgen on EtoBox?

Berechenbare Reelle Funktionenfolgen by Jürgen Hauck is a Computer Science article available to read on EtoBox.

What is Berechenbare Reelle Funktionenfolgen about?

BERECHENBARE REELLE FTJNKTIONENFOLGEN von J ~W E N HAUUK in Berlin (DDR) In [4] haben wir die Begriffe ,,konstruktive Darstellung D reeller Zahlen" und ,,D-berechenbare reelle Funktion" eingefuhrt. I n der vorliegenden Arbeit wollen wir uns mit D-berechenbaren reellen Funktionenfolgen beschiiftigen. Unter einer Darstellung D reeller Zahlen verstehen wir eine eindeutige Abbildung aus der Menge (3 der einstelligen ganzzahligen Funktionen y auf die Menge R der reellen Zahlen. Eine Darstellung D ist berechenbar in (a, b), falls mittels eines Algorithmus a m einer D-Darstellung eines x E (a, b) rationale Approximationen beliebiger Genauigkeit konstruiert werden konnen; D ist &chidbar in (a, b), falls von einem beliebigen Anfang einer Funktion y(O), y(l), . . . , y(s) entschieden werden kann, ob er zu einer D-Darstellung ekes z E (a, b) fortsetzbar ist. Eine Darstellung nennen wir konstruktiv in (a, b), falls sie in (a, b) berechenbar und entscheidbar ist. Kettenbriiche, p-adische Darstellungen und die in der Konstruktiven Analysis besonders wichtige Darstellung Dl(y) = a =df lay(n) \* lO-nI 5 10-n fur jedes n sind Beispiele konstrnktiver Derstellungen. Im 1. Abschnitt werden h h e n b s

Who reads Berechenbare Reelle Funktionenfolgen?

Author

Jürgen Hauck

Publisher

John Wiley and Sons; Wiley (John Wiley & Sons); John Wiley & Sons Ltd.; Wiley (ISSN 0044-3050)

Published

1976

Language

DE

Field

Computer Science (Physical Sciences)