Lectures on Constructive Mathematical Analysis

Normal algorithms and enumerable sets Constructive real numbers Constructive convergence. Effective uncountability of the constructive continuum The impossibility of certain algorithms connected with constructive real numbers Constructive functions Differentiation of constructive functions Riemann integration of constructive functions Singular coverings and some of their applications Constructive metric spaces.