La lógica matemática desde las disciplinas científicas de informática

• VALDERRAMA GARRIDO, YUDELKIS ^[1] ; GONZÁLEZ HERNÁNDEZ, WALFREDO ^[1]
  1. [1] Universidad de Matanzas

     Universidad de Matanzas

     Cuba

     
• Localización: Revista Ingeniería, Matemáticas y Ciencias de la Información, ISSN-e 2357-3716, Vol. 6, Nº. 12, 2019 (Ejemplar dedicado a: REVISTA INGENIERÍA, MATEMÁTICAS Y CIENCIAS DE LA INFORMACIÓN), págs. 37-48
• Idioma: español
• Títulos paralelos:
  • Mathematical logic from the computer science disciplines
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

    En esta era donde la evolución social ha llevado a la humanidad a la Sociedad de la Información y el Conocimiento, el trabajo de los ingenieros informáticos consiste fundamentalmente en detectar, reconocer y resolver problemas hallando soluciones informáticas cada vez más eficaces. La formación de ingenieros en este sentido  tiene una característica básica: la necesidad de crear una base lógico-matemática muy sólida, de manera que su desempeño estará regido ampliamente por una adecuada interpretación del problema y la siguiente búsqueda de la solución. Por tal razón se aborda la importancia de la Lógica Matemática y su profunda relación con la Informática, especificando su vínculo con las principales disciplinas: Base de Datos, Programación, Ingeniería de Software, Arquitectura de Computadoras e Inteligencia Artificial. Se analiza, desde el punto de vista de las ciencias que intervienen en la formación del ingeniero informático, cómo en cada una de ellas se evidencia el impacto de la Lógica Matemática.

    DOI: http://dx.doi.org/10.21017/rimci.2019.v6.n12.a65

  • English

    In this era where social evolution has led humanity to the Information and Knowledge Society, the job of computer engineers is mainly to detect, recognize and solve problems by finding more and more effective computer solutions. The training of engineers in this regard has a basic characteristic: the need to create a very solid logical-mathematical base, so that their performance will be largely governed by an adequate interpretation of the problem and the next search for the solution. For this reason, the importance of Mathematical Logic and its deep relationship with Computer Science is addressed, specifying its link with the main disciplines: Database, Programming, Software Engineering, Computer Architecture and Artificial Intelligence. It is analyzed, from the point of view of the sciences involved in the formation of the computer engineer, how in each of them the impact of Mathematical Logic is evidenced.

    DOI: http://dx.doi.org/10.21017/rimci.2019.v6.n12.a65