/
lectern.tv
Play15s30s1x0:00/--:--
DoneWatched
Expand
lectern.tv
20:23/1:12:56
3:48
1:32
1:47
6:14
4:29
2:03
4:36
3:24
1:53
3:11
2:24
3:11
1:14
1:49
1:55
4:53
2:39
2:46
1:02
2:08
3:34
5:13
0:36
2:19
1:52
2:10
Harold Abelson's inaugural lecture for MIT's 6.001 introduces Lisp as a foundational tool for computational abstraction.
Lecture guide · Written by AI from the lecture. For the lecture’s own words, open the Transcript tab.
Opening lecture of 10-session syllabus
Procedures and Processes: The Substitution Model, Recursion & Iteration
Professor of Electrical Engineering and Computer Science at MIT
MIT Professor of Electrical Engineering and Computer Science and co-author of Structure and Interpretation of Computer Programs (SICP).
Professor of Electrical Engineering and Computer Science
MIT Professor and co-author of SICP and Structure and Interpretation of Classical Mechanics, co-inventor of the Scheme programming language.
SICP's rigorous approach to program construction and reasoning, particularly its emphasis on referential transparency and formal semantics, naturally bridges to formal methods and type theory for program correctness.
SICP's deep dive into language design and powerful abstraction mechanisms aligns with Hanrahan's discussion on the critical role of effective notation in shaping computational thought and expressiveness.
SICP provides a foundational understanding of programming language design, interpretation, and compilation, exploring concepts like lambda calculus, recursion, and abstraction that underpin modern language theory.
