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.