Suponemos que el lector puede no estar familiarizado con los algoritmos, por lo que la primera sección de este apéndice introducirá algunos de los componentes de los algoritmos que aparecen en este li...Suponemos que el lector puede no estar familiarizado con los algoritmos, por lo que la primera sección de este apéndice introducirá algunos de los componentes de los algoritmos que aparecen en este libro. Para ello, la segunda sección de este apéndice es una introducción al Teorema de la Relación Invariante, que es un mecanismo de verificación de algoritmos que se relaciona con la Inducción Matemática
