Este libro presenta un panorama introductorio de la lógica y de las matemáticas que aparecen regularmente en los primeros semestres de 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 esta obra abarcan temáticas de conjuntos, relaciones y funciones, cálculo de proposiciones, inferencia lógica, cálculo de predicado, álgebra de Boole y aproximación matemática al concepto de algoritmo. Los temas desarrollados son complementados y soportados con el software Mathematica de la Wolfram Research, la plataforma computacional más potente del mundo.