The document discusses algorithms, providing definitions and examples of algorithms including Euclid's algorithm for computing the greatest common divisor. It also outlines properties that algorithms must have including finiteness, absence of ambiguity, defined sequence and inputs/outputs. Pseudocode is introduced as a way to express algorithms at a high level for human reading using basic logic structures like sequence, selection, and iteration.