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).
TorseurUn torseur est un outil mathématique utilisé principalement en mécanique du solide indéformable, pour décrire les mouvements des solides et les actions mécaniques qu'ils subissent de la part d'un environnement extérieur. Son nom fait référence à la forme des lignes de champ du champ de vecteurs correspondant, en forme de torsade. Un certain nombre de vecteurs utilisés en mécanique sont des moments : moment d'une force, moment cinétique, moment dynamique.
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 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.
Planète mineurevignette|redresse=1.5|Image d'artiste (échelle non respectée) illustrant la présence de nombreuses planètes mineures gravitant entre Mars et Jupiter (ceinture principale d'astéroïdes). vignette|redresse=1.5|(433) Éros, astéroïde géocroiseur photographié en 2000 par la sonde NEAR Shoemaker. vignette|redresse=1.5|(4) Vesta, grand astéroïde de la ceinture principale. Image reconstituée informatiquement à partir de plusieurs photographies de la sonde Dawn en 2011-2012. vignette|redresse=1.
Implant dentaireUn implant dentaire ou ancrage dentaire est un dispositif médical inséré dans le maxillaire ou la mandibule et destiné à créer un ancrage capable de recevoir une prothèse dentaire amovible ou fixée. Pendant les années 1950, le professeur Per Ingvar Brånemark (Suède) découvre par hasard l'exceptionnelle affinité du titane pour l'os vivant. Le titane devient alors le premier matériau connu qui soit totalement biocompatible. Il décide d'exploiter cette découverte pour contribuer à traiter les personnes édentées.
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.
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.
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).
RivetUn rivet est un élément d'assemblage et de fixation permanent. Il se présente sous la forme d'une tige cylindrique, généralement métallique, pleine ou creuse qui est munie à l'une de ses extrémités d'une « tête », c'est-à-dire une partie de section plus grande. L'autre extrémité sera aplatie et élargie par écrasement, pour solidariser les éléments qu'on veut riveter ensemble. C'est le rivetage. Ces éléments (par exemple deux plaques de métal) ont chacun été percés au préalable d'un trou permettant à la tige du rivet de traverser l'un et l'autre.
