Читаем Современная модальная логика: между математикой и информатикой, И.Б. Шапировский, В.Б. Шехтман
Думаю, стоит нам немного отдохнуть от философии и заняться чем-то более приземлённым. Предлагаю прочитать обзор современного состояния исследований в модальной логике от крупных специалистов в ней. По-хорошему, конечно, надо было бы эту статью читать до книги Хеллмана, но как уж получилось. Зато теперь чтение будет мотивированное!
Прочитать статью к пятнице, 9августа. Встречаемся на нашем дискорд-сервере в 19:00 по Москве.
Читаем Современная модальная логика: между математикой и информатикой, И.Б. Шапировский, В.Б. Шехтман
Думаю, стоит нам немного отдохнуть от философии и заняться чем-то более приземлённым. Предлагаю прочитать обзор современного состояния исследований в модальной логике от крупных специалистов в ней. По-хорошему, конечно, надо было бы эту статью читать до книги Хеллмана, но как уж получилось. Зато теперь чтение будет мотивированное!
Прочитать статью к пятнице, 9августа. Встречаемся на нашем дискорд-сервере в 19:00 по Москве.
He floated the idea of restricting the use of Telegram in Ukraine and Russia, a suggestion that was met with fierce opposition from users. Shortly after, Durov backed off the idea. Telegram was co-founded by Pavel and Nikolai Durov, the brothers who had previously created VKontakte. VK is Russia’s equivalent of Facebook, a social network used for public and private messaging, audio and video sharing as well as online gaming. In January, SimpleWeb reported that VK was Russia’s fourth most-visited website, after Yandex, YouTube and Google’s Russian-language homepage. In 2016, Forbes’ Michael Solomon described Pavel Durov (pictured, below) as the “Mark Zuckerberg of Russia.” Individual messages can be fully encrypted. But the user has to turn on that function. It's not automatic, as it is on Signal and WhatsApp. Soloviev also promoted the channel in a post he shared on his own Telegram, which has 580,000 followers. The post recommended his viewers subscribe to "War on Fakes" in a time of fake news.
from pl
