Main study-unit material:
IMPORTANT: Please be aware that the material on this and other study-unit download pages might not all be necessary for the specific study-unit you are following or for its particular iteration. You will be guided during class as to what material is pertinent to your particular study-unit iteration. Also note, that due to changing study-unit codes over time, the study-unit code on various items of downloadable material may not always match the actual code of the study-unit your are currently following.
Supplementary material and examples:
You are reminded that inclusion of this supplementary material in the current iteration of this study-unit is subject to lecturer instruction and guidance during classes, and will ONLY apply if the relevant topics are covered in class AND if instructed to do so by the lecturer.
Some examples of Algebraic Specifications for your review and study:
Examples of Algebraic Specifications and proofs to accompany class explanation [PDF]
Socrative classwork questions
Socrative Questions for academic year 2021/22 [PDF]
This section will contain past papers as these become available.
(The first occurance of this study-unit was in the June 2017 Examination Session)
June 2017 past paper. [PDF]
June 2018 past paper. [PDF]
June 2019 past paper. [PDF]
June 2020 past paper. (a WISEflow exam) [PDF]
June 2021 past paper. (a WISEflow exam) [PDF]
If accessing this page through the website's main page, use your browser's "back" button to go back - otherwsie just close the tab or window.