Logica y Matematica - Fidel Barboza G.

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 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. Pero lo que hace distinto ese trabajo de otros de su género es que los temas desarrollados son complementados y soportados en el software Mathematica de la Wolfram Research considerado actualmente la plataforma computacional más potente en el mundo para hacer cálculos matemáticos.