Segunda edición de este título que añade a la primera un nuevo capítulo dedicado a la lógica de predicados, una ampliación de la teoría y ejercicios en muchos de sus apartados, así como nuevos algoritmos en el campo de los números y de los grafos. En resumen, el autor ha pretendido conseguir un tratado moderno, más completo y adaptado a la enseñanza de esta materia en el mundo del estudiante universitario, tanto de las distintas especialidades de ingeniería como de ciencias.