Сегодня провёл третью и четвёртую лекции в CS клубе при ПОМИ РАН.

Lektorium.tv опоздало на 45 минут, поэтому человечество осталось без одно- и многошаговой редукции, понятия нормальной формы и редукционных графов в моём исполнении :) Подъехали как раз к доказательству теоремы Чёрча-Россера.

После лекций попросили в двух словах изложить содержание пропущенного (под запись); это оказалось почти за гранью моих сил. Во-первых, это и так-то непростая задача, а во-вторых выяснилось, что говорить под запись без аудитории существенно сложнее. Так что что-то промямлил, но не думаю, что получившееся лучше, чем просто начать лекцию с середины.