Capítulo V. La lógica en las ciencias computacionales
- Autores: Edgar Serna M.
- Localización: Métodos formales, ingeniería de requisitos y pruebas del software / Edgar Serna M. (ed. lit.), 2021, ISBN 978-958-53278-0-1, págs. 70-76
- Idioma: español
- Enlaces
-
Resumen
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.
