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

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

https://t.me/formalphilosophy

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

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

Boychuk. Radio

Освіта

You can view and join @boychukradio right away.

https://t.me/boychukradio

ШКОЛА БЛОГЕРА.

Освіта

💥Cпільний проект «Фонду сприяння демократії» та «Представництва Фонду Ганса Зайделя в Україні» 💥Слухачі нашого проекту отримають базові знання про політичні ідеології, їх генезис, розвиток та сучасний стан.

https://t.me/politedu

Наукова Бібліотека НЮУ ім. Ярослава Мудрого

Освіта

Години роботи: пн.-пт. 8.30-17.00 сб.-вихідний день нд.-вихідний день

https://t.me/library_nlu

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