/
lectern.tv
Play15s30s1x0:00/--:--
DoneWatched
Expand
lectern.tv
27:44/58:22
1:10
2:00
0:32
1:57
1:33
2:43
2:03
1:23
3:44
1:55
0:46
1:34
1:39
3:08
2:13
2:14
2:28
1:14
3:17
2:23
2:15
2:44
2:07
2:44
2:41
4:15
1:26
A foundational exploration of procedures, processes, and the substitution model, integral to understanding computation as taught in MIT's 6.001 'Structure and Interpretation of Computer Programs'.
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.
