Перевод второй лекции Джеральда Сассмана
«Процедуры и процессы: подстановочная модель.»
Эти лекции были прочитаны 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 Небольшой оффтопик:
Дело в том что на хабре нет ни одного блога по математике, было бы вам интересно читать такой блог, где бы публиковались какие-нить доказательства интересных теорем или статей по математической логике, функциональному анализу, теории множеств и прочим интересным вещам?
У меня есть видео лекция с популярным доказательство теоремы Геделя о неполноте арифметики, очень интересная, но ее некуда воткнуть.