Discrete Notes
Building Blocks for Theoretical Computer Science
Depth-First Ordering Efficiency of Iterative Algorithms Reducible Flow Graphs
EE1J2 – Discrete Maths Lecture 5 Analysis of arguments (continued) More example proofs Formalisation of arguments in natural language Proof by contradiction.
Advanced Compiler Techniques