Sylabus
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.
Anotace
Čá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.