http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures Tue, 1 Jul 1986 19:00:00 GMT MIT OpenCourseWare http://ocw.mit.edu en-US Content within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm <p><b>Topics covered</b>: Overview and Introduction to Lisp</p> <p><b> Instructors:</b> Hal Abelson and Gerald Jay Sussman</p> <p>Subtitles for this course are provided through the generous assistance of Henry Baker, Hoofar Pourzand, Heather Wood, Aleksejs Truhans, Steven Edwards, George Menhorn, and Mahendra Kumar.</p>Transcript: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/1a-overview-and-introduction-to-lisp/lec1a_512kb.pdf>PDF (English - US)</a><br>Subtitles: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/1a-overview-and-introduction-to-lisp/lec1a_512kb.srt>SRT (English - US)</a><br>Thumbnail - <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/1a-overview-and-introduction-to-lisp/1A.jpg>JPG (OCW)</a><br>Video - download: <a href= http://www.archive.org/download/MIT_Structure_of_Computer_Programs_1986/lec1a_512kb.mp4>Internet Archive (MP4)</a><br>Video - stream: <a href= http://www.youtube.com/v/2Op3QLzMgSY>YouTube </a><br><br><a href= 'http://ocw.mit.edu/terms/'>(CC BY-NC-SA)</a><br><br> http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/1a-overview-and-introduction-to-lisp Gerald Jay Sussman, Hal Abelson Tue, 1 Jul 1986 19:00:00 GMT <p><b>Topics covered:</b> Procedures and Processes; Substitution Model</p> <p><b> Instructors:</b> Hal Abelson and Gerald Jay Sussman</p> <p>Subtitles for this course are provided through the generous assistance of Henry Baker, Hoofar Pourzand, Heather Wood, Aleksejs Truhans, Steven Edwards, George Menhorn, and Mahendra Kumar.</p>Transcript: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/1b-procedures-and-processes-substitution-model/lec1b_512kb.pdf>PDF (English - US)</a><br>Subtitles: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/1b-procedures-and-processes-substitution-model/lec1b_512kb.srt>SRT (English - US)</a><br>Thumbnail - <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/1b-procedures-and-processes-substitution-model/1B.jpg>JPG (OCW)</a><br>Video - download: <a href= http://www.archive.org/download/MIT_Structure_of_Computer_Programs_1986/lec1b_512kb.mp4>Internet Archive (MP4)</a><br>Video - stream: <a href= http://www.youtube.com/v/dlbMuv-jix8>YouTube </a><br><br><a href= 'http://ocw.mit.edu/terms/'>(CC BY-NC-SA)</a><br><br> http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/1b-procedures-and-processes-substitution-model Gerald Jay Sussman, Hal Abelson Tue, 1 Jul 1986 19:00:00 GMT <p><b>Topics covered:</b> Higher-order Procedures</p> <p><b> Instructors:</b> Hal Abelson and Gerald Jay Sussman</p> <p>Subtitles for this course are provided through the generous assistance of Henry Baker, Hoofar Pourzand, Heather Wood, Aleksejs Truhans, Steven Edwards, George Menhorn, and Mahendra Kumar.</p>Transcript: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/2a-higher-order-procedures/lec2a_512kb.pdf>PDF (English - US)</a><br>Subtitles: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/2a-higher-order-procedures/lec2a_512kb.srt>SRT (English - US)</a><br>Thumbnail - <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/2a-higher-order-procedures/2A.jpg>JPG (OCW)</a><br>Video - download: <a href= http://www.archive.org/download/MIT_Structure_of_Computer_Programs_1986/lec2a_512kb.mp4>Internet Archive (MP4)</a><br>Video - stream: <a href= http://www.youtube.com/v/erHp3r6PbJk>YouTube </a><br><br><a href= 'http://ocw.mit.edu/terms/'>(CC BY-NC-SA)</a><br><br> http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/2a-higher-order-procedures Gerald Jay Sussman, Hal Abelson Tue, 1 Jul 1986 19:00:00 GMT <p><b>Topics covered:</b> Compound Data</p> <p><b> Instructors:</b> Hal Abelson and Gerald Jay Sussman</p> <p>Subtitles for this course are provided through the generous assistance of Henry Baker, Hoofar Pourzand, Heather Wood, Aleksejs Truhans, Steven Edwards, George Menhorn, and Mahendra Kumar.</p>Transcript: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/2b-compound-data/lec2b_512kb.pdf>PDF (English - US)</a><br>Subtitles: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/2b-compound-data/lec2b_512kb.srt>SRT (English - US)</a><br>Thumbnail - <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/2b-compound-data/2B.jpg>JPG (OCW)</a><br>Video - download: <a href= http://www.archive.org/download/MIT_Structure_of_Computer_Programs_1986/lec2b_512kb.mp4>Internet Archive (MP4)</a><br>Video - stream: <a href= http://www.youtube.com/v/ymsbTVLbyN4>YouTube </a><br><br><a href= 'http://ocw.mit.edu/terms/'>(CC BY-NC-SA)</a><br><br> http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/2b-compound-data Gerald Jay Sussman, Hal Abelson Tue, 1 Jul 1986 19:00:00 GMT <p><b>Topics covered:</b> Henderson Escher Example</p> <p><b> Instructors:</b> Hal Abelson and Gerald Jay Sussman</p> <p>Subtitles for this course are provided through the generous assistance of Henry Baker, Hoofar Pourzand, Heather Wood, Aleksejs Truhans, Steven Edwards, George Menhorn, and Mahendra Kumar.</p>Transcript: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/3a-henderson-escher-example/lec3a_512kb.pdf>PDF (English - US)</a><br>Subtitles: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/3a-henderson-escher-example/lec3a_512kb.srt>SRT (English - US)</a><br>Thumbnail - <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/3a-henderson-escher-example/3A.jpg>JPG (OCW)</a><br>Video - download: <a href= http://www.archive.org/download/MIT_Structure_of_Computer_Programs_1986/lec3a_512kb.mp4>Internet Archive (MP4)</a><br>Video - stream: <a href= http://www.youtube.com/v/2QgZVYI3tDs>YouTube </a><br><br><a href= 'http://ocw.mit.edu/terms/'>(CC BY-NC-SA)</a><br><br> http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/3a-henderson-escher-example Gerald Jay Sussman, Hal Abelson Tue, 1 Jul 1986 19:00:00 GMT <p><b>Topics covered:</b> Symbolic Differentiation; Quotation</p> <p><b> Instructors:</b> Hal Abelson and Gerald Jay Sussman</p> <p>Subtitles for this course are provided through the generous assistance of Henry Baker, Hoofar Pourzand, Heather Wood, Aleksejs Truhans, Steven Edwards, George Menhorn, and Mahendra Kumar.</p>Transcript: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/3b-symbolic-differentiation-quotation/lec3b_512kb.pdf>PDF (English - US)</a><br>Subtitles: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/3b-symbolic-differentiation-quotation/lec3b_512kb.srt>SRT (English - US)</a><br>Thumbnail - <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/3b-symbolic-differentiation-quotation/3B.jpg>JPG (OCW)</a><br>Video - download: <a href= http://www.archive.org/download/MIT_Structure_of_Computer_Programs_1986/lec3b_512kb.mp4>Internet Archive (MP4)</a><br>Video - stream: <a href= http://www.youtube.com/v/X21cKVtGvYk>YouTube </a><br><br><a href= 'http://ocw.mit.edu/terms/'>(CC BY-NC-SA)</a><br><br> http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/3b-symbolic-differentiation-quotation Gerald Jay Sussman, Hal Abelson Tue, 1 Jul 1986 19:00:00 GMT <p><b>Topics covered:</b> Pattern Matching and Rule-based Substitution</p> <p><b> Instructors:</b> Hal Abelson and Gerald Jay Sussman</p> <p>Subtitles for this course are provided through the generous assistance of Henry Baker, Hoofar Pourzand, Heather Wood, Aleksejs Truhans, Steven Edwards, George Menhorn, and Mahendra Kumar.</p>Transcript: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/4a-pattern-matching-and-rule-based-substitution/lec4a_512kb.pdf>PDF (English - US)</a><br>Subtitles: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/4a-pattern-matching-and-rule-based-substitution/lec4a_512kb.srt>SRT (English - US)</a><br>Thumbnail - <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/4a-pattern-matching-and-rule-based-substitution/4A.jpg>JPG (OCW)</a><br>Video - download: <a href= http://www.archive.org/download/MIT_Structure_of_Computer_Programs_1986/lec4a_512kb.mp4>Internet Archive (MP4)</a><br>Video - stream: <a href= http://www.youtube.com/v/amf5lTZ0UTc>YouTube </a><br><br><a href= 'http://ocw.mit.edu/terms/'>(CC BY-NC-SA)</a><br><br> http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/4a-pattern-matching-and-rule-based-substitution Gerald Jay Sussman, Hal Abelson Tue, 1 Jul 1986 19:00:00 GMT <p><b>Topics covered</b>: Generic Operators</p> <p><b> Instructors:</b> Hal Abelson and Gerald Jay Sussman</p> <p>Subtitles for this course are provided through the generous assistance of Henry Baker, Hoofar Pourzand, Heather Wood, Aleksejs Truhans, Steven Edwards, George Menhorn, and Mahendra Kumar.</p>Transcript: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/4b-generic-operators/lec4b_512kb.pdf>PDF (English - US)</a><br>Subtitles: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/4b-generic-operators/lec4b_512kb.srt>SRT (English - US)</a><br>Thumbnail - <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/4b-generic-operators/4B.jpg>JPG (OCW)</a><br>Video - download: <a href= http://www.archive.org/download/MIT_Structure_of_Computer_Programs_1986/lec4b_512kb.mp4>Internet Archive (MP4)</a><br>Video - stream: <a href= http://www.youtube.com/v/h6Z7vx9iUB8>YouTube </a><br><br><a href= 'http://ocw.mit.edu/terms/'>(CC BY-NC-SA)</a><br><br> http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/4b-generic-operators Gerald Jay Sussman, Hal Abelson Tue, 1 Jul 1986 19:00:00 GMT <p><b>Topics covered:</b> Assignment, State, and Side-effects</p> <p><b> Instructors:</b> Hal Abelson and Gerald Jay Sussman</p> <p>Subtitles for this course are provided through the generous assistance of Henry Baker, Hoofar Pourzand, Heather Wood, Aleksejs Truhans, Steven Edwards, George Menhorn, and Mahendra Kumar.</p>Transcript: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/5a-assignment-state-and-side-effects/lec5a_512kb.pdf>PDF (English - US)</a><br>Subtitles: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/5a-assignment-state-and-side-effects/lec5a_512kb.srt>SRT (English - US)</a><br>Thumbnail - <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/5a-assignment-state-and-side-effects/5A.jpg>JPG (OCW)</a><br>Video - download: <a href= http://www.archive.org/download/MIT_Structure_of_Computer_Programs_1986/lec5a_512kb.mp4>Internet Archive (MP4)</a><br>Video - stream: <a href= http://www.youtube.com/v/jl8EHP1WrWY>YouTube </a><br><br><a href= 'http://ocw.mit.edu/terms/'>(CC BY-NC-SA)</a><br><br> http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/5a-assignment-state-and-side-effects Gerald Jay Sussman, Hal Abelson Tue, 1 Jul 1986 19:00:00 GMT <p><b>Topics covered:</b> Computational Objects</p> <p><b> Instructors: </b>Hal Abelson and Gerald Jay Sussman</p> <p>Subtitles for this course are provided through the generous assistance of Henry Baker, Hoofar Pourzand, Heather Wood, Aleksejs Truhans, Steven Edwards, George Menhorn, and Mahendra Kumar.</p>Transcript: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/5b-computational-objects/lec5b_512kb.pdf>PDF (English - US)</a><br>Subtitles: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/5b-computational-objects/lec5b_512kb.srt>SRT (English - US)</a><br>Thumbnail - <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/5b-computational-objects/5B.jpg>JPG (OCW)</a><br>Video - download: <a href= http://www.archive.org/download/MIT_Structure_of_Computer_Programs_1986/lec5b_512kb.mp4>Internet Archive (MP4)</a><br>Video - stream: <a href= http://www.youtube.com/v/SsBxcpkyMMw>YouTube </a><br><br><a href= 'http://ocw.mit.edu/terms/'>(CC BY-NC-SA)</a><br><br> http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/5b-computational-objects Gerald Jay Sussman, Hal Abelson Tue, 1 Jul 1986 19:00:00 GMT <p><b>Topics covered:</b> Streams, Part 1</p> <p><b> Instructors:</b> Hal Abelson and Gerald Jay Sussman</p> <p>Subtitles for this course are provided through the generous assistance of Henry Baker, Hoofar Pourzand, Heather Wood, Aleksejs Truhans, Steven Edwards, George Menhorn, and Mahendra Kumar.</p>Transcript: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/6a-streams-part-1/lec6a_512kb.pdf>PDF (English - US)</a><br>Subtitles: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/6a-streams-part-1/lec6a_512kb.srt>SRT (English - US)</a><br>Thumbnail - <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/6a-streams-part-1/6A.jpg>JPG (OCW)</a><br>Video - download: <a href= http://www.archive.org/download/MIT_Structure_of_Computer_Programs_1986/lec6a_512kb.mp4>Internet Archive (MP4)</a><br>Video - stream: <a href= http://www.youtube.com/v/a2Qt9uxhNSM>YouTube </a><br><br><a href= 'http://ocw.mit.edu/terms/'>(CC BY-NC-SA)</a><br><br> http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/6a-streams-part-1 Gerald Jay Sussman, Hal Abelson Tue, 1 Jul 1986 19:00:00 GMT <p><b>Topics covered: </b>Streams, Part 2</p> <p><b> Instructors:</b> Hal Abelson and Gerald Jay Sussman</p> <p>Subtitles for this course are provided through the generous assistance of Henry Baker, Hoofar Pourzand, Heather Wood, Aleksejs Truhans, Steven Edwards, George Menhorn, and Mahendra Kumar.</p>Transcript: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/6b-streams-part-2/lec6b_512kb.pdf>PDF (English - US)</a><br>Subtitles: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/6b-streams-part-2/Lec6b_512kb.srt>SRT (English - US)</a><br>Thumbnail - <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/6b-streams-part-2/6B.jpg>JPG (OCW)</a><br>Video - download: <a href= http://www.archive.org/download/MIT_Structure_of_Computer_Programs_1986/Lec6b_512kb.mp4>Internet Archive (MP4)</a><br>Video - stream: <a href= http://www.youtube.com/v/DCub3iqteuI>YouTube </a><br><br><a href= 'http://ocw.mit.edu/terms/'>(CC BY-NC-SA)</a><br><br> http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/6b-streams-part-2 Gerald Jay Sussman, Hal Abelson Tue, 1 Jul 1986 19:00:00 GMT <p><b>Topics covered:</b> Metacircular Evaluator, Part 1</p> <p><b> Instructors:</b> Hal Abelson and Gerald Jay Sussman</p> <p>Subtitles for this course are provided through the generous assistance of Henry Baker, Hoofar Pourzand, Heather Wood, Aleksejs Truhans, Steven Edwards, George Menhorn, and Mahendra Kumar.</p>Transcript: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/7a-metacircular-evaluator-part-1/lec7a_512kb.pdf>PDF (English - US)</a><br>Subtitles: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/7a-metacircular-evaluator-part-1/lec7a_512kb.srt>SRT (English - US)</a><br>Thumbnail - <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/7a-metacircular-evaluator-part-1/7A.jpg>JPG (OCW)</a><br>Video - download: <a href= http://www.archive.org/download/MIT_Structure_of_Computer_Programs_1986/lec7a_512kb.mp4>Internet Archive (MP4)</a><br>Video - stream: <a href= http://www.youtube.com/v/0m6hoOelZH8>YouTube </a><br><br><a href= 'http://ocw.mit.edu/terms/'>(CC BY-NC-SA)</a><br><br> http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/7a-metacircular-evaluator-part-1 Gerald Jay Sussman, Hal Abelson Tue, 1 Jul 1986 19:00:00 GMT <p><b>Topics covered:</b> Metacircular Evaluator, Part 2</p> <p><b> Instructors:</b> Hal Abelson and Gerald Jay Sussman</p> <p>Subtitles for this course are provided through the generous assistance of Henry Baker, Hoofar Pourzand, Heather Wood, Aleksejs Truhans, Steven Edwards, George Menhorn, and Mahendra Kumar.</p>Transcript: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/7b-metacircular-evaluator-part-2/lec7b_512kb.pdf>PDF (English - US)</a><br>Subtitles: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/7b-metacircular-evaluator-part-2/lec7b_512kb.srt>SRT (English - US)</a><br>Thumbnail - <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/7b-metacircular-evaluator-part-2/7B.jpg>JPG (OCW)</a><br>Video - download: <a href= http://www.archive.org/download/MIT_Structure_of_Computer_Programs_1986/lec7b_512kb.mp4>Internet Archive (MP4)</a><br>Video - stream: <a href= http://www.youtube.com/v/t5EI5fXX8K0>YouTube </a><br><br><a href= 'http://ocw.mit.edu/terms/'>(CC BY-NC-SA)</a><br><br> http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/7b-metacircular-evaluator-part-2 Gerald Jay Sussman, Hal Abelson Tue, 1 Jul 1986 19:00:00 GMT <p><b>Topics covered:</b> Logic Programming, Part 1</p> <p><b> Instructors:</b> Hal Abelson and Gerald Jay Sussman</p> <p>Subtitles for this course are provided through the generous assistance of Henry Baker, Hoofar Pourzand, Heather Wood, Aleksejs Truhans, Steven Edwards, George Menhorn, and Mahendra Kumar.</p>Transcript: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/8a-logic-programming-part-1/lec8a_512kb.pdf>PDF (English - US)</a><br>Subtitles: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/8a-logic-programming-part-1/lec8a_512kb.srt>SRT (English - US)</a><br>Thumbnail - <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/8a-logic-programming-part-1/8A.jpg>JPG (OCW)</a><br>Video - download: <a href= http://www.archive.org/download/MIT_Structure_of_Computer_Programs_1986/lec8a_512kb.mp4>Internet Archive (MP4)</a><br>Video - stream: <a href= http://www.youtube.com/v/cyVXjnFL2Ps>YouTube </a><br><br><a href= 'http://ocw.mit.edu/terms/'>(CC BY-NC-SA)</a><br><br> http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/8a-logic-programming-part-1 Gerald Jay Sussman, Hal Abelson Tue, 1 Jul 1986 19:00:00 GMT <p><b>Topics covered:</b> Logic Programming, Part 2</p> <p><b> Instructors:</b> Hal Abelson and Gerald Jay Sussman</p> <p>Subtitles for this course are provided through the generous assistance of Henry Baker, Hoofar Pourzand, Heather Wood, Aleksejs Truhans, Steven Edwards, George Menhorn, and Mahendra Kumar.</p>Transcript: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/8b-logic-programming-part-2/lec8b_512kb.pdf>PDF (English - US)</a><br>Subtitles: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/8b-logic-programming-part-2/lec8b_512kb.srt>SRT (English - US)</a><br>Thumbnail - <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/8b-logic-programming-part-2/8B.jpg>JPG (OCW)</a><br>Video - download: <a href= http://www.archive.org/download/MIT_Structure_of_Computer_Programs_1986/lec8b_512kb.mp4>Internet Archive (MP4)</a><br>Video - stream: <a href= http://www.youtube.com/v/R3uRidfSpc4>YouTube </a><br><br><a href= 'http://ocw.mit.edu/terms/'>(CC BY-NC-SA)</a><br><br> http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/8b-logic-programming-part-2 Gerald Jay Sussman, Hal Abelson Tue, 1 Jul 1986 19:00:00 GMT <p><b>Topics covered:</b> Register Machines</p> <p><b> Instructors:</b> Hal Abelson and Gerald Jay Sussman</p> <p>Subtitles for this course are provided through the generous assistance of Henry Baker, Hoofar Pourzand, Heather Wood, Aleksejs Truhans, Steven Edwards, George Menhorn, and Mahendra Kumar.</p>Transcript: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/9a-register-machines/lec9a_512kb.pdf>PDF (English - US)</a><br>Subtitles: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/9a-register-machines/lec9a.srt>SRT (English - US)</a><br>Thumbnail - <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/9a-register-machines/9A.jpg>JPG (OCW)</a><br>Video - download: <a href= http://www.archive.org/download/MIT_Structure_of_Computer_Programs_1986/lec9a_512kb.mp4>Internet Archive (MP4)</a><br>Video - stream: <a href= http://www.youtube.com/v/jPDAPmx4pXE>YouTube </a><br><br><a href= 'http://ocw.mit.edu/terms/'>(CC BY-NC-SA)</a><br><br> http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/9a-register-machines Gerald Jay Sussman, Hal Abelson Tue, 1 Jul 1986 19:00:00 GMT <p><b>Topics covered:</b> Explicit-control Evaluator</p> <p><b> Instructors:</b> Hal Abelson and Gerald Jay Sussman</p> <p>Subtitles for this course are provided through the generous assistance of Henry Baker, Hoofar Pourzand, Heather Wood, Aleksejs Truhans, Steven Edwards, George Menhorn, and Mahendra Kumar.</p>Transcript: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/9b-explicit-control-evaluator/lec9b_512kb.pdf>PDF (English - US)</a><br>Subtitles: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/9b-explicit-control-evaluator/lec9b.srt>SRT (English - US)</a><br>Thumbnail - <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/9b-explicit-control-evaluator/9B.jpg>JPG (OCW)</a><br>Video - download: <a href= http://www.archive.org/download/MIT_Structure_of_Computer_Programs_1986/lec9b_512kb.mp4>Internet Archive (MP4)</a><br>Video - stream: <a href= http://www.youtube.com/v/SLcZXbyGC3E>YouTube </a><br><br><a href= 'http://ocw.mit.edu/terms/'>(CC BY-NC-SA)</a><br><br> http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/9b-explicit-control-evaluator Gerald Jay Sussman, Hal Abelson Tue, 1 Jul 1986 19:00:00 GMT <p><b>Topics covered:&nbsp;</b>Compilation</p> <p><b> Instructors:</b> Hal Abelson and Gerald Jay Sussman</p> <p>Subtitles for this course are provided through the generous assistance of Henry Baker, Hoofar Pourzand, Heather Wood, Aleksejs Truhans, Steven Edwards, George Menhorn, and Mahendra Kumar.</p>Transcript: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/10a-compilation/lec10a_512kb.pdf>PDF (English - US)</a><br>Subtitles: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/10a-compilation/Lec10a_512kb.srt>SRT (English - US)</a><br>Thumbnail - <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/10a-compilation/10A.jpg>JPG (OCW)</a><br>Video - download: <a href= http://www.archive.org/download/MIT_Structure_of_Computer_Programs_1986/Lec10a_512kb.mp4>Internet Archive (MP4)</a><br>Video - stream: <a href= http://www.youtube.com/v/kNmiTTKiYd4>YouTube </a><br><br><a href= 'http://ocw.mit.edu/terms/'>(CC BY-NC-SA)</a><br><br> http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/10a-compilation Gerald Jay Sussman, Hal Abelson Tue, 1 Jul 1986 19:00:00 GMT <p><b>Topics covered:&nbsp;</b>Storage Allocation and Garbage Collection</p> <p><b> Instructors:</b> Hal Abelson and Gerald Jay Sussman</p> <p>Subtitles for this course are provided through the generous assistance of Henry Baker, Hoofar Pourzand, Heather Wood, Aleksejs Truhans, Steven Edwards, George Menhorn, and Mahendra Kumar.</p>Transcript: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/10b-storage-allocation-and-garbage-collection/lec10b_512kb.pdf>PDF (English - US)</a><br>Subtitles: <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/10b-storage-allocation-and-garbage-collection/lec10b_512kb.srt>SRT (English - US)</a><br>Thumbnail - <a href= /courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/10b-storage-allocation-and-garbage-collection/10B.jpg>JPG (OCW)</a><br>Video - download: <a href= http://www.archive.org/download/MIT_Structure_of_Computer_Programs_1986/lec10b_512kb.mp4>Internet Archive (MP4)</a><br>Video - stream: <a href= http://www.youtube.com/v/2s2_FAf-yQs>YouTube </a><br><br><a href= 'http://ocw.mit.edu/terms/'>(CC BY-NC-SA)</a><br><br> http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/10b-storage-allocation-and-garbage-collection Gerald Jay Sussman, Hal Abelson Tue, 1 Jul 1986 19:00:00 GMT