Course - Imperative Programming III TT23

From the course webpage: “This course builds on the material taught in Course - Imperative Programming I and II HT23^U and extends the principles of imperative programming developed there to the design and development of larger programs. It introduces the idea of object-oriented design and illustrates this idea with case studies.”

This course was actually removed after I took it, it’s now been replaced by “Introduction to Proof Systems”.

• Course Webpage
• Lecture Notes
• Other courses this term: Courses TT23^U

Notes

• Notes - Imperative Programming TT23, Design patterns^U
• Notes - Imperative Programming TT23, Type variance^U
• Notes - Imperative Programming TT23, Equality^U
• Notes - Imperative Programming TT23, GUIs^U
• Notes - Imperative Programming TT23, Tree traversal^U
• Notes - Imperative Programming TT23, Misc^U

Problem Sheets

• Sheet 1
• Sheet 2
• Sheet 3

Lectures

• Lecture - Imperative Programming TT23, I^U
• Lecture - Imperative Programming TT23, II^U
• Lecture - Imperative Programming TT23, III^U
• Lecture - Imperative Programming TT23, IV^U
• Lecture - Imperative Programming TT23, V^U
• Lecture - Imperative Programming TT23, VI^U
• Lecture - Imperative Programming TT23, VII^U
• Lecture - Imperative Programming TT23, VIII^U
• Lecture - Imperative Programming TT23, IX^U
• Lecture - Imperative Programming TT23, X^U
• Lecture - Imperative Programming TT23, XI^U