Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail předmětu
FIT-MIDAk. rok: 2024/2025
Naivní a axiomatická (Zermelo-Fraenkelova) teorie množin, konečné a spočetné množiny, kardinální aritmetika, hypotéza kontinua a axiom výběru. Částečně a dobře uspořádané množiny, izotonní zobrazení, ordinály. Variety univerzálních algeber, Birkhoffova věta. Svazy a svazové homomorfismy. Adjunkce, věty o pevných bodech a jejich aplikace. Částečně uspořádané množiny se supremy usměrněných množin (DCPO) a jejich využití v informatice. Scottovy informační systémy a domény, kategorie domén. Uzávěrové a topologické prostory a jejich využití v informatice (Scottova, Lawsonova a Khalimského topologie). Okruhy otázek k SDZ:
Jazyk výuky
Garant předmětu
Zajišťuje ústav
Vstupní znalosti
Pravidla hodnocení a ukončení předmětu
Učební cíle
Prerekvizity a korekvizity
Doporučení literatura
Zařazení předmětu ve studijních plánech
obor DVI4 , 0 ročník, zimní semestr, volitelný
Přednáška
Vyučující / Lektor
Osnova
Konzultace v kombinovaném studiu