Page (computer memory)A page, memory page, or virtual page is a fixed-length contiguous block of virtual memory, described by a single entry in the page table. It is the smallest unit of data for memory management in a virtual memory operating system. Similarly, a page frame is the smallest fixed-length contiguous block of physical memory into which memory pages are mapped by the operating system. A transfer of pages between main memory and an auxiliary store, such as a hard disk drive, is referred to as paging or swapping.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Modèle d'entrepriseLe modèle d'entreprise, en anglais business model, est la représentation systémique et synthétique de l'origine de la valeur ajoutée d'une entreprise et de son partage de la valeur ajoutée entre les différentes parties prenantes, sur une période et pour un domaine d'activité clairement identifiés. Le modèle d'entreprise est donc un document de référence qui présente la manière dont une entreprise entend fonder et garantir sa rentabilité. À ce titre il est révélateur de la capacité de l'équipe dirigeante de l'entreprise à définir des objectifs et à produire des résultats.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Primitive data typeIn computer science, primitive data types are a set of basic data types from which all other data types are constructed. Specifically it often refers to the limited set of data representations in use by a particular processor, which all compiled programs must use. Most processors support a similar set of primitive data types, although the specific representations vary. More generally, "primitive data types" may refer to the standard data types built into a programming language (built-in types).
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Type algébrique de donnéesUn type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. Le type produit de deux types A et B est l’analogue en théorie des types du produit cartésien ensembliste et est noté A × B. C’est le type des couples dont la première composante est de type A et la seconde de type B.
SWOT (méthode d'analyse)L’analyse SWOT, matrice SWOT ou synthèse SWOT est un outil de stratégie d'entreprise permettant de déterminer les options offertes dans un domaine d'activité stratégique. Il vise à préciser les objectifs de l'entreprise ou du projet et à identifier les facteurs internes et externes favorables et défavorables à la réalisation de ces objectifs. L'analyse SWOT a été décrite comme l'outil éprouvé de l'analyse stratégique. Les forces et les faiblesses sont souvent d'ordre interne, tandis que les opportunités et les menaces se concentrent généralement sur l'environnement extérieur.
Concurrence pure et parfaiteLa concurrence pure et parfaite (CPP) ou, tout simplement, la concurrence parfaite, correspond à la théorie de la formation du prix élaborée au par les économistes néo-classiques. La concurrence pure et parfaite est censée permettre l’équilibre sur tous les marchés sous des conditions suffisantes très particulières. La concurrence pure et parfaite représente un des deux cas extrêmes de structures de marché étudiés par les économistes néoclassiques, le second étant le cas de monopole.
Droit de la concurrencevignette|Le droit à la concurrence est la branche du droit qui régit le marché libre. Le droit de la concurrence est une branche spécialisée du droit des affaires. Il regroupe l'ensemble des dispositions législatives et réglementaires visant à garantir le respect du principe de libre concurrence au sein d'une économie de libre marché. Entendu au sens strict du terme, le droit de la concurrence englobe les matières juridiques issues, directement ou indirectement, du droit de l'Union européenne : le droit des pratiques anticoncurrentielles ; le contrôle des concentrations ; le contrôle des aides d'État.
CoûtUn coût est la mesure d'une consommation exprimée en valeur monétaire. On peut dire également que c'est la mesure de l'appauvrissement d'un agent économique, associé à un événement ou une action de nature économique. Les comptables définissent plus précisément le coût comme une somme de charges (la charge mesure une consommation), c'est-à-dire un calcul. Il est alors possible de calculer toutes sortes de coûts (coût de revient, coût de production, coût marginal, etc.).
