Architecture gothiquevignette|220px|Basilique Saint-Denis – gothique primitif (déambulatoire de 1240, façade sauf les tours avant 1240). Larchitecture gothique est un style architectural d'origine française qui s'est développée à partir de la seconde partie du Moyen Âge en Europe occidentale. Elle apparaît en Île-de-France et en Haute-Picardie au . Elle se diffuse rapidement au nord puis au sud de la Loire et en Europe jusqu'au milieu du et même jusqu'au dans certains pays.
Calcul des prédicatsEn logique mathématique, le calcul des prédicats du premier ordre, ou calcul des relations, logique quantificationnelle, ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique. Il a été proposé par Gottlob Frege une formalisation du langage des mathématiques entre la fin du et le début du .
Théorème de représentation de Stone pour les algèbres de BooleEn mathématiques, le théorème de représentation de Stone pour les algèbres de Boole établit une équivalence entre la catégorie des algèbres de Boole et celle des espaces de Stone (espaces compacts totalement discontinus). Cette correspondance a été établie par Marshall Stone en 1936. Soit A une algèbre de Boole. On lui associe l'ensemble S(A) des morphismes , appelé « l'espace de Stone associé à A ».
Logique linéairevignette|Arbre de résolution linéaire En logique mathématique et plus précisément en théorie de la démonstration, la logique linéaire est un système formel inventé par le logicien Jean-Yves Girard en 1987. Du point de vue logique, la logique linéaire décompose et analyse les logiques classique et intuitionniste. Du point de vue calculatoire, elle est un système de type pour le lambda-calcul permettant de spécifier certains usages des ressources. La logique classique n'étudie pas les aspects les plus élémentaires du raisonnement.
Geometry of interactionThe Geometry of Interaction (GoI) was introduced by Jean-Yves Girard shortly after his work on linear logic. In linear logic, proofs can be seen as various kinds of networks as opposed to the flat tree structures of sequent calculus. To distinguish the real proof nets from all the possible networks, Girard devised a criterion involving trips in the network. Trips can in fact be seen as some kind of operator acting on the proof.
Système héritéUn système hérité, système patrimonial ou système obsolète (en anglais : legacy system) est un matériel ou un logiciel continuant d'être utilisé dans une organisation (entreprise ou administration), alors qu'il est supplanté par des systèmes plus modernes. L'obsolescence de ces systèmes et leur criticité les rendent difficilement remplaçables sans engendrer des projets coûteux et risqués. Par exemple, les banques et assurances qui ont informatisé leur traitement des informations dans les années 1970 ont des applications qui tournent avec du code hérité souvent en COBOL ou en Fortran.
Affine logicAffine logic is a substructural logic whose proof theory rejects the structural rule of contraction. It can also be characterized as linear logic with weakening. The name "affine logic" is associated with linear logic, to which it differs by allowing the weakening rule. Jean-Yves Girard introduced the name as part of the geometry of interaction semantics of linear logic, which characterizes linear logic in terms of linear algebra; here he alludes to affine transformations on vector spaces. Affine logic predated linear logic.
Architecture romanethumb|Église Saint-Étienne de Nevers thumb|Abbaye Saint-Pierre de Moissac. thumb|Basilique de Paray-le-Monial. thumb|La cathédrale et la tour de Pise, Italie. thumb|L'abbaye de Maria Laach, Allemagne thumb|Basilique Sainte-Marie-Madeleine de Vézelay. thumb|Cathédrale de Saint-Jacques-de-Compostelle, portail des Orfèvres L'architecture romane est le premier grand style créé au Moyen Âge en Europe après le déclin de la civilisation gréco-romaine.
Architecture romainethumb|300px|L'architecture du Panthéon de Rome illustre le mélange du classicisme hérité de la Grèce et l'ajout de nouvelles techniques de construction typiquement romaines comme le dôme, la voûte et l'arche. thumb|300px|Le pont du Gard, aqueduc alimentant la cité romaine de Nemausus (Nîmes) : l'architecture romaine monumentale au service de la santé publique.
Software agingIn software engineering, software aging is the tendency for software to fail or cause a system failure after running continuously for a certain time, or because of ongoing changes in systems surrounding the software. Software aging has several causes, including the inability of old software to adapt to changing needs or changing technology platforms, and the tendency of software patches to introduce further errors. As the software gets older it becomes less well-suited to its purpose and will eventually stop functioning as it should.
