| |
| |
| Home | Course outline | News | Forum | Event B | Rodin | Lecture Notes | Tutorials | Assignments | Classical B website |
| Archive | Podcasts | Solutions | Submission | ||||||
| Abrial’s slides | |||||||||
This page contains both notes and slides versions of the lectures. The slides version corresponds to the presentation used in the lectures, while the notes contain the same information, but formatted as an article.
Lecture Notes/Slides Directories ![[Picture]](../Icons/pdf.gif){kind=icon}
| Week | Date | Lecture Notes | Lecture Slides |
| 0 | 09/05/13 | No lecture notes | |
| 1 | 09/03/11-12 | SquareRoot article | SquareRoot slides |
| 1 & 2 | 09/03/12,18,25 | TrafficLights article | TrafficLights slides |
| 3 | 09/03/26 | Semantics article | Semantics slides |
| 4 | 09/04/01, 09/04/02 | Sorting article | Sorting slides |
| 6 | 09/04/29 | Partial Lift Control system | |
| 8 | 09/05/07 | Refinement article | Refinement slides |
Also see Abrial’s slides