Codex & Encyclopédie

Deux événements dont la probabilité de survenue conjointe est le produit strict de leurs probabilités.

La réévaluation de la probabilité d'un événement A sachant qu'un événement B est advenu.

Décomposition de la probabilité d'un événement sur un système complet d'événements disjoints.

Application mesurable associant aux issues d'un tirage des valeurs dans un ensemble dénombrable.

Tableau évaluant la valeur de vérité d'une proposition logique pour chaque combinaison d'entrées.

Proposition formelle restant invariablement vraie quelle que soit la valeur de vérité de ses composantes.

La conjonction logique binaire notée ∧, vraie si et seulement si ses deux propositions sont vraies.

La disjonction inclusive notée ∨, vraie dès qu'au moins l'une de ses deux propositions est vraie.

L'opérateur unaire d'inversion de valeur de vérité, transformant le vrai en faux et le faux en vrai.

La relation conditionnelle p ⇒ q, fausse uniquement lorsque la prémisse est vraie et la conclusion fausse.

La double implication p ⇔ q, vraie lorsque les deux propositions partagent la même valeur de vérité.

Modèle prédictif arborescent découpant l'espace des données par des tests séquentiels.

Ensemble de sommets reliés par des arcs munis d'une direction privilégiée source -> cible.

Graphe d'un seul tenant où il existe toujours au moins une chaîne reliant deux sommets quelconques.

Graphe connexe et acyclique : l'ossature minimale reliant n sommets par exactement n - 1 arêtes.

Le nombre d'arêtes incidentes à un sommet, gouverné par le lemme des poignées de main.

Matrice carrée binaire A codant la connectivité d'un graphe, où A_ij = 1 si une arête relie i à j.

Breadth-First Search (BFS) : exploration niveau par niveau d'un graphe utilisant une file FIFO.

Depth-First Search (DFS) : exploration plongeant le plus loin possible le long de chaque branche via une pile LIFO.

Nombre de positions où deux mots de même longueur diffèrent, métrique clé de la théorie des codes.