What is the definition of the big-O notation?

How to prove big-O bounds?

How to disprove big-O bounds?

What is the definition of big-Omega?

What is the definition of big-Theta?

What are the steps to prove the correctness of an algorithm using induction?

How do you prove the correctness of algorithms with iterative and recursive algorithms?

Give an informal proof of InsertionSort.

Give a (more) formal proof of the maintenance stage of InsertionSort.

What is the inductive hypothesis of the MergeSort algorithm?

Give the proof of the MergeSort algorithm.

What is the InsertionSort algorithm?

What is the MergeSort algorithm?
