= Digital systems, linear algebra, introduction to formal proof
{scope}
{title2=A10101W1}
The regular <University of Oxford> preliminary examination was held on 20 June 2019, from 14:30 to 17:30. These solutions cover every marked part of all eight questions: digital systems in Questions 1–3, <linear algebra> in Questions 4–6, and <natural deduction> in Questions 7–8, including questions beyond the examination's permitted choice. The supplied <Thumb instruction set> reference and primitive proof rules are part of the held paper.
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 Computer Science examination archive], member `2018/T/a10101w1.pdf`. The native cover establishes the 2019 regular sitting despite the archive's `2018/T` directory. The printed code is `A10101W1`. A correction to a printed invariant bound is explained in Question 1(e); all inputs needed for the remaining solutions are present.
Back to article page
