I second this. I particularly like how they have an in depth section on how to mathematically derive the O complexity of code, and how to build up the proof fro

I second this. I particularly like how they have an in depth section on how to mathematically derive the O complexity of code, and how to build up the proof from there. It't not necessary, but a fun exercise in learning how different algorithms get their complexity defined.