TY - JOUR AU - Serna M., Edgar PY - 2013/06/15 Y2 - 2024/03/29 TI - La Lógica en las ciencias computacionales JF - Revista Educación en Ingeniería JA - rev.digit.educ.ing VL - 8 IS - 15 SE - Sección Pedagógica DO - 10.26507/rei.v8n15.233 UR - https://educacioneningenieria.org/index.php/edi/article/view/233 SP - 62-68 AB - <p class="IndexTerms"><span lang="ES" style="font-family: &quot;Cambria&quot;,&quot;serif&quot;; font-size: 11pt; mso-ansi-language: ES; mso-fareast-language: EN-US; mso-fareast-font-family: &quot;Times New Roman&quot;; mso-bidi-font-family: Arial; mso-bidi-language: AR-SA;">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.</span></p> ER -