Informatikberichte 2002 - FernUniversität in Hagen
... Vries equation is computable Hagen: FernUniversität, Fachbereich Informatik, 06/2002 (Informatik-Bericht ... equation is computable Hagen: FernUniversität, Fachbereich Informatik, 06/2002 (Informatik-Bericht Nummer ...
Informatikberichte 1987 - FernUniversität in Hagen
... continuity : an approach to constructive and computable mathematics without constructive logic Hagen ... approach to constructive and computable mathematics without constructive logic Hagen : Fernuniv., 1987 ...
Informatikberichte 2004 - FernUniversität in Hagen
... Informatik, 8/2004 - 215S. (Informatik-Bericht Nummer: 320) A Computable Version of the Daniell-Stone Theorem ... Weihrauch A Computable Version of the Daniell-Stone Theorem of Integration and Linear Functionals Hagen ...
Logik: von Aristoteles bis Goedel
... ] 27.04.2016 Turing I: Turingmaschinen, Turing-Berechenbarkeit Computable Numbers, Part I, J.Copeland aus The ... II: Unentscheidbarkeit der Arithmetik Computable Numbers, Part II, J.Copeland aus The Essential ...
Ausstellung Kurt Gödel | MathBiBlog
... Heijenoort 1967 The undecidable: basic papers on undecidable propositions, unsolvable problems and computable ...
Informatikberichte 2003 - FernUniversität in Hagen
... Brattka Plottable real number functions and the computable graph theorem Hagen: FernUniversität ... computable? Hagen: FernUniversität, Fachbereich Informatik, 3/2003 -20 S. (Informatik-Bericht Nummer: 298 ...
Wachstum auch mit weniger Energie möglich
... langfristig auszahlen. Wachstum als entscheidender Faktor Das neuartige Simulationsmodell CITE ( Computable ... langfristig auszahlen. Wachstum als entscheidender Faktor Das neuartige Simulationsmodell CITE ( Computable ...
Informatikberichte 1999 - FernUniversität in Hagen
... . (Informatik-Bericht Nummer : 256) Vasco Brattka Recursive and Computable Operations over Topological ...
Informatikberichte 2001 - FernUniversität in Hagen
... / Informatikberichte 2001 Informatikberichte 2001 Klaus Weihrauch Computational Complexity on Computable Metric Spaces ...
«Alan Turings Ideen beeinflussen die Forschung noch immer» | ETH Zürich
... computable numbers, with an application to the Entscheidungsproblem», der aus heutiger Sicht die moderne ... computable numbers, with an application to the Entscheidungsproblem», der aus heutiger Sicht die moderne ...
