El documento define las propiedades que debe cumplir un algoritmo para ser considerado efectivo: debe ser definido, finito, tener entradas y salidas, y ser efectivo en el uso de recursos. Luego, presenta un algoritmo para encontrar el número máximo en un conjunto finito de números, el cual itera sobre el conjunto comparando cada número con el máximo encontrado hasta el momento.