01
Lecture 1· 1:06:56
Streams, Part 1
A foundational lecture from MIT's seminal 6.001 course, exploring the concept of streams in functional programming and their role in managing computational processes.
1:06:56
MITSystems & CSundergraduateJuly 1986 / Spring 2005
Logic Programming, Part 1
An introduction to the declarative paradigm of logic programming, presented as part of MIT's seminal 6.001 course on the structure and interpretation of computer programs.
6lectures6htotal runtime
Syllabus progress0 of 6 watched
Reading: Harold Abelson & Gerald Jay Sussman with Julie Sussman, Structure and Interpretation of Computer Programs (2nd ed., MIT Press)
Course textbook & companion reading
Amazon Associate
Syllabus
602
Lecture 2· 44:02
Symbolic Differentiation and Quotation in Lisp
Explore the foundational concepts of symbolic differentiation and the role of quotation in Lisp, as presented in MIT's seminal 6.001 course on the structure and interpretation of computer programs.
44:02
03
Lecture 3· 1:01:21
Higher-Order Procedures and Functional Abstraction
Examine the principles of higher-order procedures and their significance in achieving powerful functional abstraction, as taught in MIT's foundational 6.001 curriculum.
1:01:21
04
Lecture 4· 41:45
Logic Programming, Part 1
An introduction to the declarative paradigm of logic programming, presented as part of MIT's seminal 6.001 course on the structure and interpretation of computer programs.
41:45
05
Lecture 5· 1:15:25
The Henderson Escher Example: Recursive Graphics
Delve into the Henderson Escher example, illustrating the power of recursive procedures and functional abstraction in generating complex graphical patterns, from MIT's 6.001 curriculum.
1:15:25
06
Lecture 6· 1:16:47
Compound Data Structures in Programming
An exploration of compound data structures and their role in building robust and abstract programming systems, drawn from MIT's influential 6.001 course.
1:16:47
Curriculum Web, Prerequisites & Parallel Courses
3 connectionsPrerequisite foundations, follow-on graduate progressions, cross-institutional course twins, and research seminar extensions.
Parallel Course Across Institutionscourse
CST-DS: Cambridge CST: Distributed Systems
University of Cambridge · Martin Kleppmann
Parallel undergraduate curricula in Distributed Systems taught at University of Cambridge (Martin Kleppmann) and MIT (Hal Abelson & Gerald Jay Sussman).
Follow-On Course / Lecturecourse
6.824: MIT 6.824: Distributed Systems
MIT · Robert Morris
MIT: Logic Programming, Part 1 (MIT) establishes the undergraduate foundations in Distributed Systems required for MIT 6.824: Distributed Systems (MIT).
Prerequisite Foundationcourse
Introduction to Computer Science and Programming using Python (MIT) establishes the introductory foundations in Distributed Systems required for MIT: Logic Programming, Part 1 (MIT).