= Digital systems, linear algebra, introduction to formal proof examination paper by the University of Oxford (2013)
{title2=4224}
{title2=2013-06-14}
Primary source: https://www.whatdotheyknow.com/request/past_exam_papers_for_1st_year_of/response/1398416/attach/2/Fakour%20Zip%20Final%201.zip?cookie_passthrough=1[Released examination archive], member `4224-1.pdf`. The original nine-page scan identifies the <University of Oxford> Preliminary Examination in <computer science> on 14 June 2013. Questions 1–3 cover <digital electronics>, the <datapath> and <file systems>; Questions 4–6 cover <linear algebra>; Questions 7–8 use the supplied <natural deduction> rules on printed p. 9. The original p. 8 repeats Question 8(a)(i) as Question 8(a)(iii), and has a redundant closing parenthesis in Question 7(d)(i).
Back to article page
