Edsger Dijkstra
Période historique : 1930-2002
Père fondateur de l'informatique théorique, des algorithmes de graphes et de la programmation structurée.
Contenu & Formulation mathématique
Genèse & Portée historique
Prix Turing 1972, Dijkstra a formalisé la notion de sémaphore pour la concurrence, l'algorithme du plus court chemin, l'algorithme de détection d'interblocage (algorithme du banquier) et a milité pour la vérification formelle des programmes contre les méfaits du saut inconditionnel (Go To Statement Considered Harmful).
Dijkstra rédigeait tous ses manuscrits académiques à la plume réservoir, calligraphiés à la main, numérotés sous le sigle EWD et photocopiés pour ses pairs.
Filiations & Relations conceptuelles (1)
Objet de collection MathTCG
Edsger Dijkstra
Père fondateur de l'informatique théorique, des algorithmes de graphes et de la programmation structurée.
Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Space, Chance & Computation.