Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 95 vistas

    Edsger Dijkstra

    Cargado por

    Ricardo Hernández Méndez
    Edsger Dijkstra fue un científico de la computación holandés conocido por sus contribuciones al campo de la programación, incluyendo el algoritmo de Dijkstra para el camino más corto, la notación polaca inversa y el concepto de auto-estabilización. Fue pionero en criticar el uso de la sentencia GOTO y prefería enfoques de programación estructurada. A lo largo de su carrera se enfocó en la verificación formal de programas y desarrolló métodos para derivar programas de especificaciones matemáticas.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd

    Edsger Dijkstra

    Cargado por

    Ricardo Hernández Méndez
    95 vistas2 páginas
    Edsger Dijkstra fue un científico de la computación holandés conocido por sus contribuciones al campo de la programación, incluyendo el algoritmo de Dijkstra para el camino más corto, la notación polaca inversa y el concepto de auto-estabilización. Fue pionero en criticar el uso de la sentencia GOTO y prefería enfoques de programación estructurada. A lo largo de su carrera se enfocó en la verificación formal de programas y desarrolló métodos para derivar programas de especificaciones matemáticas.

    Descripción original:

    dijkstra

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Edsger Dijkstra fue un científico de la computación holandés conocido por sus contribuciones al campo de la programación, incluyendo el algoritmo de Dijkstra para el camino más corto, la notación polaca inversa y el concepto de auto-estabilización. Fue pionero en criticar el uso de la sentencia GOTO y prefería enfoques de programación estructurada. A lo largo de su carrera se enfocó en la verificación formal de programas y desarrolló métodos para derivar programas de especificaciones matemáticas.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    95 vistas2 páginas

    Edsger Dijkstra

    Cargado por

    Ricardo Hernández Méndez
    Edsger Dijkstra fue un científico de la computación holandés conocido por sus contribuciones al campo de la programación, incluyendo el algoritmo de Dijkstra para el camino más corto, la notación polaca inversa y el concepto de auto-estabilización. Fue pionero en criticar el uso de la sentencia GOTO y prefería enfoques de programación estructurada. A lo largo de su carrera se enfocó en la verificación formal de programas y desarrolló métodos para derivar programas de especificaciones matemáticas.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    Está en la página 1de 2

    Hernández Méndez Ricardo 1CM3

    Edsger Dijkstra

    (Rotterdam, Paı́ses Bajos, 11 de mayo de 1930 - Nuenen, Paı́ses Bajos, 6 de


    agosto de 2002) fue un cientı́fico de la computación holandés.

    Dijkstra estudió fı́sica terica en la Universidad de Leiden. Trabajó como inves-


    tigador para Burroughs Corporation a principios de los aos 1970. En la Univer-
    sidad de Texas en Austin, Estados Unidos, ocupó el Schlumberger Centennial
    Chair in Computer Sciences. Se retiró en 2000.

    Entre sus contribuciones a la informática está la solución del problema del ca-
    mino más corto, también conocido como el algoritmo de Dijkstra, la notación
    polaca inversa y el relacionado algoritmo shunting yard, THE multiprogram-
    ming system, el algoritmo del banquero y la construcción del semáforo para
    coordinar múltiples procesadores y programas. Otro concepto debido a Dijks-
    tra, en el campo de la computación distribuida, es el de la auto-estabilización,
    una vı́a alternativa para garantizar la confiabilidad del sistema. El algoritmo
    de Dijkstra es usado en la ruta más corta primero (SPF) que es usado en el
    protocolo de enrutamiento Open Shortest Path First (OSPF). También se le
    debe la autorı́a de la expresión Çrisis del software”, aparecida en su libro The
    Humble Programmer y usada ampliamente en la famosa reunión de la OTAN
    de 1968 sobre desarrollo del software. Recibió el Premio Turing en 1972.

    Era conocido por su baja opinión de la sentencia GOTO en programación, que


    culminó en 1968 con 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 de ALGOL,
    y trabajó en el equipo que desarrolló el primer compilador para este lenguaje.
    En ese mismo año creó el primer sistema operativo con estructura jerrquica, de
    niveles o capas. Fue denominado THE (Technische Hogeschool, Eindhoven) que
    se utilizó con fines didácticos.

    1
    Desde los años 1970, 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 pro-
    grama y seguidamente proporcionar una prueba matemática de su corrección.
    Dijkstra objetó que las pruebas que resultan son largas e incómodas, y que la
    prueba no da ninguna comprensión de cómo se desarrolló el programa. Un mto-
    do 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 especi-
    ficación hasta que se transforma en un programa que pueda ser ejecutado. El
    programa que resulta entonces es sabido correcto por la construcción. Muchos
    de los últimos trabajos de Dijkstra tratan sobre las maneras de hacer fluida la
    argumentación matemática.

    Respecto a su carácter árido y ácido, conocidas son su oposición a la instrucción


    GOTO y al lenguaje BASIC (”mutila la mente ms allá de toda recuperación”).
    Alan Kay expuso que .en informática, la arrogancia se mide en nanodijkstras”.

    Dijkstra murió el 6 de agosto de 2002 después de una larga lucha contra el


    cáncer.

    También podría gustarte