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.
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.
Type récursifEn programmation informatique et théorie des types, un type récursif est un type de données dont la définition fait appel au type lui‐même, de façon récursive. Cela permet entre autres des structures de données qui contiennent des sous‐structures du même type. Cette notion s'applique naturellement dans l'étude des listes et des arbres. Type algébrique de données Les types algébriques sont de loin la forme la plus courante de types récursifs. Un exemple classique est le type liste.
Composite data typeIn computer science, a composite data type or compound data type is any data type which can be constructed in a program using the programming language's primitive data types and other composite types. It is sometimes called a structure or aggregate type, although the latter term may also refer to arrays, lists, etc. The act of constructing a composite type is known as composition. Composite data types are often contrasted with scalar variables. A struct is C's and C++'s notion of a composite type, a datatype that composes a fixed set of labeled fields or members.
Array (data type)In computer science, array is a data type that represents a collection of elements (values or variables), each selected by one or more indices (identifying keys) that can be computed at run time during program execution. Such a collection is usually called an array variable or array value. By analogy with the mathematical concepts vector and matrix, array types with one and two indices are often called vector type and matrix type, respectively. More generally, a multidimensional array type can be called a tensor type, by analogy with the physical concept, tensor.
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).
Generalized algebraic data typeIn functional programming, a generalized algebraic data type (GADT, also first-class phantom type, guarded recursive datatype, or equality-qualified type) is a generalization of parametric algebraic data types. In a GADT, the product constructors (called data constructors in Haskell) can provide an explicit instantiation of the ADT as the type instantiation of their return value. This allows defining functions with a more advanced type behaviour.
Booléenvignette|George Boole (1864-1865) L'homme ayant mis en place la première structure algébrique utilisée en logique mathématique, en informatique et en électronique. En programmation informatique, un booléen est un type de variable à deux états (généralement notés vrai et faux), destiné à représenter les valeurs de vérité de la logique et l'algèbre booléenne. Il est nommé ainsi d'après George Boole, fondateur dans le milieu du de l'algèbre portant son nom. Le type de données booléen est principalement associé à des états conditionnels.
Variable discrèteIn mathematics and statistics, a quantitative variable may be continuous or discrete if they are typically obtained by measuring or counting, respectively. If it can take on two particular real values such that it can also take on all real values between them (even values that are arbitrarily close together), the variable is continuous in that interval. If it can take on a value such that there is a non-infinitesimal gap on each side of it containing no values that the variable can take on, then it is discrete around that value.
Type abstraitEn informatique, un type de donnée abstrait (en anglais, abstract data type ou ADT) est une spécification mathématique d'un ensemble de données et de l'ensemble des opérations qu'on peut effectuer sur elles. On qualifie d'abstrait ce type de donnée car il ne spécifie pas comment les données sont représentées ni comment les opérations sont implémentées. Les types abstraits les plus utilisés sont : arbre binaire conteneur dictionnaire ou tableau associatif ensemble Graphe liste multiensemble pile Union-find Un type abstrait est composé de cinq champs : Type abstrait ; Utilise ; Opérations ; Pré-conditions ; Axiomes.
Mathématiques discrètesLes mathématiques discrètes, parfois appelées mathématiques finies, sont l'étude des structures mathématiques fondamentalement discrètes, par opposition aux structures continues. Contrairement aux nombres réels, qui ont la propriété de varier "en douceur", les objets étudiés en mathématiques discrètes (tels que les entiers relatifs, les graphes simples et les énoncés en logique) ne varient pas de cette façon, mais ont des valeurs distinctes séparées.
Modèle biopsychosocialvignette|Modèle biopsychosocial. Le Modèle biopsychosocial ou Approche biopsychosociale, en médecine, est une approche théorique et pratique, proposé par le médecin psychiatre Engel, qui veut prendre en compte des facteurs psychologiques, sociaux et biologiques des pathologies. Il s'oppose à une lecture exclusive via un modèle biomédical, psychologique ou anti-psychiatrique. Il n'exclut pas, a priori, ces trois approches, bien que leurs aspects aient des pertinences différentes en fonction des symptômes.
Résilience (psychologie)thumb|La résilience permet à un individu affecté par un traumatisme de se reconstruire (comme cet arbre qui a absorbé le panneau). thumb|right|Arbre qui pourrait être perçu comme un symbole de résilience : sa cime a été coupée, et néanmoins il vit et se déploie. La résilience est un phénomène psychologique qui consiste, pour un individu affecté par un traumatisme, à prendre acte de l'événement traumatique de manière à ne pas, ou plus, vivre dans le malheur et à se reconstruire d'une façon socialement acceptable.
Véhicule hybrideUn véhicule hybride est un véhicule faisant appel à plusieurs sources d'énergie distinctes pour se mouvoir. Les véhicules hybrides combinent plusieurs sources d'énergie dont souvent l'une est thermique et l'autre électrique. Le principe global très simplifié de ce type de motorisation consiste à profiter des avantages de chaque type de moteur en minimisant leurs inconvénients. Quatre architectures d'hybridation sont possibles : En série : le moteur thermique entraîne un alternateur sans fournir directement de couple à l'essieu, l'alternateur fournissant l’électricité à un moteur électrique.
Notation financièreLa notation financière externe ou notation de la dette ou rating (dans le monde anglo-saxon) est l'appréciation, par une agence de notation financière, du risque de solvabilité financière : d’une entreprise, d’un État (« notation souveraine ») ou d’une autre collectivité publique, nationale ou locale, d’une opération (emprunt, emprunt obligataire, opération de financement structurée, titrisation, etc.), et l'attribution d'une note correspondant aux perspectives de remboursement de ses engagements envers ses créanciers — fournisseurs, banques, détenteurs d’obligations, etc.
PsychologieLa psychologie (du grec , « âme », et , « parole, discours »), est une discipline scientifique qui s'intéresse à l'étude du corpus des connaissances sur les faits psychiques, les comportements et les processus mentaux. La psychologie est la connaissance empirique ou intuitive des sentiments, des idées, des comportements d'une personne et des manières de penser, de sentir, d'agir qui caractérisent un individu ou un groupe. Il est commun de définir aussi la psychologie comme l'étude scientifique des comportements.
Véhicule hybride rechargeablevignette|Une Audi A1 rechargeable au salon iMobility 2012 à Stuttgart. Un véhicule hybride rechargeable (VHR) est un véhicule hybride électrique dont la batterie de traction est conçue pour être chargée par branchement à une source d'énergie extérieure. Deux catégories de tels véhicules existent : PHEV (de l'anglais « Plug-in Hybrid Electric Vehicle ») quand les deux motorisations agissent de concert pour animer le véhicule, ou EREV (de l'anglais « Extended Range Electric Vehicles ») quand seul le moteur électrique est connecté aux roues, le moteur thermique ne fournissant de la puissance à un générateur d'électricité que lorsque la batterie d'accumulateurs a besoin d’être rechargée.
Objectif optiqueUn objectif est un système optique constitué d'un ensemble de lentilles optiques simples ou composées (doublets ou triplets) en verre minéral ou organique qui forment une succession de dioptres sphériques, asphériques ou plans qui caractérise le premier élément de l'instrument d'optique qui reçoit les rayons lumineux émanant de l'« objet » (d'où l'origine étymologique du mot). Les rayons lumineux, issus de cet objet observé distant traversent l'objectif et en forment une .
Modèle diathèse–stressthumb|upright=1.2|Schéma du modèle diathèse–stress : en horizontal, le vécu va de très négatif à très positif ; en vertical en représentée la conséquence pour une personne "solide" (noir) ou vulnérable (rouge) Le modèle diathèse–stress est une théorie psychologique tentant d'expliquer certains comportements humains par la conjonction d'une vulnérabilité héréditaire et de stress important issu d'expériences vécues.
Agence de notation financièreUne agence de notation financière est un organisme chargé d'évaluer le risque de non-remboursement de la dette ou d'un emprunt d'un État, d'une entreprise ou d'une collectivité locale, et jamais d'un particulier. Rémunérée par le demandeur de notation financière, elle produit, à titre indicatif, des outils qui estiment les risques d'insolvabilité. Le marché des agences est oligopolistique : trois agences seulement se partagent 95 % des demandes de notations dans le monde.
