Розмістіть свою рекламу в цьому місці за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 підписників