Berechenbare Folge
aus Wikipedia, der freien Enzyklopädie
In der Berechenbarkeitstheorie, einem Teilgebiet der theoretischen Informatik und der mathematischen Logik, gibt es berechenbare Folgen.
Definition
Eine Folge mit heißt genau dann berechenbar, wenn es eine berechenbare Funktion gibt mit .