Architecture modernevignette|Gerrit Rietveld, maison Schröder, 1924. vignette|Richard Neutra, Lovell House, Hollywood Hills (1927–1929) vignette|Pavillon allemand de Barcelone, Ludwig Mies van der Rohe, 1929 vignette|Frank Lloyd Wright, Fallingwater, 1935-1939 vignette|Juan O'Gorman, Bibliothèque, Université nationale autonome du Mexique, 1949-1952 vignette|Oscar Niemeyer, Congrès national du Brésil, Brasilia, 1960 vignette|Eero Saarinen, JFK International Airport, 1962.
Quantification (logique)vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers).
Style Beaux-Artsthumb|upright=1.3|Le monumental portail du Petit Palais, Paris, 1900. thumb|upright=1.3|Centre culturel en Argentine. Le style Beaux-Arts, conception due aux historiographes de l'architecture américaine (sous le nom de Beaux-Arts style ou encore Modern French), est une forme tardive d'éclectisme. Il obtient un grand retentissement aux États-Unis à partir des années 1860 et jusqu'au milieu du . En Angleterre, on parle d’architecture victorienne, le règne de la reine Victoria couvrant les périodes françaises du style Napoléon III et du style Beaux-Arts.
Style fédéralLe style fédéral est un style architectural qui s'est développé aux États-Unis entre 1780 et 1830, et en particulier de 1785 à 1815. Il succède au style georgien et reprend les thèmes et les formes du néo-classicisme. La décoration (ellipse, aigle) est minimale et l'ampleur devient monumentale. Le style fédéral se fonde sur le palladianisme développé en Angleterre depuis les travaux de l'architecte Inigo Jones au .
Architecture victorienneL'expression architecture victorienne renvoie à un grand nombre de styles architecturaux pratiqués au cours de l'ère victorienne (1837-1901). Style Queen Anne Néoclassicisme ( Neoclassical architecture) Néorenaissance (Tudor Revival, Jacobethan) Style néogothique (Gothic revival) Néoroman Style italianisant (Italianate architecture, Liberty ) Style Second Empire Painted Ladies Greek Revival C'est l'une des disciplines des arts décoratifs victoriens.
Circuit logique programmableUn circuit logique programmable ou PLD (Programmable Logical Device), est un circuit intégré logique qui peut être programmé après sa fabrication. Il se compose de nombreuses cellules logiques élémentaires contenant des bascules logiques librement connectables. L'utilisateur doit donc programmer le circuit avant de l'utiliser. Les différentes logiques de programmation (unique, reprogrammable) et d'architecture ont conduit à la création de sous-familles dont les plus connues sont les FPGA et les CPLD.
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.
Ensemblevignette|Ensemble de polygones dans un diagramme d'Euler En mathématiques, un ensemble désigne intuitivement un rassemblement d’objets distincts (les éléments de l'ensemble), « une multitude qui peut être comprise comme une totalité » pour paraphraser Georg Cantor qui est à l'origine de la théorie des ensembles. Dans une approche axiomatique, la théorie des ensembles est une théorie de l'appartenance (un élément d'un ensemble est dit « appartenir » à cet ensemble).
Modélisation d'entrepriseEnterprise modelling is the abstract representation, description and definition of the structure, processes, information and resources of an identifiable business, government body, or other large organization. It deals with the process of understanding an organization and improving its performance through creation and analysis of enterprise models. This includes the modelling of the relevant business domain (usually relatively stable), business processes (usually more volatile), and uses of information technology within the business domain and its processes.
Branching quantifierIn logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.
