La Lógica Computacional

LA LÓGICA COMPUTACIONAL

La lógica computacional es la misma lógica matemática aplicada al contexto de las ciencias de la computación. Su uso es fundamental a varios niveles: en los circuitos computacionales, en la programación lógica y en el análisis y optimización (de recursos temporales y espaciales) de algoritmos. Entiéndase por algoritmo en matemáticas, ciencias de la computación y disciplinas relacionadas, como un conjunto prescrito de instrucciones o reglas bien definidas, ordenadas y finitas que permite realizar una actividad mediante pasos sucesivos que no generen dudas a quien lo ejecute. Dados un estado inicial y una entrada, siguiendo los pasos sucesivos se llega a un estado final y se obtiene una solución.

La lógica funda sus teorías en las Ciencias Computacionales, como lo plantean las recomendaciones curriculares de los diferentes organismos internacionales como la Association for Computing Machinery -ACM- y el Institute for Electrical and Electronic Engineers -IEEE. Estos entes proponen utilizar la lógica en las Ciencias Computacionales como instrumento de la tarea de representación y resolución de problemas por medio del computador. Además, reconocen el carácter fundamental de la lógica como herramienta imprescindible para el ingeniero, ya que le permite elaborar especificaciones formales y formalizar líneas de razonamiento, diseño y descripción de sistemas.