я уверен, что всякие роботы, которые отнимут вашу работу, будут частично построены на какой то крутой модификации эпистемической логики плюс нейронные сети сверху
Empty Name
у этой хуйню конечно очень серьезное дальнейшее применение в computer science
profound applications так сказать
Empty Name
38 видео в плейлисте и я посмотрю каждое
блять ну почему САМЫЙ СЛОЖНЫЙ кусок семинара просто не записался на видео
сиди разбирайся с определением какой то хуйни и трансфинитной индукции по конспекту нахуй
поскольку я начал читать Четыре поэта Седаковой, вот охуенное стихотворение Элиота про ели
❤🔥1
библиотека мирзояна: джин тоник за 1100 рублей, ковер на столе, розетки без рамки, а также деревянная скрипучая лестница шириной в 10 см
забыл самое главное – русские которые говорят на очень плохом английском потому что не хотят говорить на русском
Empty Name
между прочим вопрос абсолютно тупой, но так я нашел статью по теории игр + логика публичных объявлений, что очень интересно https://link.springer.com/article/10.1007/s11229-010-9838-8
въебало от джин тоника и я не понимаю как авторы склеили эпистемическую логику с теорией игр
Empty Name
Photo
бип боп бип боп dependent type theory sum computation rule product uniqueness
ладно я хотел забежать чуть вперед относительно своих знаний, но меня накрыло волной непонимания и обоссала математика
вот вроде хочется за раз прочесть 30 страничную статью и все понять, но потом вспоминаю что аналогичную папиру мы обсуждали 3 семинара