= Digital systems, linear algebra, introduction to formal proof resit
{scope}
{title2=A10101W1}
Source release: https://www.whatdotheyknow.com/request/ba_computer_science_past_papers/response/2577745/attach/2/202402%20183%20CS%20Papers.zip?cookie_passthrough=1[Oxford examination archive], member `2018/L/a10101w1.pdf`. The dated cover identifies 3 September 2019 despite the archive directory. All eight questions are covered. The supplied Thumb references and <proof> rules are inputs to the solutions, rather than additional questions.
Back to article page
