Как стать автором
Обновить

Структура и интерпретация компьютерных программ

Время на прочтение 1 мин
Количество просмотров 12K
image
Перевод второй лекции Джеральда Сассмана
«Процедуры и процессы: подстановочная модель.»

Эти лекции были прочитаны 25 лет назад сотрудникам HP, но на самом деле это тот легендарный вводный курс 6.001, который читался в MIT в 1980 году. С тех пор эти лекции sine qua none во всем мире программирования. Хотелось бы чтобы каждый программист посмотрел этот курс, ничего не учит абстрактному мышлению лучше, чем SICP.
Приятного просмотра на ночь глядя.

Первую лекцию искать здесь:
habrahabr.ru/blogs/htranslations/103322

на яндекс видео:
video.yandex.ru/users/ztarlitz/view/7

Ссылка на трекер, видео двух лекций, отдельно сабы, и для пущего просветления книга на русском языке.
rutracker.org/forum/viewtopic.php?p=37772721#37772721

UPD Небольшой оффтопик:
Дело в том что на хабре нет ни одного блога по математике, было бы вам интересно читать такой блог, где бы публиковались какие-нить доказательства интересных теорем или статей по математической логике, функциональному анализу, теории множеств и прочим интересным вещам?
У меня есть видео лекция с популярным доказательство теоремы Геделя о неполноте арифметики, очень интересная, но ее некуда воткнуть.
Теги:
Хабы:
+75
Комментарии 37
Комментарии Комментарии 37

Публикации

Истории

Ближайшие события

Московский туристический хакатон
Дата 23 марта – 7 апреля
Место
Москва Онлайн
Геймтон «DatsEdenSpace» от DatsTeam
Дата 5 – 6 апреля
Время 17:00 – 20:00
Место
Онлайн