Slides from the Lectures

These slides from the lectures are available in Portable Document Format (PDF), PostScript, and (for those who want to print them off with more or fewer slides to the page), in Microsoft PowerPoint (PPt).

  1. Introduction [ PDF | PostScript | PPt ]
  2. Structure of programs [ PDF | PostScript | PPt ]
  3. Managing complexity [ PDF | PostScript | PPt ]

    4.  
  4. Imperative languages [ PDF | PostScript | PPt ]
  5. Data [ PDF | PostScript | PPt ]
  6. Data and data types [ PDF | PostScript | PPt ]

    7.  
  7. More on basic data types [ PDF | PostScript | PPt ]
  8. Compound data types: arrays [ PDF | PostScript | PPt ]
  9. Compound data types: more arrays [ PDF | PostScript | PPt ]

    10.  
  10. Compound data types: enumerated types and records [ PDF | PostScript | PPt ]
  11. Compound data types: linked lists [ PDF | PostScript | PPt ]
  12. Compound data types: pointers and more linked lists [ PDF | PostScript | PPt ]

    13.  
  13. Expressions and statements [ PDF | PostScript | PPt ]
  14. Program constructs: selection [ PDF | PostScript | PPt ]
  15. Program constructs: repetition [ PDF | PostScript | PPt ]

    16.  
  16. Program constructs: error-handling; Program composition [ PDF | PostScript | PPt ]
  17. Program composition: scope and parameter-passing [ PDF | PostScript | PPt ]
  18. Program composition: modules [ PDF | PostScript | PPt ]

    19.  
  19. Introduction to functional languages [ PDF | PostScript | PPt ]
  20. Introduction to Haskell [ PDF | PostScript | PPt ]
  21. More Haskell [ PDF | PostScript | PPt ]

    22.  
  22. Lists [ PDF | PostScript | PPt ]
  23. Lists and recursion [ PDF | PostScript | PPt ]
  24. Higher-order functions [ PDF | PostScript | PPt ]

    25.  
  25. Continuation of previous lecture
  26. User-defined types [ PDF | PostScript | PPt ]
  27. Recursive user-defined types [ PDF | PostScript | PPt ]

    28.  
  28. Continuation of previous lecture
  29. Errors and lazy evaluation [ PDF | PostScript | PPt ]
  30. Infinite lists [ PDF | PostScript | PPt ]

    31.  
  31. Semantics of imperative languages [ PDF | PostScript | PPt ]
  32. Semantics of functional languages: the lambda calculus [ PDF | PostScript | PPt ]
  33. More lambda calculus [ PDF | PostScript | PPt ]

    34.  
  34. Logic programming 1 [ PDF | PostScript | PPt ]
  35. Logic Programming 2 [ PDF | PostScript | PPt ]


 
Grant Malcolm
Last modified: Fri Dec 6 14:26:47 GMT 2002