Theory of Algorithms (I)