-
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. -
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.
-
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.
-
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.
-
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.
-
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.
-
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. -
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.
-
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.
-
Cuando los computadores fueron accesibles, Davis y Putman utilizaron los resultados de Herband y elaboraron el primer algoritmo de computador para demostrar el teorema.
-
Shaw y Simon diseñaron este sistema, con los que impactaron la Inteligencia Artificial contemporánea.
-
De Newell y Simon
-
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.
-
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. -
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).