Přístupnostní navigace
E-application
Search Search Close
Course detail
FIT-TKDAcad. year: 2024/2025
Small and large categories, algebraic structures as categories, constructions on categories (free categories, subcategories and dual categories), special types of objects and morphisms, products and sums of objects, categories with products and circuits, categories with sums and flow charts, distributive categories and imperative programs, data types (arithmetics of reals, stacks, arrays, Binary trees, queues pointers, Turing Machines), functors anf functor categories, directed graphs and regular grammars.
Language of instruction
Mode of study
Guarantor
Department
Entry knowledge
Rules for evaluation and completion of the course
Aims
The students will be acquainted with the fundamental principles of the category theory and with possibilities of applying these principles in computer science. They will be able to use the knowledges gained when solving concrete problems in their specializations.
Study aids
Prerequisites and corequisites
Basic literature
Recommended reading
Classification of course in study plans
branch DVI4 , 0 year of study, summer semester, elective
Lecture
Teacher / Lecturer
Syllabus
Guided consultation in combined form of studies