Andrej Bauer: Domain theory for real number computation

Datum objave: 23. 11. 2015
Seminar za temelje matematike in teoretično računalništvo
Torek, 24. 11. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Abstract: We will review enough basic notions of domain theory to understand how domain theory models computation with exact real numbers. Traditionally one uses the interval domain to model real number computation, but we shall see that using the interval lattice (which contains "backwards" intervals as well as proper intervals) has its benefits, too.