Combinatorical and Algebraic Structures Seminar
Session details
Date: | 13.10.2015 |
Speaker: | Petr Kůrka, CTS, Karlova Univerzita v Praze |
Title: | Algoritmická čísla a konstruktivní analýza |
Abstract: | Konstruktivní analýza se zabývá reálnými čísly a reálnými funkcemi, které lze počítat algoritmicky. Odvozuje pro ně analogické věty jako reálná analýza ale s významnými modifikacemi. |
Return to index.
last update: 27.9.2007, webmaster: Petr Ambrož