Partition, single de la chanteuse américaine Beyoncé (2014).
Informatique
Une partition est une partie d'un disque dur matériel destinée à accueillir un système de fichiers. Par extension, les parties obtenues après le découpage d'un serveur sont appelées partitions logiques, dans le cadre de la virtualisation.
Dans une base de données, une partition est une division logique en plusieurs parties indépendantes.
Sur quelques systèmes d'exploitation de mainframes intermédiaires, on nommait partition toute zone de mémoire de taille fixe préallouée par le système pour y faire tourner des programmes.
Mathématiques et informatique théorique
Une partition d'un ensemble est un ensemble de parties non vides deux à deux disjointes et dont la réunion constitue l'ensemble de départ.
Une partition d'un entier est une décomposition de cet entier comme somme de nombres entiers strictement positifs, à ordre près des termes.
Une partition de l'unité est une famille de fonctions positives telles que, en chaque point, la somme des valeurs des fonctions soit égale à 1.
