#матлог #учёба #спецсеминар

В этом году продолжает работу колмогоровский семинар по сложности вычислений и сложности определений!

Первое заседание: 9 сентября.

Место проведения: зум.

Время проведения: понедельник, 18:30–20:00.

Страница семинара: http://logic.math.msu.ru/sem/ks/

Откроет заседания семинара А.Шень. Аннотация доклада:

This Monday on September 9 I would like to present a Levin's question on existence of one-way functions for computable functions on infinite sequences of 0 and 1s, and its solution by Barmpalias and Zhang.

🔗 Колмогоровский семинар по сложности вычислений и сложности определений (Kolmogorov seminar on comple


➰ ВК