CSCI1302 — Foundations of Computer Scienc
Basic proof techniques, propositional and predicate logic, induction and invariants, program correctness proofs, basic summations, and simple Big-Oh analysis of algorithms.
Basic proof techniques, propositional and predicate logic, induction and invariants, program correctness proofs, basic summations, and simple Big-Oh analysis of algorithms.