Este libro presenta un panorama introductorio de la lógica y de las matemáticas que aparecen regularmente en los primeros semestres en los currículos universitarios para las carreras de ingeniería de sistemas y ciencias de la computación. Los temas abordados en los siete capítulos de que consta esta obra abarcan temáticas de conjuntos, relaciones y funciones, cálculo de proposiciones, inferencia lógica, cálculo de predicados, álgebra de Boole y aproximación matemática al concepto de algoritmo. Pero lo que hace distinto este trabajo de otros de su género es que los temas desarrollados son complementados y soportados con el software Mathematica de la Wolfram Research.