Resumen de Capítulo V. La lógica en las ciencias computacionales
En este capítulo se presenta un análisis a la necesidad de incluir a la lógica en los procesos formativos en Ciencias Computacionales CC. Se parte de un recorrido a la historia de la lógica en estas ciencias, posteriormente se describe la relación y la necesidad de incluirla en los procesos formativos relacionados, y al final se analiza qué, cuándo y qué tan profundo se debería trabajar en la formación en CC. Se trata de una revisión al estado de esta cuestión y a la importancia de incluir esta temática en los planes de estudios de pregrados y posgrados relacionados con estas Ciencias y con las Tecnologías de la Información TI. Los resultados tienen amplio impacto en el desarrollo de las Ciencias Computacionales, y se reflejarán en los procesos formativos relacionados al igual que en el papel cada vez mayor de la lógica en el desarrollo profesional.
