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.
Logique temporelleLa logique temporelle est une branche de la logique mathématique et plus précisément de la logique modale, qui est formalisée de plusieurs manières. La caractéristique commune de ces formalisations réside en l'ajout de modalités (autrement dit de « transformateurs de prédicats ») liées au temps ; par exemple, une formule typique de la logique modale est la formule , qui se lit : « la formule est satisfaite jusqu'à ce que la formule le soit » et qui signifie que l'on cherche à garantir qu'une certaine propriété (ici ) est satisfaite pendant tout le temps qui court avant qu'une autre formule (ici ) le soit.
Formal specificationIn computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and software. They are used to describe a system, to analyze its behavior, and to aid in its design by verifying key properties of interest through rigorous and effective reasoning tools. These specifications are formal in the sense that they have a syntax, their semantics fall within one domain, and they are able to be used to infer useful information.
Complex programmable logic deviceA complex programmable logic device (CPLD) is a programmable logic device with complexity between that of PALs and FPGAs, and architectural features of both. The main building block of the CPLD is a macrocell, which contains logic implementing disjunctive normal form expressions and more specialized logic operations. Some of the CPLD features are in common with PALs: Non-volatile configuration memory. Unlike many FPGAs, an external configuration ROM isn't required, and the CPLD can function immediately on system start-up.
Problème de décisionEn informatique théorique, un problème de décision est une question mathématique dont la réponse est soit « oui », soit « non ». Les logiciens s'y sont intéressés à cause de l'existence ou de la non-existence d'un algorithme répondant à la question posée. Les problèmes de décision interviennent dans deux domaines de la logique : la théorie de la calculabilité et la théorie de la complexité. Parmi les problèmes de décision citons par exemple le problème de l'arrêt, le problème de correspondance de Post ou le dernier théorème de Fermat.
Extension conservatriceEn logique mathématique, une théorie logique T2 est une extension conservatrice (ou conservative) d'une théorie T1 si le langage de T2 étend le langage de T1, si chaque théorème de T1 est un théorème de T2 et si tout théorème de T2 qui est dans le langage de T1 est déjà un théorème de T1. Une extension propre est une extension non conservative. Informellement, cela veut dire que la nouvelle théorie peut éventuellement être plus commode pour prouver des théorèmes, mais qu’elle ne prouve pas de théorème nouveau concernant l'ancienne théorie.
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.
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.
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).
Théorie de la décisionLa théorie de la décision est une théorie de mathématiques appliquées ayant pour objet la prise de décision par une entité unique. (Les questions liées à la décision collective relèvent de la théorie du choix social.) La notion de décision intertemporelle découle de la prise en compte du facteur temps dans les problématiques reliant l'offre et la demande, les disponibilités et les contraintes. Ces problématiques sont celles qui découlent des combinaisons possibles entre les disponibilités et les décisions pouvant les impliquer.
Axiome de l'ensemble des partiesEn mathématiques, l'axiome de l'ensemble des parties est l'un des axiomes de la théorie des ensembles, plus précisément des théories des ensembles de Zermelo et de Zermelo-Fraenkel. L'axiome affirme l'existence pour tout ensemble E, d'un ensemble auquel appartiennent tous les sous-ensembles de E, et seulement ceux-ci. Un tel ensemble est nommé ensemble des parties de E, d'où le nom de l'axiome. Cet axiome s'écrit dans le langage formel de la théorie des ensembles, qui est un langage égalitaire du premier ordre avec la relation d'appartenance comme seul symbole primitif non logique.
Logique modaleEn logique mathématique, une logique modale est un type de logique formelle qui étend la logique propositionnelle, la logique du premier ordre ou la logique d'ordre supérieur avec des modalités. Une modalité spécifie des . Par exemple, une proposition comme « il pleut » peut être précédée d'une modalité : Il est nécessaire qu'''il pleuve ; Demain, il pleut ; Christophe Colomb croit quil pleut ; Il est démontré qu'''il pleut ; Il est obligatoire quil pleuve.
