Langage contextuelEn informatique théorique, et spécialement en théorie des langages, un langage contextuel (en anglais context-sensitive language) est un langage formel engendré par une grammaire contextuelle. C'est un langage de type 1 dans la hiérarchie de Chomsky. Les langages contextuels sont les langages reconnus par les automates linéairement bornés, c'est-à-dire les machines de Turing dont la mémoire de travail est linéairement bornée en fonction de la taille de l'entrée.
Constructible polygonIn mathematics, a constructible polygon is a regular polygon that can be constructed with compass and straightedge. For example, a regular pentagon is constructible with compass and straightedge while a regular heptagon is not. There are infinitely many constructible polygons, but only 31 with an odd number of sides are known. Some regular polygons are easy to construct with compass and straightedge; others are not.
Déclaration universelle des droits de l'hommeLa Déclaration universelle des droits de l'homme (DUDH) est adoptée par l'Assemblée générale des Nations unies le à Paris, au palais de Chaillot, par la . Elle précise les droits fondamentaux de l'homme. Sans véritable portée juridique en tant que tel, ce texte est une proclamation de droits ; par conséquent, il n'a qu'une valeur déclarative. Sur les 58 États membres de l'ONU à l'époque, quarante-huit ont adopté cette charte universelle. Aucun État ne s'est prononcé contre, mais huit se sont abstenus et deux n'ont pas pris part au vote.
Hyperbolic discountingIn economics, hyperbolic discounting is a time-inconsistent model of delay discounting. It is one of the cornerstones of behavioral economics and its brain-basis is actively being studied by neuroeconomics researchers. According to the discounted utility approach, intertemporal choices are no different from other choices, except that some consequences are delayed and hence must be anticipated and discounted (i.e., reweighted to take into account the delay). Given two similar rewards, humans show a preference for one that arrives sooner rather than later.
