Codex &amp; Encyclopédie

Probabilités•MATHÉMATICIEN

Grand maître des algorithmes de graphes et de l'analyse amortie des structures de données.

Adolphe Quetelet

Pionnier de la statistique sociale et introducteur de la loi normale dans l'étude des populations.

Géométrie projective

La géométrie des perspectives et points à l'infini où deux droites du plan se coupent toujours.

Géométrie hyperbolique

Géométrie à courbure négative constante où la somme des angles d'un triangle est inférieure à 180°.

Géométrie sphérique

Géométrie à courbure positive où les droites sont de grands cercles et la somme des angles dépasse 180°.

Homéomorphisme

Bijection continue à réciproque continue définissant l'équivalence topologique élastique des formes.

Tore

Surface de révolution fermée en forme d'anneau, de genre 1 et de caractéristique d'Euler nulle.

Caractéristique d'Euler-Poincaré

L'invariant topologique suprême chi = S - A + F classifiant les surfaces compactes.

Dimension de Hausdorff

Extension de la notion de dimension autorisant des valeurs non entières pour mesurer les fractales.

Loi de Bernoulli

Loi discrète élémentaire d'un tirage binaire prenant la valeur 1 avec probabilité p et 0 avec 1 - p.

Loi binomiale

Loi du nombre de succès k obtenus lors de n épreuves de Bernoulli indépendantes de paramètre p.

Loi géométrique

Loi discrète sans mémoire comptant le nombre d'essais nécessaires pour obtenir le premier succès.

Loi exponentielle

Loi continue sans mémoire modélisant le temps d'attente avant le prochain événement de Poisson.

Espérance mathématique

Le centre de gravité théorique d'une distribution probabiliste, valeur moyenne espérée au long terme.

Variance

Mesure de dispersion quadratique d'une variable aléatoire autour de sa moyenne théorique.

Covariance

Maths Appliquées•MATHÉMATICIEN

Mesure conjointe de la dépendance et de la corrélation linéaire entre deux variables aléatoires.

Loi faible des grands nombres

Probabilités•THÉORÈME

La moyenne empirique d'un échantillon converge en probabilité vers l'espérance mathématique.

Logique propositionnelle

Logique•CONCEPT

Système formel binaire manipulant les propositions et connecteurs logiques ET, OU, NON, IMPLIQUE.

Logique du premier ordre

Logique•CONCEPT

Système formel universel enrichi de relations, fonctions et quantificateurs pour tout (∀) et il existe (∃).

Théorème de complétude de Gödel

Logique•THÉORÈME

Toute formule valide dans tous les modèles du premier ordre admet une démonstration formelle finie.

Algorithme A*

Maths Discrètes•MÉTHODE

Recherche de plus court chemin guidée par une heuristique admissible combinant coût passé et distance estimée.

Algorithme de Kruskal

Maths Discrètes•MÉTHODE

Algorithme glouton construisant l'arbre couvrant de poids minimal d'un graphe par tri croissant des arêtes.

Problème du voyageur de commerce

Maths Discrètes•CONCEPT

Recherche du plus court circuit fermé passant exactement une fois par chaque ville d'une liste donnée.

John Venn

Logique•MATHÉMATICIEN

Logicien et philosophe britannique créateur des célèbres diagrammes d'ensembles sécants.

George Dantzig

Pionnier majeur de la programmation linéaire et concepteur de l'algorithme du simplexe.

Richard Hamming

Pionnier du traitement du signal, inventeur des codes de Hamming et de la distance de Hamming.

David Huffman

Créateur du codage de Huffman, algorithme optimal de compression de données sans perte.

Joseph Kruskal

Mathématicien et statisticien américain créateur de l'algorithme d'arbre couvrant minimal.

Robert Floyd

Pionnier de la sémantique formelle, de l'analyse syntaxique et de l'algorithme Floyd-Warshall.

C. A. R. Hoare

Inventeur de Quicksort, de la logique de Hoare et du modèle de processus communicants CSP.

Hilary Putnam

Logique•MATHÉMATICIEN

Philosophe et logicien américain co-inventeur de l'algorithme DPLL pour la résolution de SAT.

John Backus

Logique•MATHÉMATICIEN

Concepteur principal de FORTRAN, premier langage compilé de haut niveau à large diffusion, et de la forme BNF.

Triangle rectangle

Polygone à trois côtés possédant un angle droit (90°), berceau du théorème de Pythagore.

Triangle équilatéral

Polygone régulier à trois côtés de longueurs égales et trois angles de 60° (pi/3).

Triangle isocèle

Triangle possédant au moins deux côtés de même longueur et deux angles adjacents égaux.

Quadrilatère

Polygone à quatre sommets et quatre côtés dont la somme des angles intérieurs vaut 360° (2pi).

Parallélogramme

Quadrilatère dont les côtés opposés sont parallèles deux à deux et de même longueur.

Trapèze

Quadrilatère possédant au moins deux côtés opposés parallèles appelés bases.

Losange

Parallélogramme dont les quatre côtés ont la même longueur et dont les diagonales sont orthogonales.

Rectangle

Parallélogramme doté de quatre angles droits et de diagonales de longueurs égales.

Carré géométrique

Polygone régulier à quatre côtés unissant les propriétés du losange et du rectangle.

Cône

Solide engendré par les segments reliant les points d'une base circulaire à un sommet distinct.

Cylindre

Surface réglée fermée délimitée par deux disques parallèles de même rayon.

Sphère

L'ensemble des points de l'espace tridimensionnel équidistants d'un centre donné.

Solides de Platon

Les cinq polyèdres réguliers convexes de l'espace euclidien : tétraèdre, cube, octaèdre, dodécaèdre, icosaèdre.

Diagramme de Venn

Logique•MÉTHODE

Représentation visuelle des intersections, unions et inclusions d'ensembles par des surfaces fermées sécantes.

Ensemble vide

Logique•CONCEPT

L'unique ensemble ne contenant aucun élément, noté ∅, sous-ensemble de tout ensemble.

Événement aléatoire