zkouska 22.9.2009

Struktury, s nimiž se studenti již setkali (relace, algebraické struktury, struktury spojitosti); specifické vlastnosti, srovnání. Různé konstrukce (podobjekty, ekvivalence a kongruence, součiny, sumy a pod.) a jejich společné rysy. Zvláštní pozornost bude věnována částečným uspořádáním, a to jak obecným záležitostem, tak i aspektům speciálního významu pro informatiku. Některá základní fakta teorie kategorií.
lubos

zkouska 22.9.2009

Příspěvek od lubos »

Knaster-Tarski
Booleovky, potom Booleanizace a naopak proc je kazda boolova algebra i algebreou heytingovou
Ultrafiltry
Uzaver

za 3
Him
Supermatfyz(ák|ačka)
Příspěvky: 400
Registrován: 25. 1. 2008 19:59
Typ studia: Informatika Bc.

Re: zkouska 22.9.2009

Příspěvek od Him »

o Galoisovy adjunkty - tři definice (ve skriptech je to jako definice, věta, důsledek.. já to psal i s důkazy, nicméně p. Pultr mě to nenechal ani dopsat, jak je jeho dobrým zvykem)
o Alexandrovo lemma
o co jsou ultrafiltry a větu o nich (ta věta: 1) F je maximalni 2) F je prvofiltr 3) \forall a \in L exje a \in F nebo a^c \in F)

lehke otazky, krasna znamka
Pracoval jsem na poměrně hodně materiálech pro různé předměty. Pokud Ti něco z toho ušetřilo čas, vyjádři svůj dík v podobě pár satoshi: 1H5JPTrsXie7epAQXbXhMjdgwyLbJ5NHBW ;)
Odpovědět

Zpět na „MAI064 Matematické struktury“