Телеграм канал Формальная ФилософияShare!

Канал о философии математики. В качестве формального языка используется гомотопическая теория типов, в качестве имплементации — кубики. Много прозы.
Освіта

https://t.me/formalphilosophy

Перейти в канал @formalphilosophy

Каталог телеграм каналів

Кафедра комп'ютерних наук та програмної інженерії

Освіта

Актуальна інформація, новини для студентів та викладачів

https://t.me/kipiek

Розвивайся! 💁 Майстер-класи, вебінари, курси різних напрямів

Освіта

"Я настільки сильно себе люблю, що буду працювати над собою вічно" Розвиваючі заходи: вебінари, майстер-класи, курси різних напрямів. Контакт тільки через - @bedeveloped_bot (переходіть через клік)

https://t.me/bedeveloped

Приемная комиссия ДонГТИ (г. Алчевск)

Освіта

http://pk.dstu.education - сайт Приемной комиссии Донбасского государственного технического института http://www.dstu.education - сайт Института https://t.me/dongtu_alchevsk - telegram-канал Института

https://t.me/pk_dstu

Каталог телеграм каналів