MCMTT Categorical models of type theory

Přírodovědecká fakulta
jaro 2022
Rozsah
2/0/0. 2 kr. (příf plus uk k 1 zk 2 plus 1 > 4). Doporučované ukončení: zk. Jiná možná ukončení: z.
Vyučující
Raffael Stenzel, PhD (přednášející)
doc. John Denis Bourke, PhD (pomocník)
Garance
prof. RNDr. Jiří Rosický, DrSc.
Ústav matematiky a statistiky – Ústavy – Přírodovědecká fakulta
Dodavatelské pracoviště: Ústav matematiky a statistiky – Ústavy – Přírodovědecká fakulta
Rozvrh
St 14:00–15:50 M5,01013
Omezení zápisu do předmětu
Předmět je otevřen studentům libovolného oboru.
Vyučovací jazyk
Angličtina
Další komentáře
Studijní materiály
Předmět je vyučován jednorázově.
  • Statistika zápisu (nejnovější)
  • Permalink: https://is.muni.cz/predmet/sci/jaro2022/MCMTT