# Course - Imperative Programming III TT23

> Source: https://ollybritton.com/notes/uni/prelims/tt23/ip/imperative-programming-iii/ · Updated: 2025-09-30 · Tags: uni, course

> From the course webpage: "This course builds on the material taught in [Course - Imperative Programming I and II HT23](https://ollybritton.com/notes/uni/prelims/ht23/ip/) 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"](https://www.cs.ox.ac.uk/teaching/courses/2023-2024/IPS/).

- [Course Webpage](https://www.cs.ox.ac.uk/teaching/courses/2022-2023/imperativeprogramming3/)
- [Lecture Notes](https://www.cs.ox.ac.uk/teaching/materials22-23/imperativeprogramming3/IP3_Notes_v2.2.pdf)
- Other courses this term: [Courses TT23](https://ollybritton.com/notes/uni/prelims/tt23/courses/)

### Notes
- [Notes - Imperative Programming TT23, Design patterns](https://ollybritton.com/notes/uni/prelims/tt23/ip/notes/design-patterns/)
- [Notes - Imperative Programming TT23, Type variance](https://ollybritton.com/notes/uni/prelims/tt23/ip/notes/type-variance/)
- [Notes - Imperative Programming TT23, Equality](https://ollybritton.com/notes/uni/prelims/tt23/ip/notes/equality/)
- [Notes - Imperative Programming TT23, GUIs](https://ollybritton.com/notes/uni/prelims/tt23/ip/notes/guis/)
- [Notes - Imperative Programming TT23, Tree traversal](https://ollybritton.com/notes/uni/prelims/tt23/ip/notes/tree-traversal/)
- [Notes - Imperative Programming TT23, Misc](https://ollybritton.com/notes/uni/prelims/tt23/ip/misc/)

### Problem Sheets
- [Sheet 1](https://www.cs.ox.ac.uk/teaching/materials22-23/imperativeprogramming3/tutorial1.pdf)
- [Sheet 2](https://www.cs.ox.ac.uk/teaching/materials22-23/imperativeprogramming3/tutorial2.pdf)
- [Sheet 3](https://www.cs.ox.ac.uk/teaching/materials22-23/imperativeprogramming3/tutorial3.pdf)

### Lectures
- [Lecture - Imperative Programming TT23, I](https://ollybritton.com/notes/uni/prelims/tt23/ip/lectures/i/)
- [Lecture - Imperative Programming TT23, II](https://ollybritton.com/notes/uni/prelims/tt23/ip/lectures/ii/)
- [Lecture - Imperative Programming TT23, III](https://ollybritton.com/notes/uni/prelims/tt23/ip/lectures/iii/)
- [Lecture - Imperative Programming TT23, IV](https://ollybritton.com/notes/uni/prelims/tt23/ip/lectures/iv/)
- [Lecture - Imperative Programming TT23, V](https://ollybritton.com/notes/uni/prelims/tt23/ip/lectures/v/)
- [Lecture - Imperative Programming TT23, VI](https://ollybritton.com/notes/uni/prelims/tt23/ip/lectures/vi/)
- [Lecture - Imperative Programming TT23, VII](https://ollybritton.com/notes/uni/prelims/tt23/ip/lectures/vii/)
- [Lecture - Imperative Programming TT23, VIII](https://ollybritton.com/notes/uni/prelims/tt23/ip/lectures/viii/)
- [Lecture - Imperative Programming TT23, IX](https://ollybritton.com/notes/uni/prelims/tt23/ip/lectures/ix/)
- [Lecture - Imperative Programming TT23, X](https://ollybritton.com/notes/uni/prelims/tt23/ip/lectures/x/)
- [Lecture - Imperative Programming TT23, XI](https://ollybritton.com/notes/uni/prelims/tt23/ip/lectures/xi/)

---
Olly Britton — https://ollybritton.com. Machine-readable index: https://ollybritton.com/llms.txt