- Editorial de la Pontificia Universidad Católica de Chile
LÓGICA PARA CIENCIA DE LA COMPUTACIÓN
LÓGICA PARA CIENCIA DE LA COMPUTACIÓN
De Leopoldo Bertossi D.
Disponibilidad:Sin stock
ISBN: 9789561404045
Resumen
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.
Reseñas