![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Лекция в CS клубе
Сегодня провёл третью и четвёртую лекции в CS клубе при ПОМИ РАН.
Lektorium.tv опоздало на 45 минут, поэтому человечество осталось без одно- и многошаговой редукции, понятия нормальной формы и редукционных графов в моём исполнении :) Подъехали как раз к доказательству теоремы Чёрча-Россера.
После лекций попросили в двух словах изложить содержание пропущенного (под запись); это оказалось почти за гранью моих сил. Во-первых, это и так-то непростая задача, а во-вторых выяснилось, что говорить под запись без аудитории существенно сложнее. Так что что-то промямлил, но не думаю, что получившееся лучше, чем просто начать лекцию с середины.
Lektorium.tv опоздало на 45 минут, поэтому человечество осталось без одно- и многошаговой редукции, понятия нормальной формы и редукционных графов в моём исполнении :) Подъехали как раз к доказательству теоремы Чёрча-Россера.
После лекций попросили в двух словах изложить содержание пропущенного (под запись); это оказалось почти за гранью моих сил. Во-первых, это и так-то непростая задача, а во-вторых выяснилось, что говорить под запись без аудитории существенно сложнее. Так что что-то промямлил, но не думаю, что получившееся лучше, чем просто начать лекцию с середины.
no subject
no subject
no subject