En este trabajo se hace un análisis a la necesidad de incluir a la lógica en los procesos formativos en Ciencias Computacionales (CS por sus siglas en inglés). Se parte de un recorrido sobre 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 CS. Se trata de una revisión al estado del tema y a la importancia de incluirlo en los pregrados y en los posgrados en áreas de ciencias computacionales y tecnologías de información.
In this paper it is analyzed the need to include the logic in training processes in Computer Science (CS). It is part of a tour of the history of logic in these sciences, later it's described the relationship and the need to include it in the training processes related, and finally analyzed that, when and how deep it should work training CS. This is a revision to issue state and the importance of including this subject in undergraduate and graduate programs in computer sciences and Information Technologies areas.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados