deniok: (lambda cube)
Очень хорошие лекционные заметки Femke van Raamsdonk'а из Vrije Universiteit Amsterdam. Курс похож на тот, что я читал в CS Club'е при ПОМИ, но с несколько большим уклоном в логику и примерами с использованием Coq.
Рекомендую своим студентам как полезное дополнительное чтение и удобное введение в Coq.
deniok: (Default)
Сегодня провёл третью и четвёртую лекции в CS клубе при ПОМИ РАН.

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

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

Анонс

Feb. 18th, 2011 09:35 am
deniok: (Default)
Буду со следующего воскресенья (27.02.2011) читать в Computer Science клубе при ПОМИ РАН читать курс Системы типизации лямбда-исчисления.

Read more... )

Обратите внимание, что лекции будут некоторое время в Академическом университете, на Фонтанке - ремонт (подробности - по первой ссылке).

Profile

deniok: (Default)
deniok

April 2017

S M T W T F S
      1
23 45678
9101112131415
16171819202122
23242526272829
30      

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 25th, 2017 02:53 pm
Powered by Dreamwidth Studios