Robert Floyd
Période historique : 1936-2001
Pionnier de la sémantique formelle, de l'analyse syntaxique et de l'algorithme Floyd-Warshall.
Contenu & Formulation mathématique
Genèse & Portée historique
Prix Turing 1978, Robert Floyd a conçu l'algorithme de Floyd-Warshall calculant tous les plus courts chemins entre toutes les paires de sommets en O(V^3), l'algorithme du lièvre et de la tortue pour détecter les cycles, et a posé les bases de la logique de Hoare.
Floyd a débuté sa carrière universitaire en littérature et n'avait aucun diplôme formel en informatique lorsqu'il a révolutionné l'analyse des compilateurs et de la programmation.
Filiations & Relations conceptuelles (0)
Cette notice constitue un axiome autonome sans relations directes enregistrées dans le recueil.
Objet de collection MathTCG
Robert Floyd
Pionnier de la sémantique formelle, de l'analyse syntaxique et de l'algorithme Floyd-Warshall.
Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Space, Chance & Computation.