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

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

https://t.me/formalphilosophy

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

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

Безкоштовне навчання

Освіта

Перший в Україні канал з анонсами безкоштовних лекцій, курсами та навчальними програмами. Для тих, хто хоче і любить вчитися. Зв‘язок: @educationprofessor Посилання: https://t.me/+KBK7ibKOgTVmOGMy Для друзів: @educationfre

https://t.me/joinchat/AAAAAEVWf66yFUfbyk_NDA

ІНЕМ інформує🔊

Освіта

📈ІНСТИТУТ ЕКОНОМІКИ ТА МЕНЕДЖМЕНТУ 🏛НУ "Львівська Політехніка" 🔗instagram: @proburo_inem

https://t.me/prof_inem

Студентський парламент Факультету психології КНУТШ

Освіта

Наші посилання: 🌐 Ми в Instagram: https://www.instagram.com/knu_psyfac/ 🌐 Ми у Tik Tok: https://vm.tiktok.com/ZMd7ubRL7/ 🌐 Ми у Facebook: https://www.facebook.com/psychology.knu/ Є питання? Бот зворотнього зв‘язку з СПФП

https://t.me/psychology_knu

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