Předmět Základy teorie kategorií (FSI-9TKD)
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 FSI-9TKD - Základy teorie kategorií, Fakulta strojního inženýrství, Vysoké učení technické v Brně (VUT).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
Materiál | Typ | Datum | Počet stažení |
---|
Další informace
Cíl
Není specifikováno.
Osnova
Není specifikováno.
Literatura
M. Barr, Ch. Wells: Category Theory for Computing Science, Prentice Hall, New York, 1990 J. Adámek, Matematické struktury a kategorie, SNTL, Praha, 1982 B.C. Pierce, Basic Category Theory for Computer Scientists, The MIT Press, Cambridge, 1991 B.C. Pierce: Basic Category Theory for Computer Scientists, The MIT Press, Cambridge, 1991 R.F.C. Walters, Categories and Computer Science, Cambridge Univ. Press, 1991 R.F.C. Walters, Categories and Computer Science, Cambridge Univ. Press, 1991
Požadavky
Není specifikováno.
Garant
prof. RNDr. Josef Šlapal, CSc.
Vyučující
prof. RNDr. Josef Šlapal, CSc.