Přístupnostní navigace
E-application
Search Search Close
Course detail
FIT-MIDAcad. year: 2024/2025
Naive and axiomatic (Zermelo-Fraenkel) set theories, finite and countable sets, cardinal arithmetic, continuum hypothesis and axiom of choice. Partially and well-ordered sets and ordinals. Varieties of universal algebras, Birkhoff theorem. Lattices and lattice homomorphisms. Adjunctions, fixed-point theorems and their applications. Partially ordered sets with suprema of directed sets, (DCPO), Scott domains. Closure spaces and topological spaces, applications in informatics (Scott, Lawson and Khalimsky topologies).
Language of instruction
Mode of study
Guarantor
Department
Entry knowledge
Rules for evaluation and completion of the course
Aims
Study aids
Prerequisites and corequisites
Basic literature
Recommended literature
Classification of course in study plans
branch DVI4 , 0 year of study, winter semester, elective
Lecture
Teacher / Lecturer
Syllabus
Guided consultation in combined form of studies