|
Vyučující
|
-
Krupka Michal, doc. RNDr. Ph.D.
|
|
Obsah předmětu
|
Předmět zahrnuje pokročilé partie z topologie a jejích aplikací v informatice. Obecná topologie. Úvod do teorie homotopií. Algebraická topologie: singulární homologie, základy homologické algebry. Výpočet homologických grup: Mayerova-Vietorisova posloupnost. Simpliciální homologie, výpočet homologií simpliciálních komplexů jako diskrétní problém, simpliciální struktury pro MV-algebry. Algebraická topologie konečných prostorů. Topologie v analýze dat. Topologie a distribuované výpočty.
|
|
Studijní aktivity a metody výuky
|
|
nespecifikováno
|
|
Výstupy z učení
|
Studenti se seznámí se základními pojmy z obecné a algebraické topologie a jejich aplikacemi v computer science.
|
|
Předpoklady
|
nespecifikováno
|
|
Hodnoticí metody a kritéria
|
nespecifikováno
Aktivní účast v hodině. Plnění zadaných úkolů. Složení ústní (příp. písemné) zkoušky.
|
|
Doporučená literatura
|
-
A.J. Zomorodian. (2009). Topology for Computing. Cambridge University Press.
-
J.A. Bermak. (2011). Algebraic Topology of Finite Topological Spaces and Applications. Springer.
-
J.R. Munkers. (2000). Topology.. Pearson.
-
M. Herlihy, N. Shavit. (1999). The Topological Structure of Asynchronous Computability.
|