Mathematical logic from the computer science disciplines
La LÓGICA MATEMÁTICA DESDE LAS DISCIPLINAS CIENTÍFICAS DE INFORMÁTICA
Show authors biography
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.
Article visits 2801 | PDF visits 3855