night wityhout end
Páginas: 5 (1053 palabras)
Publicado: 27 de octubre de 2013
Grandes figuras de la Informática
Grandes figuras de la informática
Edsger Dijkstra
De Wikipedia, la enciclopedia libre.
Edsger Wybe Dijkstra (11 de mayo de 1930 - 6 de agosto de 2002) fue un científico de la computación de origen holandés.
Dijkstra estudió física teórica en la Universidad de Leiden. Trabajó como investigador para
Burroughs Corporationa principios de los años 70. En la Universidad de Tejas en Austin, Estados Unidos, ocupó el Schlumberger Centennial Chair in Computer Sciences. Se retiró en 2000.
Entre sus contribuciones a la informática está el algorítmo de caminos mínimos; también
conocido como Algoritmo de Dijkstra. Recibió el Premio Turing en 1972.
Era conocido por su baja opinión de la sentencia GOTO enprogramación, que culminó en
1968con el artículo Go To Statement Considered Harmful, visto como un paso importante hacia el rechazo de la expresión GOTO y de su eficaz reemplazo por estructuras de control tales como el bucle while. El famoso título del artículo no era obra de Dijkstra, sino de Niklaus Wirth, entonces redactor de Comunicaciones del ACM. Dijkstra era un aficionado bien conocido deAlgol60, y trabajó en el equipo que desarrolló el primer compilador para este lenguaje.
Desde los años 70, el principal interés de Dijkstra fue la verificación formal. La opinión que prevalecía entonces era que uno debe primero escribir un programa y seguidamente proporcionar una prueba matemática de su corrección. Dijkstra objetó que las pruebas que resultan son largas e incómodas, yque la prueba no da ninguna comprensión de cómo se desarrolló el programa. Un método alternativo es la derivación de programas, «desarrollar prueba y programa conjuntamente». Uno comienza con una especificación matemática del programa que se supone va a hacer y aplica transformaciones matemáticas a la especificación hasta que se transforma en un programa que pueda ser ejecutado. El programa queresulta entonces es sabido correcto por la construcción. Mucho de los últimos trabajos de Dijkstra tratan sobre las maneras de hacer fluida la argumentación matemática.
Dijkstra murió el 6 de agosto de 2002 después de una larga lucha contra el cáncer.
Página 1
Grandes figuras de la informática
Citas
«La pregunta de si un computador puede pensar noes más interesante que la pregunta de si un submarino puede nadar.»
«La ciencia de la computación no trata sobre las computadoras más de lo que la astronomía trata sobre los telescopios.»
Página 2
Grandes figuras de la informática
Ada Lovelace
De Wikipedia, la enciclopedia libre.
Ada Byron King (10de diciembre de 1815 - 27 de noviembre de 1852) fue la primera programadora en la historia de las computadoras.
Ada Lovelace nació en Inglaterra, única hija legítima del poeta inglés Lord Byron y de Annabella Milbanke Byron. Sus padres se separaron legalmente cuando ella tenía dos meses de edad. Su padre abandonó definitivamente Gran Bretaña y su hija nunca llegó a conocerlo enpersona.
El 8 de Julio de 1835 casó con William King, octavo barón de King, nombrado más tarde Conde de Lovelace. Su nombre de casada pasó a ser desde entonces Lady Augusta Ada Byron King, Condesa de Lovelace, nombre del cual nace su denominación moderna de (Lady) Ada Lovelace.
Siguió estudios particulares de matemáticas y ciencias, siendo uno de sus tutores Augustus DeMorgan, primer profesor de matemáticas de la Universidad de Londres. Autodidacta, desde joven trabajó con Charles Babbage. a quien se le considera como el padre de las computadoras, gracias a que su "máquina analítica" funciona con el mismo principio que las computadoras actuales.
Desarrolló instrucciones para hacer cálculos en una versión temprana del computador. Su relación con...
Grandes figuras de la Informática
Grandes figuras de la informática
Edsger Dijkstra
De Wikipedia, la enciclopedia libre.
Edsger Wybe Dijkstra (11 de mayo de 1930 - 6 de agosto de 2002) fue un científico de la computación de origen holandés.
Dijkstra estudió física teórica en la Universidad de Leiden. Trabajó como investigador para
Burroughs Corporationa principios de los años 70. En la Universidad de Tejas en Austin, Estados Unidos, ocupó el Schlumberger Centennial Chair in Computer Sciences. Se retiró en 2000.
Entre sus contribuciones a la informática está el algorítmo de caminos mínimos; también
conocido como Algoritmo de Dijkstra. Recibió el Premio Turing en 1972.
Era conocido por su baja opinión de la sentencia GOTO enprogramación, que culminó en
1968con el artículo Go To Statement Considered Harmful, visto como un paso importante hacia el rechazo de la expresión GOTO y de su eficaz reemplazo por estructuras de control tales como el bucle while. El famoso título del artículo no era obra de Dijkstra, sino de Niklaus Wirth, entonces redactor de Comunicaciones del ACM. Dijkstra era un aficionado bien conocido deAlgol60, y trabajó en el equipo que desarrolló el primer compilador para este lenguaje.
Desde los años 70, el principal interés de Dijkstra fue la verificación formal. La opinión que prevalecía entonces era que uno debe primero escribir un programa y seguidamente proporcionar una prueba matemática de su corrección. Dijkstra objetó que las pruebas que resultan son largas e incómodas, yque la prueba no da ninguna comprensión de cómo se desarrolló el programa. Un método alternativo es la derivación de programas, «desarrollar prueba y programa conjuntamente». Uno comienza con una especificación matemática del programa que se supone va a hacer y aplica transformaciones matemáticas a la especificación hasta que se transforma en un programa que pueda ser ejecutado. El programa queresulta entonces es sabido correcto por la construcción. Mucho de los últimos trabajos de Dijkstra tratan sobre las maneras de hacer fluida la argumentación matemática.
Dijkstra murió el 6 de agosto de 2002 después de una larga lucha contra el cáncer.
Página 1
Grandes figuras de la informática
Citas
«La pregunta de si un computador puede pensar noes más interesante que la pregunta de si un submarino puede nadar.»
«La ciencia de la computación no trata sobre las computadoras más de lo que la astronomía trata sobre los telescopios.»
Página 2
Grandes figuras de la informática
Ada Lovelace
De Wikipedia, la enciclopedia libre.
Ada Byron King (10de diciembre de 1815 - 27 de noviembre de 1852) fue la primera programadora en la historia de las computadoras.
Ada Lovelace nació en Inglaterra, única hija legítima del poeta inglés Lord Byron y de Annabella Milbanke Byron. Sus padres se separaron legalmente cuando ella tenía dos meses de edad. Su padre abandonó definitivamente Gran Bretaña y su hija nunca llegó a conocerlo enpersona.
El 8 de Julio de 1835 casó con William King, octavo barón de King, nombrado más tarde Conde de Lovelace. Su nombre de casada pasó a ser desde entonces Lady Augusta Ada Byron King, Condesa de Lovelace, nombre del cual nace su denominación moderna de (Lady) Ada Lovelace.
Siguió estudios particulares de matemáticas y ciencias, siendo uno de sus tutores Augustus DeMorgan, primer profesor de matemáticas de la Universidad de Londres. Autodidacta, desde joven trabajó con Charles Babbage. a quien se le considera como el padre de las computadoras, gracias a que su "máquina analítica" funciona con el mismo principio que las computadoras actuales.
Desarrolló instrucciones para hacer cálculos en una versión temprana del computador. Su relación con...
Leer documento completo
Regístrate para leer el documento completo.