.jpg)
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.
.jpg)
