Добавьте свою рекламу в этом месте за15 USDTв сутки (24 часа)
Связаться с намиТипы в языках программирования, моделирования, представления знаний и жизни
@typeslife458подписчиковОбсуждаем моделирование реального (или не очень) мира при помощи типов - зависимых или независимых (можно даже динамических, но только шёпотом).
STLC, MLTT, теория типов, теория доменов, теория категорий и даже онтология являются онтопиком.
Подпишитесь на наш канал и следите за новостями!
Розыгрыши подарков каждые 200 подписчиков!
Другие каналы в этой категории:
Теория категорий
739 подписчиков
Правила в схемах и таблицах
315 подписчиков
ШАГ в Китай l Обучение в Китае
1 724 подписчиков
Институт содержания и методов обучения им. В.С. Леднева
16 595 подписчиков
Бластим: курсы и работа в биотехе
9 717 подписчиков
ИИ в науке, образовании и рынке труда
1 349 подписчиков
Федеральная служба по надзору в сфере образования и науки (Рособрнадзор)
23 124 подписчиков
Шлюз в ВУЗ. Про образование и поступление
1 856 подписчиков
Образование в Китае 🇨🇳 Чат TravelAsk
18 691 подписчиков
Не исключение: об инклюзии в цифровом и физическом мире
5 499 подписчиков
Project Russia - Управление проектами в России и в мире
960 подписчиков
Школа Жизни
324 подписчиков