-
2000 BCE
En la actualidad del desarrollo de las Ciencias Computacionales
Se conoce cual es el conocimiento y que parte de la lógica es el que debe adquirir un graduado en informática, y se llego a la conclusión que tanto el currículo como en la formación básica se le debe capacitar en lógica proposicional y de primer orden.
Ademas que se debe incluir el calculo de resoluciones y el método arbitrario, conectados por el sistema de Hilbert. -
1999 BCE
Ministros de educación de 29 países se reunieron en Bolonia.
Se comprometieron en una relación conjunta (CRE,2000), a establecer un espacio europeo en educación superior para el año 2010. El objetivo lograr que los sistemas europeos de formación superior confluyeran hacia un sistema mas transparente utilizando un macro común basado en tres ciclos formativos: Licenciatura, Maestría y Doctorado. -
1990 BCE
A principios de los 80, utilizando la estrategia de entrada lineal incompleta.
Colmerauer (1970) y Kowalski (1979) desarrollaron el teorema de pruebas del Prolog para las clausulas de Horn de primer orden, que se utilizaban para definir las declaraciones lógicas de un programa. -
1988 BCE
La Magma Charta Universitatum (Bolonia)
Emitida con ocasión de los 900 años de la fundación de la Universidad de Bolonia, resumía la misión de las universidades en la sociedad moderna. -
1980 BCE
Desde finales de los años 70
Se comenzaron a publicar trabajos, para estudiantes de informática y para especialistas avanzados, acerca de la lógica al mismo tiempo que editaban algunos manuales de resúmenes. -
1970 BCE
En los años 60, surge una demanda por aplicación de la Lógica
Surgió una demanda por la aplicación de la lógica en conexión con el análisis y la síntesis, lo que significo que las propiedades de un programa se pudieran describir mediante formulas lógicas axiomas y que fuera posible responder las preguntas acerca del funcionamiento correcto del mismo. -
1969 BCE
La lógica de Hoare
Cuyos aportes contienen resultados mas importantes en esta área.
Los llamados sistemas pregunta/respuesta fueron herramientas útiles, en los que la respuesta era una supuesta consecuencia/inferencia de las formulas que describen las propiedades del programa. -
1968 BCE
Aporte en la probabilidad de insatisfacción sobre los Universos de Herbrand
Herbrand mediante un modelo teórico e hizo posible la re-escritura del problema de decisión de primer orden, como una formula proposicional que permitía expandirlo sobre dichos universos, con lo que el problema de demostrar el problema se redujo a través de un kit de herramientas de lógica proposicional. -
1965 BCE
Robinson definio la nocion de la resolucion de primer orden
Con base en que, si la resolución existe, es posible utilizar dos clausulas que contengan las instancias básicas cuando aparece una pareja literal básica contemporánea. -
1960 BCE
En los años 50 , el primer algoritmo
Cuando los computadores fueron accesibles, Davis y Putman utilizaron los resultados de Herband y elaboraron el primer algoritmo de computador para demostrar el teorema. -
1959 BCE
Diseño del sistema Logic Theorist
Shaw y Simon diseñaron este sistema, con los que impactaron la Inteligencia Artificial contemporánea. -
1956 BCE
El General Problem Solver y Newell
De Newell y Simon -
1934 BCE
El primer avance significativo
Se debe a Gentzen, con el desarrollo de la técnica natural de deducción y el calculo sucesivo,con los que creo un kit de herramientas sintéticas especiales para probar teoremas automáticamente. -
1932 BCE
La aparición de los lenguajes de programación funcionales
Como también el desarrollo de las tecnologías de programación paralela y concurrente, condujeron a la introducción de nuevas herramientas en la teoría de la programación.
Una de ellas es 1-calculo, representada por Church (1932) y utilizada para el tratamiento unificado de las lógicas de orden diferente. -
1920 BCE
A comienzos del siglo XX
Hilbert consideraba a la lógica como una teoría axiomatizada.
Según este enfoque, es posible demostrar teoremas por medio de los métodos matemáticos tradiciones. ( No existían aun algoritmos que soportaran la contracción de tales deducciones).