Prohlížení katedra počítačů dle autora "Dostál Matěj"
-
Geometrická algebra
Autor: Teodor Delov; Vedoucí práce: Dostál Matěj; Oponent práce: Otáhal Marek
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-07)Práce se zaměřuje na geometrickou algebru. Začneme neformálním úvodem do pojmů geometrické algebry, jako jsou: orientované délky, odrazy, rotace. Ukazujeme také podstatu geometrické algebry, geometrického součinu. Poté ... -
Indukce a koindukce
Autor: Ema Morvayová; Vedoucí práce: Dostál Matěj; Oponent práce: Šír Gustav
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-07)Tato práce se zabývá vztahem mezi indukcí a koindukcí. Nejprve si představíme nezbytné základy teorie kategorií, především pojem functor, který bude hrát důleži-tou roli při výkladu F-algeber a F-kolgeber. Dualita indukce ... -
Vietorisův-Ripsův komplex
Autor: Daria Dunina; Vedoucí práce: Dostál Matěj; Oponent práce: Kroupa Tomáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-01)Tato práce je věnována studiu Vietorisových-Ripsových komplexů a jejich geometrické realizaci. Nejprve zavedeme nezbytné základy teorie kategorií a teorie metrických prostorů. Pojmy simpliciální množiny a Vietorisova-Ripsova ... -
Výpočetní trinitarismus a lineární typy
Autor: Vojtěch Štěpančík; Vedoucí práce: Dostál Matěj; Oponent práce: Bílková Marta
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-01)Tato práce se zabývá rozšířením Curryovy-Howardovy korespondence do lineárního prostředí. Místo tradiční ekvivalence intuicionistické logiky a jednoduše typovaného $\lambda$-kalkulu zavádíme formulaci lineární logiky, která ...