= Digital systems, linear algebra, introduction to formal proof
{scope}
{title2=4224}
These solutions follow the original numbering and the supplied <natural deduction> rules. The <datapath> conventions are specified where the diagram leaves control polarity open; the repeated part 8(a)(iii) is treated exactly as printed.<Digital systems, linear algebra, introduction to formal proof examination paper by the University of Oxford (2013)>[Printed pp. 2–9, Questions 1–8 and Figures 1–2]{ref}
Back to article page
