Předmět Matematické struktury v informatice (MI-MSI)
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 MI-MSI - Matematické struktury v informatice, Fakulta informačních technologií, České vysoké učení technické v Praze (Č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
Literatura
S. Abramsky, A. Jung, Domain TeoryA. Asperti, G. Longo, Categories, Types and StructuresM. A. Arbib, E. G. Manes, The Categorial ImperativeG. Birkhoff, Lattice TheoryL. S. Bobrow, M. A. Arbib, Discrete MathematicsH. Herrlich, G. E. Strecker, Category TheoryE. G. Manes, Categorial Theory Applied to Computation and ControlS. Mac Lane, G. Birkhoff, AlgebraS. Mac Lane, Categories for the Working MathematicianB. C. Pierce, Basic Category Theory for Computer ScientistsD. Scott, Data types as lattices
Požadavky
Základní kurs programování,základní kurs teorie automatů a gramatik,základní kurs algebry.
Garant
Jan Starý
Vyučující
Jan Starý