LIBUN

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 al diseño.
El presente libro trata sobre la primera área, aunque mostraran algunas aplicaciones de los conceptos fundamentales para facilitar su entendimiento.
La ciencia de la Computación tuvo su origen en varios campos distintos como son: la Biología, que estudiaba los modelos para redes neuronales; la Ingeniería Eléctrica, que trabaja sobre el desarrollo de la teoría de la interrupción como una herramienta para el diseño de Hardware, las matemáticas trabajan los fundamentos lógicos-matemáticos como un sistema conceptual que refleja la realidad, y el de la lingüística en la investigación de las gramáticas de los lenguajes formales y lenguajes naturales. A l combinar los estudios de las redes neuronales por parte de los biólogos, y los circuitos de interrupción por parte de los ingenieros eléctricos, surgen los conceptos de expresiones regulares y autómatas finitos.
Investigaciones realizadas en áreas distintas, e incluso por investigadores distintos, han encontrado que existe homologías lógicas entre estas áreas, presentándose en forma de modelos, leyes y principios que pueden aplicarse a sistemas generalizados o a subclases de estos. Tales paralelismos o isomorfismos aparecen en sistemas completamente distintos, y posibilitan que puedan transferirse conocimientos a través de modelos desarrollados en algunas áreas a otras donde no existan y permitir así la unificación de la ciencia y la integración de diferentes especialistas. Las Matemáticas Discretas son la piedra angular de las disciplinas antes mencionadas, en ese libro se presentan y examinan las herramientas, técnicas, y métodos para su mejor entendimiento. Estoy seguro que el alumno después de leer este libro dispondrá de herramientas que podrá aplicar en diferentes escenarios de la Computación e Informática y en otras relacionadas.