La Lgica en las Ciencias Computacionales

En el siglo XX se lograron grandes avances con respecto a la lgica de las ciencias computacionales, donde a principios de dicho siglo, un matemtico cientfico consideraba la lgica como una teora de automatizacin, ya que, l deca que era posible demostrar teoremas por medio de los mtodos matemticos tradicionales, no obstante, no existan algoritmos que soportaran la construccin de dichas deducciones. Luego pasaron algunos aos, donde posteriormente hubo un avance significativo donde se desarroll la tcnica natural de la deduccin y el clculo sucesivo, y con dichas tcnicas se procedi a realizar un kit de herramientas sintcticas especiales para as probar teoremas automticamente. Y as cada cientfico matemtico iba dando poco a poco su contribucin y mejoras para estos sistemas, hasta que apareci la lgica de Hoare que con esta se generaban un cierto tipo de respuesta acerca de la consistencia del teorema, siempre que se hubiera demostrado as mismo. En estos se utiliz la lgica de segundo orden, e incluso la formalizacin.

Estos sistemas de deducciones lgicas tuvieron un impacto en el desarrollo de la teora de modelos, principalmente en la evaluacin de las cuestiones de la axiomatizacin. Esta lgica computacional tuvo ms avance en el momento de la aparicin de los lenguajes de programacin, ya que, con esta se procedi a la evolucin de nuevas herramientas. Esta formacin de la lgica en las ciencias computacionales se convirti en una premisa importante por sus grandes aplicaciones.

Se han desarrollado diversos proyectos, aunque de manera tangencial, donde numerosos pases en el mundo entraron, con el objetivo de as poder adaptar los principios que en cada uno de estos se discuten e implementarlos en sus propios sistemas informativos. Posteriormente cada da se va trabajando seriamente con estos proyecto hasta el punto de que algunos pases han comenzado a modificar sus sistema en pregrado y posgrado, para no quedarse rezagado con respectos a los progresos.

En la actualidad vemos que es muy importante impartir la lgica en las ciencias computacionales, ya que, en el desarrollo de estas se conoce cul es el conocimiento y que parte de la lgica es el que debe adquirir cada graduado en informtica. La lgica tiene diversas utilizaciones, una de ellas es que en cierta medida se puede utilizar en la formacin en base de datos, la teora de programacin y en la inteligencia artificial. Y como es utilizada en los lenguajes de programacin, puesto que es de mucha utilidad porque en cada trabajo con estos lenguajes se necesita mucha lgica para as poder solucionar los problemas planteados en dichos momentos.

En los cursos de pregrado y posgrado se requiere el conocimiento de la lgica fundamental puesto que esta abarca muchos campos para la formacin en estas reas. Se debe tener un conocimiento o por lo menos se debe conocer los fundamentos tericos y los mtodos de prueba de teoremas, al igual que los problemas de las teoras de axiomatizadas, las lgicas no clsicas, y en cuanto al lenguaje de programacin sus fundamentos tericos y los diversos clculos en el marco de la programacin funcional, pues estos temas son de mucha importancia.

Posteriormente, notamos como es una necesidad incluir la lgica en las ciencias computacionales con un aspecto disciplinado para lograr la eficiencia, lo que quiere decir que estas dos reas del conocimiento deben ser colaborativas.

Y as teniendo el conocimiento bsico de la abstraccin, los lenguajes, las tautologas, el clculo proposicional y la lgica computacional, en definitiva, usando estos conocimientos se hace ms interesante para los estudiantes la lgica de la programacin.