algorithms
Proving an algorithm correct
taught
Taught in
-
Proving an algorithm correct
Discrete Mathematics I — Logic, Proof, and Structure
Requires
- loop-invariants required
- principle-of-induction required
Required by
Nothing in the catalog needs this yet.
Local knowledge map
Local knowledge map
Click to expand
Solid arrows are required prerequisites; dashed are recommended or helpful. Lower rows are more foundational. Click any box to jump to that concept.