= Digital systems, linear algebra, introduction to formal proof examination paper by the University of Oxford (2014)
{title2=4224}
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.pdf`. The original nine-page cover identifies the Preliminary Examination in Computer Science, Trinity Term 2014, Friday 20 June. Questions 1–3 cover <digital counters>, the <MIPS architecture> and <file systems>; Questions 4–6 cover <linear algebra>; Questions 7–8 use the supplied <natural deduction> rules in Figures 1–3 on printed page 9.
Back to article page
