log.manl.io
—
A private landfill where I write TL;DR notes to self
Proofs by induction
{
algorithms
, 
logic
, 
math
 }
// 15.06.2014
Compute the order of growth of a program
{
algorithms
, 
math
 }
// 11.02.2014