• COMP11212 Extra Help

    Published: Thursday, 06 April 2017

    Hi,It is clear from personal feedback, marks in the last examples class, and feedback from PASS leaders that there is a worry among some of you around producing proofs of correctness.

    Hi,

    It is clear from personal feedback, marks in the last examples class, and feedback from PASS leaders that there is a worry among some of you around producing proofs of correctness. To help I am doing three things:

    1. I have written a 9 page guide on how to construct proofs of correctness [1]. This material will be included in the main notes next year.
    2. I will hold an additional session on proofs of correctness on 26th April 1pm in LF15, please bring questions.
    3. I will produce further larger worked examples in time for the revision period.

    If you have extra questions you want me to address in the guide or any areas that are still unclear then please let me know.

    Additionally, as the content of Part II has changed over the years, I have added a list of relevant previous past paper questions on the course website [2]. Note that the questions asked in examples classes are a good model for the kind of question you might be asked in the exam.

    Hope you enjoy your Easter break, Giles

    [1] http://studentnet.cs.manchester.ac.uk/ugt/COMP11212/correctnessExtra.pdf
    [2] http://studentnet.cs.manchester.ac.uk/ugt/COMP11212/

    gravatar Giles Reger
Generated: Wednesday, 23 August 2017 20:38:05
Last change: Thursday, 06 April 2017 16:01:31
▲ Up to the top