Le premier volume est consacré à l'étude et à la construction d'algorithmes fondamentaux sur les vecteurs et les fichiers séquentiels. Dans cette nouvelle version, l'accent est plus particulièrement mis sur la spécification formelle, les raisonnements par récurrence associés à la mise en place d'assertions et de propriétés invariantes qui conduisent à une construction rigoureuse et sûre des algorithmes.