Topologické a algebraické metody

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.