La lógica computacional o lógica formal siempre ha sido una herramienta fundamental para el progreso de las ciencias computacionales, y sus desarrollos son la base para elaborar soluciones informáticas, tanto en software como en hardware. Es bien conocido que los profesionales que aplican adecuadamente el razonamiento lógico tiene mayores posibilidades de éxito, tanto en lo profesional como en lo personal, ya que analizar, saber buscar posibilidades, demostrar o refutar afirmaciones diversas, le permite a quien tiene ese conocimiento y manejo ser un mejor ser humano y por consiguiente un profesional con mayores y mejores aptitudes y actitudes para vivir en una sociedad como la actual, necesitada de ecuanimidad, raciocinio y capacidad de análisis para solucionar sus cada vez más complejos problemas.
¿Por qué aparece la lógica en las ciencias computacionales?
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.
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.
