Lectures on Constructive Mathematical Analysis 0821845136, 9780821845134

The basis of this book was a special course given by the author at the Mechanics-Mathematics Faculty of Moscow Universit

387 96 3MB

English, Russian Pages 346 [352] Year 1984

Report DMCA / Copyright

DOWNLOAD FILE

Lectures on Constructive Mathematical Analysis
 0821845136, 9780821845134

  • Commentary
  • bad p.iv

Table of contents :
Content: 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.

Polecaj historie