Carte géographiquethumb|right|Esquisse explicative de la plus ancienne carte géographique connue (époque sumérienne, env. 2500 av. J.-C.) vignette|250px|Carte mondiale datant de 1154 réalisée par Al Idrissi pour Roger II de Sicile (ici retournée à ). thumb|right|upright=1.3|Tabula Rogeriana, dessiné par Muhammad al-Idrisi pour Roger II de Sicile (ici retournée à ). Une carte géographique est une représentation d'un espace géographique. Elle met en valeur l'étendue de cet espace, sa localisation relative par rapport aux espaces voisins, ainsi que la localisation des éléments qu'il contient.
Étatthumb|Nicolas Machiavel fut un des premiers à faire usage du mot stato dans le sens d'. L’État possède une triple signification : sociologique ; organisationnelle ; juridique. Sur le plan sociologique, c'est alors une population vivant sur un territoire déterminé et soumise à un gouvernement. Cette définition rejoint celle de la première édition du dictionnaire de l’Académie française de 1696, qui définit l'État comme le , ou bien le pays lui-même, c'est-à-dire l'État entendu .
Fonction d'étatUne fonction d'état est une fonction de grandeurs appelées variables d'état, qui définissent l'état d'équilibre d'un système thermodynamique. Les variables d'état sont par exemple la température , la pression , le volume ou le nombre de moles . Une telle fonction possède donc la propriété de ne dépendre que de l'état d'équilibre dans lequel se trouve le système, quel que soit le chemin emprunté par le système pour arriver à cet état.
Réseau (géométrie)En mathématiques, un réseau d'un espace (vectoriel) euclidien est un sous-groupe discret de l’espace, de rang fini n. Par exemple, les vecteurs de Rn à coordonnées entières dans une base forment un réseau de Rn. Cette notion permet de décrire mathématiquement des maillages, comme celui correspondant à la figure 1. thumb|Fig. 1. Un réseau est un ensemble discret disposé dans un espace vectoriel réel de dimension finie de manière régulière, au sens où la différence de deux éléments du réseau est encore élément du réseau.
Map layoutMap layout, also called map composition or (cartographic) page layout, is the part of cartographic design that involves assembling various map elements on a page. This may include the map image itself, along with titles, legends, scale indicators, inset maps, and other elements. It follows principles similar to page layout in graphic design, such as balance, gestalt, and visual hierarchy. The term map composition is also used for the assembling of features and symbols within the map image itself, which can cause some confusion; these two processes share a few common design principles but are distinct procedures in practice.
Chef d'Étatvignette|Le président des États-Unis réuni, durant une séance de travail, avec un autre chef d'État (le président de la République française) et cinq chefs de gouvernement (la chancelière allemande et les Premiers ministres canadien, italien, japonais et britannique) parmi les plus puissants de la planète lors du sommet du G7 tenu au Canada en juin 2018. Un chef d'État est une personne qui incarne la continuité et la légitimité de l'État.
Réseau réciproqueEn cristallographie, le réseau réciproque d'un réseau de Bravais est l'ensemble des vecteurs tels que : pour tous les vecteurs position du réseau de Bravais. Ce réseau réciproque est lui-même un réseau de Bravais, et son réseau réciproque est le réseau de Bravais de départ. Un cristal peut se décrire comme un réseau aux nœuds duquel se trouvent des motifs : atome, ion, molécule. Si l'on appelle les vecteurs définissant la maille élémentaire, ces vecteurs définissent une base de l'espace.
PlanisphèreUn planisphère est une représentation plane de la surface du globe terrestre. La sphère étant une surface courbe, les formes et les tailles des continents, mers, pays, etc ne pourront pas être préservés. Le terme mappemonde est, dans son sens strict, une carte représentant toutes les parties du globe terrestre divisé en deux hémisphères enfermés chacun dans un grand cercle. La création d’un planisphère demande des informations générales sur la planète, notamment les formes et positions relatives des océans ou des continents.
Paramètre cristallinLes paramètres cristallins, aussi appelés paramètres de maille, sont des grandeurs utilisées pour décrire la maille d'un cristal. On distingue trois longueurs (a, b, c) et trois angles (α, β, γ) qui déterminent entièrement le parallélépipède qu'est la maille, élémentaire ou multiple. Les paramètres a, b et c sont mesurés en ångströms (Å), en nanomètres (nm), parfois en picomètres, et α, β et γ en degrés (°).
Distributive latticeIn mathematics, a distributive lattice is a lattice in which the operations of join and meet distribute over each other. The prototypical examples of such structures are collections of sets for which the lattice operations can be given by set union and intersection. Indeed, these lattices of sets describe the scenery completely: every distributive lattice is—up to isomorphism—given as such a lattice of sets. As in the case of arbitrary lattices, one can choose to consider a distributive lattice L either as a structure of order theory or of universal algebra.
Carte routièrethumb|Carte du réseau autoroutier trans-Afrique thumb|portion de la Tabula Peutingeriana thumb|Carte de 1929 de la Nouvelle Angleterre dessinée par Gousha fpour Gulf Oil thumb|carte des rues de Paris thumb|Carte routière schématique thumb|Carte de la Louisiane en 1853, avec en encart les rues de la Nouvelle Orléans thumb|Légende de la carte Michelin de 1940 Une carte routière est une représentation schématique des axes routiers destinée principalement aux automobilistes pour trouver leur itinéraire et pour i
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.
Treillis (ensemble ordonné)En mathématiques, un treillis () est une des structures algébriques utilisées en algèbre générale. C'est un ensemble partiellement ordonné dans lequel chaque paire d'éléments admet une borne supérieure et une borne inférieure. Un treillis peut être vu comme le treillis de Galois d'une relation binaire. Il existe en réalité deux définitions équivalentes du treillis, une concernant la relation d'ordre citée précédemment, l'autre algébrique. Tout ensemble muni d'une relation d'ordre total est un treillis.
Équation d'étatEn physique, et plus particulièrement en thermodynamique, une équation d'état d'un système à l'équilibre thermodynamique est une relation entre différents paramètres physiques (appelés variables d'état) qui déterminent son état. Il peut s'agir par exemple d'une relation entre sa température, sa pression et son volume. À partir de l'équation d'état caractéristique d'un système physique, il est possible de déterminer la totalité des quantités thermodynamiques décrivant ce système et par suite de prédire ses propriétés.
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.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
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.
