Tematické okruhy otázek ke státní doktorské zkoušce
MATEMATICKÉ INŽENÝRSTVÍ
- Diskrétní matematika
- Teorie grafů a její aplikace
- Kombinatorické algoritmy
- Teorie složitosti
- Teorie automatů a její aplikace
- Jazyky a gramatiky, rozhodnutelnost
- Aplikovaná algebra
- Pojem grupy, jeho zobecnění a aplikace
- Svazy, Booleovy algebry a jejich využití v logice
- Univerzální algebry, variety a kvazivariety
- Maticový počet, aplikace v teorii systémů
- Spektrální rozklad matic, singulární rozklad (SVD)
- Výpočetní algebraická geometrie
- Numerické metody
- Algoritmy základních úloh maticového počtu a jejich výpočetní složitost
- Numerické metody výpočtu spektra matice
- Princip iteračních metod, příklady aplikací v lineární algebře a analýze
- Metoda nejmenších čtverců. Minimalizace funkcí.
- Řešení Cauchovy úlohy pro obyčejné diferenciální rovnice
- Funkcionální analýza
- Dualita a lineární operátory na Banachových prostorech
- Banachovy algebry
- Spektrální teorie operátorů na Hilbertových prostorech
- Distribuce a Fourierova transformace
- Míry a pravděpodobnosti na nekonečně rozměrných prostorech
- Teorie operátorových algeber
- C*-algebry
- Von Neumannovy algebry
- Nekomutativní teorie míry a pravděpodobnosti
- Jordanovy algebry
- Axiomatické základy kvantové teorie
- Operátorově-algebraický přístup
- Konvexní přístup
- Kvantové struktury
- Kvantové logiky a efektové algebry
- Míry na kvantových strukturách
- Pravděpodobnost a statistika
- Vícerozměrná statistická analýza
- Lineární a nelineární regrese
- Odhady a aproximace hustot rozdělení
- Statistické metody založené na teorii informace
- Matematické metody v teorii signálů a systémů
- Vícedimenzionální signály a systémy
- Waveletové báze a waveletová transformace
- Algebraické metody informatiky
- Teorie domén a aplikace na sémantiku programovacích jazyků
- Algebraické a koalgebraické specifikace
- Algebraické struktury
- Liovy grupy a algebry. Reprezentace polojednoduchých algeber
- Neasociativní algebry. Alternativní a kompoziční algebry.
- Logika
- Deduktivní systémy a maticová sémantika
- Algebraisovatelné logiky
- Modální logiky a Kripkovská sémantika
- Definovatelnost modálních logik v logice prvního řádu
- Teorie kategorií
- Adjunkce, monády, Beckova věta
- Základy obohacené teorie kategorií, vážené limity a kolimity, kategorie presheafů
- Volné kozúplnění na třídu kolimit
- Dvoudimensionální monády a dvoudimensionální Beckova věta
- Nelineární funkcionální analýza
1. Struktura Banachových prostorů
2. Diferencovatelnost funkcí a nulové množiny v Banachových prostorech
3. Linearizace zobrazení mezi Banachovými prostory
4. Lipschitz-Free prostory a jejich aplikace
5. Uniformní homeomorfismy mezi Banachovými prostory