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

Philosophy of set theory and mathematics
Category theory, type theory, and homotopy type theory
Type theory

Type theory

Požadavky na absolvování

Kliknutím na Type theory otevřete zdroj.

◄ Lambda-calculus

Přejít na aktivitu

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

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