Place your ad right here for15 USDTper day (24 hours)
Contact usТипы в языках программирования, моделирования, представления знаний и жизни
@typeslife458subscribersОбсуждаем моделирование реального (или не очень) мира при помощи типов - зависимых или независимых (можно даже динамических, но только шёпотом).
STLC, MLTT, теория типов, теория доменов, теория категорий и даже онтология являются онтопиком.
Subscribe to our channel and stay updated!
Giveaways every 200 subscribers!
Other channels in this category:
Теория категорий
739 subscribers
Правила в схемах и таблицах
315 subscribers
ШАГ в Китай l Обучение в Китае
1 724 subscribers
Институт содержания и методов обучения им. В.С. Леднева
16 595 subscribers
Бластим: курсы и работа в биотехе
9 717 subscribers
ИИ в науке, образовании и рынке труда
1 349 subscribers
Федеральная служба по надзору в сфере образования и науки (Рособрнадзор)
23 124 subscribers
Шлюз в ВУЗ. Про образование и поступление
1 856 subscribers
Образование в Китае 🇨🇳 Чат TravelAsk
18 691 subscribers
Не исключение: об инклюзии в цифровом и физическом мире
5 499 subscribers
Project Russia - Управление проектами в России и в мире
960 subscribers
Школа Жизни
324 subscribers