= Digital systems, linear algebra, introduction to formal proof resit
{scope}
{title2=A10101W1}
Solutions to all eight questions of the 7 September 2022 resit. https://www.whatdotheyknow.com/request/ba_computer_science_past_papers/response/2577745/attach/2/202402%20183%20CS%20Papers.zip?cookie_passthrough=1[Released Oxford examination archive], member `2021/L/a10101w1.pdf`. The dated cover establishes the year despite the undated held filename and misleading archive directory. The <Thumb instruction set> listings assume the 32-bit <AAPCS32> data layout; the timer calculation in Question 2 corrects a numerical slip in the paper.
Back to article page
