Histoire intellectuelleLhistoire intellectuelle est une des branches de la recherche historique. Elle est d'apparition récente et est agitée par diverses controverses; elle s'apparente à l'histoire des idées. Alors que cette dernière s’intéresse aux idées en elles-mêmes, l’histoire intellectuelle se penche sur les idées dans leur contexte: elles émanent d'auteurs et sont situées dans un espace-temps. L’histoire intellectuelle remet donc en question des pratiques telles que l'utilisation d'un texte uniquement pour ses critères internes.
Pays les moins avancésvignette|400px| Les pays les moins avancés (PMA) sont une catégorie de pays créée en 1971 par l'Organisation des Nations unies (ONU), regroupant les pays socio-économiquement les moins développés de la planète. Au , 46 pays appartiennent à cette catégorie ; la plupart d'entre eux se situent en Afrique.
Logical formIn logic, logical form of a statement is a precisely-specified semantic version of that statement in a formal system. Informally, the logical form attempts to formalize a possibly ambiguous statement into a statement with a precise, unambiguous logical interpretation with respect to a formal system. In an ideal formal language, the meaning of a logical form can be determined unambiguously from syntax alone. Logical forms are semantic, not syntactic constructs; therefore, there may be more than one string that represents the same logical form in a given language.
Pays en développementDans la typologie la plus courante, les pays en développement ou pays du Sud sont des pays moins développés économiquement que les pays développés (parfois appelés pays du Nord). L'expression « pays en développement » remplace des dénominations antérieures, jugées inadéquates, obsolètes ou incorrectes : les pays du tiers monde, les pays sous-développés. Elle s'est substituée à « pays en voie de développement ».
Share priceA share price is the price of a single share of a number of saleable equity shares of a company. In layman's terms, the stock price is the highest amount someone is willing to pay for the stock, or the lowest amount that it can be bought for. In economics and financial theory, analysts use random walk techniques to model behavior of asset prices, in particular share prices on stock markets. This practice has its basis in the presumption that investors act rationally and without biases, and that at any moment they estimate the value of an asset based on future expectations.
Grammaire formelleUne grammaire formelle est un formalisme permettant de définir une syntaxe et donc un langage formel, c'est-à-dire un ensemble de mots admissibles sur un alphabet donné. La notion de grammaire formelle est particulièrement utilisée en programmation logique, compilation (analyse syntaxique), en théorie de la calculabilité et dans le traitement des langues naturelles (tout particulièrement en ce qui concerne leur morphologie et leur syntaxe).
PapierLe papier est un matériau en feuilles minces fabriqué à partir de fibres végétales. C'est un support d'écriture et de dessin avec de nombreuses autres applications. On appelle carton un papier épais et rigide. L'usage du papier est attesté il y a en Chine. Il s'y fabrique à partir de plantes riches en cellulose. L'invention de la xylographie au en augmente l'usage et la fabrication. À la même époque, il se diffuse dans le monde musulman, où les fabricants utilisent le chiffon, puis en Occident où on lui ajoute de la colle pour l'adapter à l'écriture à la plume.
Domaine de premier niveauUn domaine de premier niveau ou un domaine de tête (top-level domain, ou TLD), aussi appelé une extension, est, dans le système de noms de domaine internet, un sous-domaine de la racine. Dans un nom de domaine, le domaine de premier niveau est généralement le dernier élément du nom de domaine (exemple : dans , le domaine de premier niveau est ). vignette|Exemples de domaines de premier niveau. Le dernier point est optionnel. À l'origine, il indiquait la fin du nom de domaine. Par simplicité, l'usage courant est de ne plus l'indiquer.
Histoire contrefactuelleEn science de l'Histoire, l’histoire contrefactuelle (ou approche contrefactuelle) est une méthode qui consiste à imaginer des développements historiques alternatifs (par exemple la chute de la république romaine à la suite de l'invasion gauloise, et ses conséquences possibles) à partir d'une situation réelle (celle de Rome et des celtes gaulois). La question qui permet d'amorcer ce type de réflexion est : .
Nom de domaineUn nom de domaine (NDD en notation abrégée française ou DN pour Domain Name en anglais) est, dans le système de noms de domaine DNS, un identifiant de domaine internet. Un domaine est un ensemble d'ordinateurs reliés à Internet et possédant une caractéristique commune. Par exemple, un domaine tel que .fr est l'ensemble des ordinateurs hébergeant des activités pour des personnes ou des organisations qui se sont enregistrées auprès de l'Association française pour le nommage Internet en coopération (AFNIC) qui est le registre responsable du domaine de premier niveau .
Village urbainvignette|Le village de Saifi dans le centre-ville de Beyrouth. Le concept de village urbain dérive en droite ligne de la notion de quartier défini en tant qu’unité géographique de planification urbaine. Le concept serait apparu pour la première fois, dans les années 1960, pour décrire un quartier de Boston habité par des immigrants italiens. Un village urbain a la taille d’un quartier (agrégat de quelques îlots) et se caractérise par la mixité de son occupation des sols (résidentielle, commerciale, espaces publics.
Méthode formelle (informatique)En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).
