Лекция в CS клубе

[deniok]

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

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

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

Comments

[deni-ok.livejournal.com]

Пусть имеется g : a -> a -> b.
Подумайте как из этого получить функцию с типом a -> b.

[xeno-by.livejournal.com]

Спасибо за ответ! Давайте продолжим общение через приватные мессаги, чтобы не спойлить решение.