Přejít k hlavnímu obsahu
DL 1
  • Titulní stránka
  • Kalendář
  • Podpora uživatelů
    Moodleoffice Moodle tutoriál Podpora uživatelů Návody GDPR
  • Další
Čeština ‎(cs)‎
Čeština ‎(cs)‎ Deutsch ‎(de)‎ English ‎(en)‎ Français ‎(fr)‎ Русский ‎(ru)‎
Momentálně na stránky přistupujete s právy hosta.
Přihlášení
DL 1
Titulní stránka Kalendář Podpora uživatelů Sbalit Rozbalit
Moodleoffice Moodle tutoriál Podpora uživatelů Návody GDPR
Rozbalit vše Sbalit vše
  1. Philosophy of set theory and mathematics
  2. Category theory, type theory, and homotopy type theory
  3. Intuitionistic Type Theory (Homotopy T. Theory, sec 7.2.)

Intuitionistic Type Theory (Homotopy T. Theory, sec 7.2.)

Požadavky na absolvování
Kliknutím na Intuitionistic Type Theory (Homotopy T. Theory, sec 7.2.) otevřete zdroj.
◄ Type theory
Wadler: Propositions as Types ►
Kontaktujte podporu stránek
Momentálně na stránky přistupujete s právy hosta. (Přihlášení)
Stáhněte si mobilní aplikaci
Používá Moodle