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.
Positionnement dynamiquethumb|alt=alternative de l'image à compléter|Navire de soutien Offshore Toisa Perseus avec en arrière-plan la cinquième génération de navire de forage en eau très profonde Discoverer Enterprise Le positionnement dynamique (DP) est un système contrôlé par ordinateur qui permet à un navire de maintenir sa position en utilisant ses propres moyens de propulsion. Le système DP est constitué de trois parties. Les capteurs recueillent les informations, la console informatique effectue les calculs et sert d'interface pour l'opérateur, et les actionneurs agissent sur consigne.
Galilée (savant)Galilée (Galileo Galilei), né à Pise le et mort à Arcetri près de Florence le , est un mathématicien, géomètre, physicien et astronome italien du . Parmi ses réalisations techniques, il a perfectionné et exploité la lunette astronomique, perfectionnement de la découverte hollandaise d'une lunette d'approche, pour procéder à des observations rapides et précoces qui ont bouleversé les fondements de l'astronomie. Cet homme de sciences s'est ainsi posé en défenseur de l'approche modélisatrice copernicienne de l'Univers, proposant d'adopter l'héliocentrisme et les mouvements satellitaires.
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.
Procès de Galiléethumb|upright=1.5|Galilée devant le Saint-Office. Peinture de Joseph-Nicolas Robert-Fleury. Le procès de Galilée ou l'affaire Galilée est l'enquête et la condamnation du savant astronome Galilée par l'Inquisition pour avoir critiqué le géocentrisme et soutenu l'héliocentrisme. L'affaire commence vers 1610, alors que Galilée publie Sidereus nuncius. Il y décrit ses observations astronomiques à l'aide d'une lunette astronomique.
Navigation aériennethumb|Exemple de navigation aérienne La navigation aérienne est l'ensemble des techniques permettant à un pilote d'aéronef de maîtriser ses déplacements. La navigation permet à l'aéronef de suivre une trajectoire appelée route aérienne. La navigation aérienne est largement héritière de la navigation maritime et la terminologie utilisée est identique. Aux débuts de l'aviation, les navigations se faisaient à vue.
Galileo (spacecraft)Galileo was an American robotic space probe that studied the planet Jupiter and its moons, as well as the asteroids Gaspra and Ida. Named after the Italian astronomer Galileo Galilei, it consisted of an orbiter and an entry probe. It was delivered into Earth orbit on October 18, 1989, by , during STS-34. Galileo arrived at Jupiter on December 7, 1995, after gravitational assist flybys of Venus and Earth, and became the first spacecraft to orbit an outer planet.
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).
Impact cosmiquevignette|Représentation d'artiste d'un astéroïde tombant sur la Terre. Un impact cosmique est la collision entre deux ou plusieurs objets célestes provoquant des effets notables. Dans la majorité des cas un petit corps du système solaire, astéroïde ou comète, entre en collision avec une planète, telle que la Terre. La fréquence des impacts cosmiques dans le système solaire a varié en fonction de l'époque : très fréquents durant la formation du système solaire il y a 4,6 milliards d'années, ils se sont progressivement raréfiés au fur et à mesure que le nombre de corps célestes en circulation diminuait.
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.
PotentialPotential generally refers to a currently unrealized ability. The term is used in a wide variety of fields, from physics to the social sciences to indicate things that are in a state where they are able to change in ways ranging from the simple release of energy by objects to the realization of abilities in people. The philosopher Aristotle incorporated this concept into his theory of potentiality and actuality, a pair of closely connected principles which he used to analyze motion, causality, ethics, and physiology in his Physics, Metaphysics, Nicomachean Ethics, and De Anima, which is about the human psyche.
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.
