Contribución de la Lógica Matemática a la formación inicial del Ingeniero Informático.

Abstract

La Lógica Matemática es una ciencia que constituye un elemento fundamental en el surgimiento de la Informática y en su desarrollo, sus elementos son base importante dentro de las principales disciplinas de esta ciencia y potencian requisitos indispensables que debe poseer un profesional de esta área como la capacidad de abstracción y el pensamiento lógico. Teniendo en cuenta que estos, entre otros aspectos, le confieren gran importancia a la presencia de la Lógica Matemática en la carrera Ingeniería Informática, se realizó un estudio en la Universidad de Matanzas con el objetivo de conocer cómo se refleja la contribución de la Lógica Matemática en la formación inicial del Ingeniero Informático. Los resultados alcanzados arrojaron dificultades en cuanto al reconocimiento, aplicación e incorporación de la Lógica Matemática, tanto por parte de los estudiantes como de los profesores. Por tal motivo la presente tesis tiene como objetivo diseñar un sistema de actividades para la formación inicial del Ingeniero Informático a través de la relación de la Lógica Matemática con las principales disciplinas de Informática: Ingeniería de Software, Programación, Base de Datos, Inteligencia Artificial y Arquitectura de Computadoras.