Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Программирование в лямбда-исчислении и лямбда-определимость
Системы типизации лямбда-исчисления

Что: Лекция
Когда: Воскресенье, 27 февраля 2011, 13:00–14:35
Где: ПОМИ РАН
Слайды: systemsoftypedlambdacalculi_lecture_270211.pdf

Описание

\( \lambda \)-исчисление как язык программирования. Булевы значения, пары. Числа Чёрча, операции над ними. Примитивная рекурсия. Списки. Лямбда-определимость и вычислимость по Тьюрингу. Неразрешимость бестипового \( \lambda \)-исчисления.

Видео