- Buscar en el catálogoNEW
- Mejores canales
- Nuevos canales
- Temas y etiquetas
- Añadir tu canal
- Publicidad en la plataforma 🔥
Coloca tu anuncio en este lugar por15 USDTal día (24 horas)
ContáctenosТипы в языках программирования, моделирования, представления знаний и жизни
@typeslife458suscriptoresОбсуждаем моделирование реального (или не очень) мира при помощи типов - зависимых или независимых (можно даже динамических, но только шёпотом).
STLC, MLTT, теория типов, теория доменов, теория категорий и даже онтология являются онтопиком.
¡Suscríbete a nuestro canal y mantente al día!
¡Sorteos de regalos cada 200 suscriptores!
Otros canales en esta categoría:
Теория категорий
739 suscriptores
Правила в схемах и таблицах
315 suscriptores
ШАГ в Китай l Обучение в Китае
1 724 suscriptores
Институт содержания и методов обучения им. В.С. Леднева
16 595 suscriptores
Бластим: курсы и работа в биотехе
9 717 suscriptores
ИИ в науке, образовании и рынке труда
1 349 suscriptores
Федеральная служба по надзору в сфере образования и науки (Рособрнадзор)
23 124 suscriptores
Шлюз в ВУЗ. Про образование и поступление
1 856 suscriptores
Образование в Китае 🇨🇳 Чат TravelAsk
18 691 suscriptores
Не исключение: об инклюзии в цифровом и физическом мире
5 499 suscriptores
Project Russia - Управление проектами в России и в мире
960 suscriptores
Школа Жизни
324 suscriptores