Edsger Dijkstra
De Wikipédia, l'encyclopédie libre
Modèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/file
Edsger Wybe Dijkstra (*11 mai de 1930 - 6 août de 2002) a été un scientifique du calcul d'origine hollandais.
Sommaire |
Biographie
Dijkstra a étudié physicienne théorique dans la Université de Leyde. Il a travaillé comme chercheur pour Burroughs Corporation à des principes des ans 1970. Dans l'Université de Texas à Austin, les États-Unis, a occupé le Schlumberger Centennial Chair in Computer Sciences. Il s'a retiré en 2000.
Entre ses contributions à l'informaticienne il est le problème du chemin le plus court, aussi connu comme le algoritmo de Dijkstra, la Notation polonaise inverse et le lié algoritmo shunting yard, THE multiprogramming system, le algoritmo du banquero et la construction du sémaphore pour coordonner multiples procesadores et programmes. Un autre concept en raison de Dijkstra, dans le champ du calcul distribué, est le de la acte-stabilisation, une voie alternative pour garantir la confiabilidad du système. L'algoritmo de Dijkstra est usé dans la route la plus courte premier (SPF) qu'est usé dans le protocole d'enrutamiento Open Shortest Path First (OSPF). Il a reçu le Prix Turing en 1972.
Il était connu par sa basse opinion de la sentence GOTO en programmation, qu'a terminé en 1968 avec l'article Go To Statement Considered Harmful, vu comme un pas important vers le refus de l'expression GOTO et de son efficace remplacement par des structures de contrôle tels comme le bucle while. Le fameux titre de l'article n'était pas oeuvre de Dijkstra, mais de Niklaus Wirth, alors rédacteur de Communications de l'ACM. Dijkstra Était un supporter bien connu de Algol60, et a travaillé dans l'équipe qu'a développé le premier compilador pour ce langage. Dans ce même an a créé le premier système opérationnel avec structure hiérarchique, de niveaux ou capes. Il a été dénommé THE (Technische Hogeschool, Eindhoven) que s'a utilisé avec des fins didácticos.
Depuis les ans 70, le principal intérêt de Dijkstra a été la vérification formelle. L'opinion qui primait il alors était qu'un doit premier écrire un programme et tout de suite fournir une preuve mathématique de sa correction. Dijkstra objetó Que les preuves qui résultent sont longues et gênantes, et que la preuve ne donne pas aucune compréhension de comment il s'a développé le programme. Un méthode alternatif est la derivación de programmes, «développer preuve et programme conjointement». Un commence avec une spécification mathématique du programme que se suppose il va faire et il applique des transformations mathématiques à la spécification jusqu'à ce que se transforme dans un programme que puisse être exécuté. Le programme qui résulte il alors est su correct par la construction. Beaucoup des derniers travaux de Dijkstra traitent sur les façons de faire coulée l'argumentaire mathématique.
Dijkstra Est mort le 6 août 2002]] après une longue lutte contre le cancer.
Voyez-vous aussi
Tu raccordes externes et références
- Écrits d'Edsger Wybe Dijkstra
En des anglais
- Écrits d'Et. W. Dijkstra
- Et. W. Dijkstra, Go To Statement Considered Harmful, Communications of the ACM, Vol. 11 (1968) 147-148; [Http://www.acm.org/classics/oct95/ édition en Internet]
- Travaux complets
Tu raccordes externes
-
Wikiquote héberge phrases célèbres d'ou sur Edsger Dijkstra.Donne:Edsger Dijkstrale:Έντσγκερ ΝτάικστραAi:אדסחר דייקסטרהallez:Edsger Dijkstraj'ai vu:Edsger DijkstraErreur lors de la création de la miniature :
(rsvg-convert:22274): GLib-WARNING **: GError set over the top of a previous GError or uninitialized memory.
This indicates a bug in someone's code. You must ensure an error is NULL before it's set.
The overwriting error message was: File not found
Error reading SVG:Failed to open file '//home/admin/wikilingue/big/images/1/13/Spanish_Wikiquote.SVG': No such file or directory
