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

[deniok]

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

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

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

Comments

[ultrasonic-rocket-science.blogspot.com (from livejournal.com)]

No way! Я так ждал записей лекций, а тут такой сюрприз. Печально.

[deni-ok.livejournal.com]

Ну это не очень большой кусок (к тому же достаточно хорошо изложенный в разнообразной литературе). Будем надеяться что такого больше не будет.

[kurilka.livejournal.com]

А когда можно ожидать записи, нет инфы?

[deni-ok.livejournal.com]

Говорят, что они довольно долго работают - в среднем несколько месяцев.

[xeno-by.livejournal.com]

Я недавно посмотрел четвертую лекцию и в процессе решения домашнего задания наткнулся на затык. Как построить терм типа ((a -> b) -> a) -> (a -> a -> b) -> a? Терм обязательно должен быть замкнутым? Может, у вас есть какие-нибудь подсказки?

[deni-ok.livejournal.com]

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

[xeno-by.livejournal.com]

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