Search for tag: "invariant"

Thumbnail for entry Proofs of Algorithm Correctness

08:16

Proofs of Algorithm Correctness

Proofs of Algorithm Correctness

Proofs of Algorithm Correctness

loop
algorithm
problem
contradiction
proof
step
induction
correctness
loops
factorial
times
base
things
languages
practice
iteration
invariant
n.
answer
recursion
From  Emily Dolson 447 plays 0