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.