Skip to main navigation menu Skip to main content Skip to site footer

Mathematical logic from the computer science disciplines

La LÓGICA MATEMÁTICA DESDE LAS DISCIPLINAS CIENTÍFICAS DE INFORMÁTICA




Section
Artículos

How to Cite
[1]
Y. VALDERRAMA GARRIDO and W. GONZÁLEZ HERNÁNDEZ, “Mathematical logic from the computer science disciplines”, Rev. Ing. Mat. Cienc. Inf, vol. 6, no. 12, pp. 37–48, Jul. 2019, Accessed: Oct. 31, 2024. [Online]. Available: https://ojs.urepublicana.edu.co/index.php/ingenieria/article/view/493

doi
Dimensions
PlumX
license

 

Esta obra está bajo una licencia internacional

Atribución/Reconocimiento 4.0 Internacional
WALFREDO GONZÁLEZ HERNÁNDEZ


    YUDELKIS VALDERRAMA GARRIDO,

    Ingeniera en Ciencias Informáticas. Investiga en el tema ¨Contribución de la lógica matemática en la formación del ingeniero informático¨ para optar por el título de máster en Matemática Educativa. Pertenece al departamento de Informática de la facultad de Ciencias Técnicas de la Universidad de Matanzas. Cuba. Correo electrónico: yudelkis.valderrama@umcc.cu


    WALFREDO GONZÁLEZ HERNÁNDEZ,

    Doctor en Ciencias Pedagógicas. Profesor titular de Ingeniería Informática. Universidad de Matanzas, Matanzas, Cuba. Correo electrónico: walfredo.glez@umcc.cu       

    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


    Article visits 2772 | PDF visits 3845


    Downloads

    Download data is not yet available.
    Sistema OJS 3.4.0.5 - Metabiblioteca |