= Digital systems, linear algebra, introduction to formal proof examination paper by the University of Oxford (2015)
{title2=A10101W1}
Examination paper of the <University of Oxford>, Preliminary Examination in Computer Science, Trinity Term 2015, dated 19 June 2015. The original has seven pages; the last contains the prescribed <natural deduction> rules. Released archive: https://www.whatdotheyknow.com/request/computer_science_past_exam_paper/response/956037/attach/3/Lawrence%20Attachment.zip?cookie_passthrough=1[Lawrence Attachment.zip], member `2015-cs4.pdf`. The paper's printed section order is <linear algebra>, <digital electronics>, and introduction to <formal proof>, despite the different ordering in its cover title.
Back to article page
