LÓGICA COMPUTACIONAL

lógica computacional 

La lógica computacional es la misma logica matematica  aplicada al contexto de las . Su uso es ciencias de la computación  fundamental a varios niveles: en los circuitos de la lógica  en la programación lógica y en el análisis  y optimización (de recursos temporales y espaciales) de algoritmos 

la lógica también se utiliza en la vida cotidiana  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.

Diseñar, desarrollar y mantener software son procesos netamente creativos que se sustentan fundamentalmente en la capacidad de razonamiento, en el pensamiento computacional y algorítmico y en la habilidad para abstraer cualquier problema, por lo que es necesario estructurar este curso para ofrecer una base sólida de la lógica en la línea computacional para los futuros ingenieros de sistemas. Desde la publicación de los trabajos de Herbrand en 1930 la lógica se ha convertido en un valioso instrumento conceptual al servicio de las ciencias computacionales, en la que ayudan para representar el conocimiento y para soportar el diseño de sistemas de información, es decir, hoy la lógica computacional se aborda desde la perspectiva de aplicación a la computación.

Algoritmo = Lógica + Control.

De acuerdo con este punto de vista, los algoritmos tratan tanto de la descripción de un problema (de la parte lógica) como de la estrategia para llevar a cabo las computaciones utilizadas en su descripción (la parte de control). La Lógica Computacional se dedica al ideal de un programador que es concentrarse en la descripción de un problema y no invertir ningún tiempo en el mecanismo de computación necesario. Este paradigma único de la "programación declarativa" hace que el desarrollo de los programas sea sencillo y rápido, y que asimismo sea fácil de entender y de mantener ( estas son características que cada vez van cobrando más importancia al aumentar constantemente la complejidad de los sistemas informáticos en la actualidad). Adicionalmente, el uso riguroso de la lógica revoluciona por completo el campo de la verificación de hardware y de software. En lugar de tener que hacer una fase de pruebas, que puede que no ofrezca necesariamente otro resultado excepto el de la confirmación de que el programa parece hacer lo que se espera de el, el desarrollo de programas y sistemas con garantía de corrección es el segundo ideal de la Computación Lógica.