La Ciencia de la Computación consta de dos partes: las ideas y modelos fundamentales subyacentes en el cálculo, y las técnicas de ingeniería para el diseño de sistemas de computación, tanto hardware como software, en especial la aplicación de la teoría dal diseño. El presente libro trata sobre la primera área, aunque se mostrarán algunas aplicaciones de los conceptos fundamentales para facilitar su entendimiento. (680)