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.
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.
Architecture islamiquethumb|Entrée d'une mosquée a Tlemcen en Algérie, peinture orientaliste de 1882 par Valery Jacobi. L'architecture islamique est une expression qui fait référence à l'art de construire (al-bina) qui s'est développé du à nos jours sur un ensemble appelé communément « monde musulman ». Celui-ci s'étend sur l'Afrique et l'Asie, de la côte ouest de l'Océan Atlantique à l'Inde d'ouest en est, et de l'Asie centrale à l'Océan Indien du nord au sud. À cela on peut ajouter des pays qui ont connu ou connaissent une importante minorité musulmane, comme l'Espagne et la Chine.
Academy (English school)An academy school in England is a state-funded school which is directly funded by the Department for Education and independent of local authority control. The terms of the arrangements are set out in individual academy funding agreements. 80% of secondary schools, 39% of primary schools and 43% of special schools are academies (as of January 2022). Academy Trusts are education charities that are set up for the purpose of running and improving schools. Academy Trusts are governed by a board of trustees which has strict duties under charity law and company law.
Troisième Guerre mondialethumb|Une explosion nucléaire. La Troisième Guerre mondiale est une expression désignant une hypothétique nouvelle guerre mondiale, qui serait caractérisée par l'usage de l'arme nucléaire (guerre nucléaire), ou bien d'autres conflits jugés d'importance planétaire, survenus après , comme la guerre froide, la guerre par arme biologique ou la lutte contre le terrorisme. vignette|Le centre-ville d'Hiroshima en 1945 après la bombe.
Islam en ChineL'islam en Chine () est riche de son passé et de son héritage. L'histoire de l'islam en Chine est des plus anciennes, remontant aux alentours de 650, lorsque Sa`d ibn Abi Waqqas est envoyé comme représentant auprès de l'empereur Tang Gaozong, durant le règne du calife Othmân ibn Affân. Le nombre de musulmans en RPC est estimé entre 30 et suivant les sources. L'État communiste commence par lutter contre toutes les religions pendant les années 1950, puis les interdit pendant la révolution culturelle (1966-1976) avant de graduellement mettre en place un système de liberté sous contrôle avec l'arrivée de Deng Xiaoping au pouvoir.
College-preparatory schoolA college-preparatory school (usually shortened to preparatory school or prep school) is a type of secondary school. The term refers to public, private independent or parochial schools primarily designed to prepare students for higher education. In the United States, there are public, private, and charter college preparatory schools that can be either parochial or secular. Admission is sometimes based on specific selection criteria, usually academic, but some schools have open enrollment. In 2017, 5.
Intelligent designerAn intelligent designer, also referred to as an intelligent agent, is the pseudoscientific hypothetical willed and self-aware entity that the intelligent design movement argues had some role in the origin and/or development of life. The term "intelligent cause" is also used, implying their teleological supposition of direction and purpose in features of the universe and of living things. The popularly termed intelligent design movement is a neo-creationist campaign that arose out of the Christian fundamentalist creation science movement.
Débat sur la NorvègeLe débat sur la Norvège, parfois appelé le débat de Narvik, est un célèbre débat qui a eu lieu à la Chambre des communes britannique en mai 1940. Il a conduit à la formation d'un gouvernement d’union nationale dirigé par Winston Churchill qui devait gouverner la Grande-Bretagne jusqu'à la fin de la Seconde Guerre mondiale en Europe. Le débat (les 7 et 8 mai), apparemment sur l'état d'avancement de la campagne de Norvège, a mis en évidence l’inadéquation généralisée du gouvernement en place, dirigé par Neville Chamberlain, face aux défis de la guerre.
Punitive expeditionA punitive expedition is a military journey undertaken to punish a political entity or any group of people outside the borders of the punishing state or union. It is usually undertaken in response to perceived disobedient or morally wrong behavior by miscreants, as revenge or corrective action, or to apply strong diplomatic pressure without a formal declaration of war (e.g. surgical strike). In the 19th century, punitive expeditions were used more commonly as pretexts for colonial adventures that resulted in annexations, regime changes or changes in policies of the affected state to favour one or more colonial powers.
