-
Logica del siglo XX
A comienzos de siglo pasado, Hilbert consideraba a la lógica como una teoría axiomatizada. -
Primer avance significativo.
Se debe a Gentzen
con el desarrollo de la técnica natural de
deducción y el cálculo sucesivo, con los que creó un
64 Revista Educación en Ingeniería • Enero a Junio de 2013
kit de herramientas sintácticas. -
Union
Se una la ingenieria en comunicacion y ingenieria de trasmision. -
Quien la publico
Fue publicada por Melvin J. Kelly -
Inteligencia artificial
Newell
y Simon desarrollaron el General Problem
Solver y Newell, Shaw y Simon diseñaron el
sistema Logic Theorist, con los que impactaron la
Inteligencia Artificial contemporánea. -
Se plantea un origen
La Bell Thelephone plantea un origen para la ingenieria en sistemas. -
Algoritmos
En los años 50, cuando los computadores fueron
accesibles, Davis y Putnam (1960) utilizaron los resultados de Herbrand y elaboraron el primer algoritmo
de computador para demostrar el teorema. -
Cuestion
Por otro lado, Herbrand
aportó la probabilidad de insatisfacción sobre
los universos de Herbrand mediante un modelo teórico
e hizo posible la re-escritura del problema de decisión
de primer orden. -
IBM
Una definicion de ingenieros de sistemas. -
Estudio
Se crean las nuevas carreras sobre computación en los institutos técnicos de mexico. -
Primero en usar el algoritmo
El primero
utiliza el algoritmo del British Museum, un método
de búsqueda horizontal a ciegas de bajo rendimiento,
con base en los axiomas y reglas de inferencia dadas
por Russell y Whitehead .
