LÓGICA PARA CIENCIA DE LA COMPUTACIÓN

La ciencia de la computación ha dado un impulso a la lógica matemática, al imponerle nuevos desafí­os que se originan con el uso de los computadores. Así­, la elección de temas y formas de presentación de la obra ha sido enfocada tomando en cuenta esta tendencia. Si bien el tratamiento del tema es matemático, los conceptos, las técnicas y los resultados matemáticos son asequibles a personas sin estudios avanzados en el área. El autor es profesor de la Escuela de Ciencias de la Computación en Carleton University, Ottawa, Canadá y doctor en Ciencias Exactas de la Pontificia Universidad Católica de Chile.