This document provides an introduction to algorithms through examples and analysis of running time. It demonstrates algorithms for computing the greatest common divisor and square roots. The greatest common divisor algorithm (Euclid's algorithm) is analyzed for correctness through loop invariants and termination. The square root algorithm uses a binary search approach. Analysis of algorithm running times focuses on counting basic operations and establishing asymptotic behavior using Big-O notation.