The Structure and Interpretation of Computer Programs

Introduction to programming and computer science. This course exposes students to techniques of abstraction at several levels: (a) within a programming language, using higher-order functions, manifest types, data-directed programming, and message-passing; (b) between programming languages, using functional and rule-based languages as examples. It also relates these techniques to the practical problems of implementation of languages and algorithms on a von Neumann machine. There are several significant programming projects, programmed in a dialect of the LISP language.

Lectures

1. favorites

   Lecture 1 - Functional Programming I

2. favorites

   Lecture 2 - Functional Programming II

3. favorites

   Lecture 3 - Higher-Order Procedures I

4. favorites

   Lecture 4 - Higher-Order Procedures II

5. favorites

   Lecture 5 - Orders Of Growth

6. favorites

   Lecture 6 - Recursion And Iteration

7. favorites

   Lecture 7 - User Interface I (Alan Kay)

8. favorites

   Lecture 8 - User Interface II (Alan Kay)

9. favorites

   Lecture 9 - Data Abstraction

10. favorites

    Lecture 10 - Sequences

11. favorites

    Lecture 11 - Example - Calculator

12. favorites

    Lecture 12 - Hierarchical Data I

13. favorites

    Lecture 13 - Hierarchical Data II

14. favorites

    Lecture 14 - Scheme-1 Interpreter

15. favorites

    Lecture 15 - Generic Operators I

16. favorites

    Lecture 16 - Generic Operators II

17. favorites

    Lecture 17 - Object-Oriented Programming I

18. favorites

    Lecture 18 - Object-Oriented Programming II

19. favorites

    Lecture 19 - Object-Oriented Programming III

20. favorites

    Lecture 20 - Assignment And State

21. favorites

    Lecture 21 - Environments I

22. favorites

    Lecture 22 - Environments II

23. favorites

    Lecture 23 - Mutable Data I

24. favorites

    Lecture 24 - Mutable Data II

25. favorites

    Lecture 25 - Vectors

26. favorites

    Lecture 26 - Client-Server Programming

27. favorites

    Lecture 27 - Concurrency I

28. favorites

    Lecture 28 - Concurrency II

29. favorites

    Lecture 29 - Streams I

30. favorites

    Lecture 30 - Streams II

31. favorites

    Lecture 31 - Mapreduce I

32. favorites

    Lecture 32 - Metacircular Evaluator, Logo I

33. favorites

    Lecture 33 - Metacircular Evaluator, Logo II

34. favorites

    Lecture 34 - Mapreduce II

35. favorites

    Lecture 35 - Analyzing Evaluator

36. favorites

    Lecture 36 - Therac-25

37. favorites

    Lecture 37 - Lazy Evaluator

38. favorites

    Lecture 38 - Nondeterministic Evaluator I

39. favorites

    Lecture 39 - Nondeterministic Evaluator II

40. favorites

    Lecture 40 - Logic Programming I

41. favorites

    Lecture 41 - Logic Programming II

42. favorites

    Lecture 42 - Shell Programming

43. favorites

    Lecture 43 - Structure and Interpretation of Computer Programs Review I

44. favorites

    Lecture 44 - Structure and Interpretation of Computer Programs Review II