Developing algorithmic thinking. Basic toolkit for the design and analysis of algorithms: Running time, recurrence relations, big-O notation, amortised analysis, correctness, finite induction, loop ...