Předmět Teorie kategorií pro informatiky (KMI / PGSTK)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu KMI / PGSTK - Teorie kategorií pro informatiky, Přírodovědecká fakulta, Univerzita Palackého v Olomouci (UP).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Obsah
Studenti budou obeznámeni se základními principy teorie kategorií a s možnostmi aplikací těchto principů v informatice. Získané vědomosti pak budou moci využít při řešení konkrétních problémů ve svojí specializaci.1. Grafy a kategorie2. Algebraické struktury jako kategorie3. Konstrukce na kategoriích4. Vlastnosti objektů a morfismů5. Součiny a součty objektů6. Objekty přirozených čísel a deduktivní systémy7. Funktory a diagramy8. Funktorové kategorie, gramatiky a automaty9. Přirozené transformace10. Limity a kolimity11. Adjungované funktory12. Kartézsky uzavřené kategorie a typovaný lambda-kalkul13. Kartézsky uzavřená kategorie Scottových domainů
Získané způsobilosti
1. ZnalostPopsat a důkladně pochopit principy a metody teorie kategorií.
Literatura
Pierce B. C. Basic Category Theory for Computer Scientists. The MIT Press, Cambridge, 1991. ISBN 0262660717.Walters R. F. C. Categories and Computer Science. Cambridge Univ. Press, 1991. ISBN 0521422264.Barr M., Wells Ch. Category Theory for Computing Science. Prentice Hall, New York, 1999. ISBN 2-921120-31-3.Adámek. Matematické struktury a kategorie. SNTL, Praha, 1982.
Garant
prof. RNDr. Radim Bělohlávek, Ph.D., DSc.
Vyučující
prof. RNDr. Radim Bělohlávek, Ph.D., DSc.prof. RNDr. Josef Šlapal, CSc.