Top Qs
Chronologie
Chat
Contexte

Partition

page d'homonymie de Wikimédia De Wikipédia, l'encyclopédie libre

Partition
Remove ads

Partition peut désigner :

Sur les autres projets Wikimedia :

Thumb
Partition Arch, une arche naturelle située dans l'Utah, aux États-Unis.

Musique

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.
Remove ads

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.
  • Le partitionnement de données consiste à regrouper des données en plusieurs groupes homogènes.
  • Le partitionnement de graphe consiste à découper un graphe en optimisant certains critères.

Autres sujets

Remove ads
Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads