News
No tutorial next Thursday; released sheet 2 and sheet 1 sample solution
Written on 25.04.2025 12:07 by Anran Wang
Dear participants,
Here is a reminder that there will be no tutorial next Thursday, please go to the Friday one instead.
Also, sheet 1 sample solution and sheet 2 are available for download in CMS now.
Note: You can submit an answer to all exercises of sheet 2.
Some hints regarding sheet 1:
- E1.1: Remember to define the labelling function for all states, otherwise it is not a (complete) function.
- E1.3: Giving the top and bottom elements is not enough as a proof for existence of supremum/infimum. You need to prove all subsets have supremum and infimum!
Best,
Verification Team