#матлог #спецсеминар #не_мехмат #МФТИ
Слайды доклада М.Н.Рыбакова "Неразрешимость QLC с двумя переменными" (https://vk.com/wall-70743963_1754) прикреплены к посту!
📝 slides-QLC-2.pdf
➰ ВК
Post #40
136
КА Кафедра математической логики и теории алгоритмов мехмата МГУ @msu_mathlog · 340 subscribers