La Lógica en las ciencias computacionales

• Serna M., Edgar ^[1]
  1. [1] Instituto Tecnológico Metropolitano

     Instituto Tecnológico Metropolitano

     Colombia

     
• Localización: Revista Educación en Ingeniería, ISSN 1900-8260, Vol. 8, Nº. 15, 2013, págs. 62-68
• Idioma: español
• Títulos paralelos:
  • Logic in computer science
• Enlaces
  • Texto completo
• Resumen
  • español

    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.

  • English

    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.