コンピュータプログラムの構造と解釈

ジェラルド・サスマンによる第2回講演の翻訳

「手順とプロセス：ワイルドカードモデル。」

これらの講義は25年前にHPの従業員によって行われましたが、これは実際には1980年にMITで教えられた伝説的な6.001入門コースです。 それ以来、これらの講義は、世界規模のプログラミングとまったく同じです。 すべてのプログラマにこのコースを見てもらい、SICPよりも抽象的思考から何も学ばないようにしたいと思います。
夜を見て楽しんでください。

ここで最初の講義を検索：
habrahabr.ru/blogs/htranslations/103322

Yandexビデオで：
video.yandex.ru/users/ztarlitz/view/7

トラッカー、2つの講義のビデオ、別々に潜水艦へのリンク、および啓発を強化するためのロシア語の本。
rutracker.org/forum/viewtopic.php?p=37772721#37772721

UPD Small offtopic：
事実、ハブには数学のブログが1つもありませんが、興味深い定理の証明のスレッドや、数学論理、機能分析、集合論などの興味深いものに関する記事が公開されているブログを読むことに興味がありますか？
算数の不完全性に関するゲーデルの定理の一般的な証拠を使ったビデオ講義がありますが、非常に興味深いですが、それを固執する場所はありません。