|
|
|
||
Částečná uspořádání, speciální částečná uspořádání informatiky. DCPO, domény. Spojitá a algebraická uspořádání. Základy topologie pro informatiky.
Poslední úprava: T_KAM (24.03.2004)
|
|
||
Ústní zkouška. Poslední úprava: Kynčl Jan, doc. Mgr., Ph.D. (04.06.2019)
|
|
||
B.A. Davey, H.A. Priestley, Introduction to Lattices and Order, Cambridge University Press 1990. A Compendium of Continuous Lattices. J.Picado, A. Pultr, Frames and Locales, Birkhauser (Springer) 2012 Poslední úprava: Pultr Aleš, prof. RNDr., DrSc. (11.10.2017)
|
|
||
Částečná uspořádání, jejich role v informatice (DCPO, spojité a algebraické svazy). Scottovy informační systémy a domény. Kategorie domén.
Základy bezbodové topologie: pojmy a základní fakta, vztahy ke klasické topologii, konstruktivní aspekty.
Zkouška je ústní. Poslední úprava: Kynčl Jan, doc. Mgr., Ph.D. (04.06.2019)
|
|
||
Speciální svazy, algebraické aspekty. Booleovy a Heytingovy algebry.
Částečná uspořádání se supremy usměrněných množin (DCPO), jejich role v informatice. Spojité a algebraické svazy a částečná uspořádání. Scottovy informační systémy a domény. Kategorie domén.
Speciální topologie informatiky (Scott, Lawson).
Základy bezbodové topologie: pojmy a základní fakta, vztahy ke klasické topologii, konstruktivní aspekty. Poslední úprava: Pultr Aleš, prof. RNDr., DrSc. (11.10.2017)
|