Course - Imperative Programming III TT23

Created: April 27, 2023 | Updated: September 30, 2025 | Read markdown | About these notes

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

Problem Sheets

Lectures

Related posts

Notes - Imperative Programming TT23, Misc^U

(incoming)
Prelims^U

(incoming)
University Notes^U

(incoming)
Course - Imperative Programming I and II HT23^U

(incoming)
Tutorial - Imperative Programming I and II - 2023-05-04^U

(incoming)
Lecture - Imperative Programming HT23, VI^U

(sim: 0.683)
Lecture - Imperative Programming HT23, VII^U

(sim: 0.669)
Courses TT23^U

(incoming)
Notes - Imperative Programming TT23, Type variance^U

(incoming)
Notes - Imperative Programming TT23, GUIs^U

(incoming)
Notes - Imperative Programming TT23, Design patterns^U

(incoming)
Notes - Imperative Programming TT23, Equality^U

(incoming)
Notes - Imperative Programming TT23, Tree traversal^U

(incoming)
Course - Functional Programming MT22^U

(incoming)
Course - Logic MT24^U

(sim: 0.668)