- Каталогтан іздеуNEW
- Үздік арналар
- Жаңа арналар
- Тақырыптар мен тегтер
- Өз арнаңызды қосу
- Платформадағы жарнама 🔥
Жарнамаңызды осы жерге орналастырыңыз –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 жазылушы