> 1 <

Автор Сообщение

Яков Замир Кацман

Members


Статус

38 сообщений

Где: France
Род занятий:
Возраст:

#7664   2015-11-05 19:52 GMT+3 часа(ов)      
Спецкурс «Лямбда-исчисление, или вычислительная теория доказательств», 2015
Лямбда-исчисление, или вычислительная теория доказательств. С.Л.Кузнецов

http://www.mathnet.ru/php/seminars.phtml?presentid=11088&option_lang=rus
Море литературы по Лисп-у и смежным технологиям.

divanov

Members


Статус

19 сообщений
http://lisp.ystok.ru
Где: Russia Москва
Род занятий:
Возраст:

#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

Members


Статус

19 сообщений
http://lisp.ystok.ru
Где: Russia Москва
Род занятий:
Возраст:

#7704   2016-03-06 11:37 GMT+3 часа(ов)      
Необходимо высказать, что курс С.Л.Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств» имеет отношение к языку Лисп "поскольку-постольку".

Само слово "лисп" в лекциях не прозвучало ни разу! Напротив, язык С++ упоминался как минимум дважды: один раз в контексте реализации полиморфной функции sort, которая меж тем является стандартной встроенной в Коммон Лисп.

Заявленная в программе курса система Coq для формализации математических доказательств на ЭВМ не продемонстрирована и даже ни разу не упоминалась :-(

mew2

Members


Статус

13 сообщений

Где: Ukraine
Род занятий:
Возраст:

#7720   2016-03-15 01:56 GMT+3 часа(ов)      
Тащемта все содержание лекций на практике понимается за час-полтора с парой десятков хороших примеров.
Лично для меня только видео с лекций SICP 1986 года были полезны, да и то поскольку и scheme и фп для меня было чем-то совершенно новым.
После я пытался смотреть лекции конкретно по лямбда исчислению и фп на русском, не эти правда, но похожие. И единственным открытием в них было то, что то что я постоянно применяю на практике даже не задумываясь, оказывается имеет такие сложные и запутанные названия и доказываеся кучей умных формул.

Я не хочу сказать, что это все совсем прям чепуха, нет. Я хочу сказать, что чтобы действительно представлять себе, о чем идет речь во всяких разговорах про Y-комбинаторы, нужно уже уметь ими пользоваться, но не наоборот.

divanov

Members


Статус

19 сообщений
http://lisp.ystok.ru
Где: Russia Москва
Род занятий:
Возраст:

#7731   2016-03-25 23:15 GMT+3 часа(ов)      
Сомневаюсь, что слушатель, впервые столкнувшийся с лямбда-исчислением, может за час-полтора осилить материал 12 лекций. Если отчасти знаком и особенно не вникает в доказательства, то охватить реально.
> 1 <


Онлайн :

0 пользователь(ей), 19 гость(ей) :




Реклама на сайте: