BRICS · Contents · Lecturer · Programme · References

Computable Analysis and its Applications

A BRICS Mini-Course
April 23, 25 and 30, 2002

Lectures by
Margarita Korovina, korovina@brics.dk
BRICS


Course Contents

The course introduces basic concepts of computable analysis such as computable real numbers, computable functions, operators and functionals. The subject of the course represents a marriage between classical mathematical analysis and computability. It is useful to know, at least theoretically, which computations in analysis are possible and which are not. We will introduce a framework for investigating computability and non computability of standard processes in mathematical analysis. In this course we consider and compare different approaches to computability on the reals: machine-oriented and domain-theoretic approaches. We will also consider some applications of computable analysis to the theory of hybrid systems.

About the Lecturer

Margarita Korovina received her PhD in 1996 from Sobolev Institute of Mathematics, Novosibirsk, Russia. Her thesis, "Generalized computability on the real numbers", presents a theory of computation of real-valued functions, functionals and operators of finite types. Her current research interests include computable analysis, definability and computability theories, domain theory and hybrid systems. Margarita joined BRICS in 2001.

Programme

Tuesday April 23, 2002, 15:15-17:00 in Auditorium D4

Introduction, basic definitions and examples.

Thursday April 25, 2002, 15:15-17:00 in Auditorium D4

Comparative analysis of different approaches to computability on the reals.

Tuesday April 30, 2002, 15:15-17:00 in Auditorium D4

Computable functionals and operators. Applications of computable analysis to the theory of hybrid systems.

References

Books

Papers: