> 1 <
Автор | Сообщение |
Яков Замир Кацман
38 сообщений |
#7664 2015-11-05 19:52 GMT+3 часа(ов) |
Спецкурс «Лямбда-исчисление, или вычислительная теория доказательств», 2015
Лямбда-исчисление, или вычислительная теория доказательств. С.Л.Кузнецов http://www.mathnet.ru/php/seminars.phtml?presentid=11088&option_lang=rus |
|
Море литературы по Лисп-у и смежным технологиям.
|
|
divanov
19 сообщений |
#7700 2016-02-13 23:06 GMT+3 часа(ов) |
Ещё один курс, также касающийся лямбда-исчисления и тоже от хорошего дядьки :-)
"Функциональное программирование и не только" - конспект лекций и лабораторных работ. В практической части идёт изложение основ Коммон Лисп. Часть материала и примеров адаптированы из SICP (Структура и интерпретация компьютерных программ). http://lisp.ystok.ru/fp/help.html отредактировал(а) divanov: 2016-02-13 23:12 GMT+3 часа(ов) |
|
divanov
19 сообщений |
#7704 2016-03-06 11:37 GMT+3 часа(ов) |
Необходимо высказать, что курс С.Л.Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств» имеет отношение к языку Лисп "поскольку-постольку".
Само слово "лисп" в лекциях не прозвучало ни разу! Напротив, язык С++ упоминался как минимум дважды: один раз в контексте реализации полиморфной функции sort, которая меж тем является стандартной встроенной в Коммон Лисп. Заявленная в программе курса система Coq для формализации математических доказательств на ЭВМ не продемонстрирована и даже ни разу не упоминалась :-( |
|
mew2
13 сообщений |
#7720 2016-03-15 01:56 GMT+3 часа(ов) |
Тащемта все содержание лекций на практике понимается за час-полтора с парой десятков хороших примеров.
Лично для меня только видео с лекций SICP 1986 года были полезны, да и то поскольку и scheme и фп для меня было чем-то совершенно новым. После я пытался смотреть лекции конкретно по лямбда исчислению и фп на русском, не эти правда, но похожие. И единственным открытием в них было то, что то что я постоянно применяю на практике даже не задумываясь, оказывается имеет такие сложные и запутанные названия и доказываеся кучей умных формул. Я не хочу сказать, что это все совсем прям чепуха, нет. Я хочу сказать, что чтобы действительно представлять себе, о чем идет речь во всяких разговорах про Y-комбинаторы, нужно уже уметь ими пользоваться, но не наоборот. |
|
divanov
19 сообщений |
#7731 2016-03-25 23:15 GMT+3 часа(ов) |
Сомневаюсь, что слушатель, впервые столкнувшийся с лямбда-исчислением, может за час-полтора осилить материал 12 лекций. Если отчасти знаком и особенно не вникает в доказательства, то охватить реально.
|
|
> 1 <