Modules

BackEsc12511

Computable Numbers

Berechenbare Zahlen

8 CPirregularlyDEno longer offered

Contents

Der Begriff der berechenbaren reellen Zahlen ist 1936 von Alan Turing in seinem berühmten Artikel "On computable number, with an application to the Entscheidungsproblem" eingeführt worden. Hier werden die Anfänge einer berechenbaren Analysis vorgestellt. -Einführung, Rechnen auf endlichen und unendlichen Zeichenfolgen -Relative Berechenbarkeit -Rechnen auf reellen Zahlen -Rekursive und rekursiv-aufzählbare Mengen -Berechenbare reelle Funktionen -Semi-Berechenbarkeit und arithmetische Hülle -Divergenz-beschränkte Berechenbare Zahlen

Learning outcomes

Einsicht in die Problematik des beliebig genauen Rechnens mit reellen Zahlen. Es wird ein Berechenbarkeitsbegriff definiert, der dies auf eine praxisorientierte Weise beschreibt.

Assessment

Prüfungsgespräch benotet

Literature (1)
  • Diverse Zeitschriftenartikel

Source: BTU's module description · retrieved 19 Oct 2026Original

Module catalogue · unofficial

Betula is an unofficial project and not part of BTU.

Folia 1.0.3Radix 0.6.0

Data as of 21 Oct 2026Winter 2026/27Source: BTU