September 9, 2010 at 17:06The structure and interpretation of computer programs
Translation of the second lecture by Gerald Sassman
“Procedures and processes: a wildcard model.”
These lectures were delivered 25 years ago by HP employees, but this is actually the legendary 6.001 introductory course taught at MIT in 1980. Since then, these lectures are sine qua none worldwide programming. I would like every programmer to take a look at this course, learn nothing from abstract thinking better than SICP.
Enjoy watching the night looking.
Look for the first lecture here:
habrahabr.ru/blogs/htranslations/103322
on Yandex video:
video.yandex.ru/users/ztarlitz/view/7
Link to the tracker, video of two lectures, separately subs, and a book in Russian to enhance enlightenment .
rutracker.org/forum/viewtopic.php?p=37772721#37772721
UPD Small offtopic:
The fact is that there is not a single math blog on the hub, would you be interested to read such a blog, where some evidence of interesting theorems or articles on mathematical logic, functional analysis, set theory and other interesting things would be published?
I have a video lecture with a popular proof of Godel’s theorem on the incompleteness of arithmetic, very interesting, but there’s nowhere to stick it.
