Modèle de donnéesEn informatique, un modèle de données est un modèle qui décrit la manière dont sont représentées les données dans une organisation métier, un système d'information ou une base de données. Le terme modèle de données peut avoir deux significations : Un modèle de données théorique, c'est-à-dire une description formelle ou un modèle mathématique. Voir aussi modèle de base de données Un modèle de données instance, c'est-à-dire qui applique un modèle de données théorique (modélisation des données) pour créer un modèle de données instance.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Grèce antiquevignette|La Grèce antique au La Grèce antique est une civilisation de l'Antiquité des peuples de langue et de culture grecque développée en Grèce et dans la partie occidentale de l'Asie Mineure, puis, à la suite de plusieurs phases d'expansion, dans d'autres régions du bassin méditerranéen (Chypre, Sicile, Italie du sud, Égypte, Cyrénaïque) et du Proche-Orient (Syrie, Palestine), constituant des points d'implantation jusque dans les actuelles Espagne et France à l'ouest et sur le territoire de l’actuel Afgha
Turcs d'AllemagneLes Turcs d'Allemagne sont les immigrés (et leurs descendants) venus de Turquie à partir des années 1960. Le , en plein (Wirtschaftswunder), la République fédérale d'Allemagne et la Turquie signaient à Bad Godesberg une convention sur le recrutement de main d'œuvre. Dix ans plus tard, vivaient en Allemagne. Selon les statistiques, la communauté turque compte dont turcs vivant en Allemagne (2011) et allemands d'origine turque ayant au moins un parent turc, le reste de la communauté provenant des minorités turques d'autres pays, principalement de Grèce et de Bulgarie.
Allemagne de l'OuestL'Allemagne de l'Ouest (en allemand : Westdeutschland) est le nom d'usage donné à la République fédérale d'Allemagne, souvent abrégée en RFA (en allemand : Bundesrepublik Deutschland ou BRD, parfois traduit à tort par « République fédérale allemande », lorsque l’État couvrait la partie occidentale de l'Allemagne, entre 1949 et 1990. La capitale politique de la République fédérale avait été installée à Bonn, sur les bords du Rhin, tandis que le secteur Berlin-Ouest de l'ancienne capitale du Reich bénéficiait d’un statut politique spécial mais pouvait de facto être considéré comme faisant partie de l’Allemagne de l’Ouest, notamment à propos de la circulation des personnes.
Idéalisme allemandvignette|Les philosophes de l'idéalisme allemand. Kant (en haut à gauche), Fichte (en haut à droite), Schelling (en bas à gauche), Hegel (en bas à droite) Lidéalisme allemand est le nom générique que l'on donne à un ensemble de philosophies développées en Allemagne à la fin du et au début du . Ses principaux représentants sont : Emmanuel Kant (1724-1804), Johann Gottlieb Fichte (1762-1814), Georg Wilhelm Friedrich Hegel (1770-1831) et Friedrich Wilhelm Joseph von Schelling (1775-1854).
Forces spécialesvignette|Les spetsnaz sont une force spéciale des forces armées russes Les forces spéciales (FS) sont, selon la définition de l'OTAN, les unités militaires spécifiquement formées, instruites et entraînées pour mener un éventail de missions particulières, allant des « » dans le cadre d’un conflit classique à celles relevant de la guerre non conventionnelle. Leurs missions, lorsque conduites à proximité de forces conventionnelles alliées, peuvent ressembler à celles des commandos de type GCP, mais ces derniers ne pratiquent pas ou peu de guerre non-conventionnelle.
Kind (type theory)In the area of mathematical logic and computer science known as type theory, a kind is the type of a type constructor or, less commonly, the type of a higher-order type operator. A kind system is essentially a simply typed lambda calculus "one level up", endowed with a primitive type, denoted and called "type", which is the kind of any data type which does not need any type parameters. A kind is sometimes confusingly described as the "type of a (data) type", but it is actually more of an arity specifier.
Histoire de l'Allemagnethumb|Drapeau actuel de l'Allemagne. L'histoire de l'Allemagne est complexe et varie selon les limites géographiques et historiques dans lesquelles on considère le territoire et l'ethnogenèse du peuple allemand. En tant qu'État-nation, tel qu'on l'entend en France, l'Allemagne n'existe que depuis 1871. Avant cette date toutefois, il existait un monde germanique doté d'une certaine cohérence variable selon les époques, sur les plans linguistique, culturel, et parfois politique.
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.
