Post #217
1.03K
Сложность вычислений ФПМИ Институт математики им. Стеклова и МФТИ открывают базовую кафедру, в рамках которой будет читаться линейка алгоритмических курсов. Вот список курсов и расписание: пн 10:00 — 11:25: «Теория чисел» (лектор М.Р. Габдуллин) пн 11:30 — 12:55: «Доказуемость и формальная…
Курс по доказуемости в итоге будет по вторникам с 14:30 до 16:00. Первая лекция завтра онлайн, потом планируется офлайн с трансляцией. Регистрация на курс вот тут: http://www.mathnet.ru/php/conference.phtml?option_lang=rus&eventID=28&confid=1834