Connectiquevignette|Connecteurs circulaires (mâle et femelle) à 35 pins. La connectique désigne l’ensemble des procédés et techniques qui permettent d'établir une connexion fiable entre des systèmes électriques ou électroniques distincts. Elle est utile à la fois à la transmission de l'énergie et à celle des données. Représentée par des connecteurs, ensembles parfois appelés fiches et prises, la connectique est omniprésente dans notre vie.
LogiqueLa logique — du grec , qui est un terme dérivé de signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature).
Programmation orientée composantthumb|Représentation graphique de composants informatiques. La programmation orientée composant (POC) consiste à utiliser une approche modulaire de l'architecture d'un projet informatique, ce qui permet d'assurer au logiciel une meilleure lisibilité et une meilleure maintenance. Les développeurs, au lieu de créer un exécutable monolithique, se servent de briques réutilisables. La POC n'est pas sans similitudes avec la POO, puisqu'elle revient à utiliser une approche objet, non pas au sein du code, mais au niveau de l'architecture générale du logiciel.
Logique polyvalenteLes logiques polyvalentes (ou multivalentes, ou multivaluées) sont des alternatives à la logique classique aristotélicienne, bivalente, dans laquelle toute proposition doit être soit vraie soit fausse. Elles sont apparues à partir des années 1920, surtout à la suite des travaux du logicien polonais Jan Łukasiewicz. Elles sont principalement étudiées au niveau du seul calcul propositionnel et peu au niveau du calcul des prédicats.
Logique philosophiqueLa logique philosophique est un domaine de la philosophie dans lequel les méthodes de la logique ont traditionnellement été utilisées pour résoudre ou faire avancer la discussion des problèmes philosophiques. Parmi les contributeurs à ce domaine, Sibyl Wolfram souligne l'étude de l'argumentation, du sens et de la vérité, tandis que Colin McGinn présente l'identité, l'existence, la prédication, la nécessité et la vérité comme les thèmes principaux de son livre sur le sujet.
Style architecturalAn architectural style is a set of characteristics and features that make a building or structure notable or historically identifiable. It is a sub-class of style in the visual arts generally, and most styles in architecture relate closely to a wider contemporary artistic style. A style may include such elements as form, method of construction, building materials, and regional character. Most architecture can be classified within a chronology of styles which changes over time, reflecting changing fashions, beliefs and religions, or the emergence of new ideas, technology, or materials which make new styles possible.
Règle d'inférenceDans un système logique, les régles d'inférence sont les règles qui fondent le processus de déduction, de dérivation ou de démonstration. L'application des règles sur les axiomes du système permet d'en démontrer les théorèmes. Une règle d'inférence est une fonction qui prend un -uplet de formules et rend une formule. Les formules arguments sont appelées « les prémisses » et la formule retournée est appelée la « conclusion ».
Logique non classiqueEn logique mathématique, les logiques non classiques sont des logiques formelles qui diffèrent de façon significative de la logique classique. L'adjectif « classique » a un sens normatif autrement dit , il qualifie ce qui est habituel. Les logiques classiques adoptent effectivement des principes usuels comme le tiers exclu, le principe d'explosion, le raisonnement par l'absurde, l'usage de tables de vérité, etc. Dans les logiques non classiques, on étudie des variations, par exemple en supprimant des principes, ou en ayant plus de deux valeurs de vérité.
Logique paracohérenteEn logique mathématique, une logique paracohérente (aussi appelé logique paraconsistante) est un système logique qui tolère les contradictions, contrairement au système de la logique classique. Les logiques tolérantes aux incohérences sont étudiées depuis au moins 1910, avec des esquisses remontant sans doute au temps d'Aristote. Le terme paracohérent - (à côté du cohérent, paraconsistent en anglais) - n'a été employé qu'après 1976 par le philosophe péruvien .
List of architectural stylesAn architectural style is characterized by the features that make a building or other structure notable and historically identifiable. A style may include such elements as form, method of construction, building materials, and regional character. Most architecture can be classified as a chronology of styles which change over time reflecting changing fashions, beliefs and religions, or the emergence of new ideas, technology, or materials which make new styles possible.
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.
Knowledge-based systemsA knowledge-based system (KBS) is a computer program that reasons and uses a knowledge base to solve complex problems. The term is broad and refers to many different kinds of systems. The one common theme that unites all knowledge based systems is an attempt to represent knowledge explicitly and a reasoning system that allows it to derive new knowledge. Thus, a knowledge-based system has two distinguishing features: a knowledge base and an inference engine.
Logique ternaireLa logique ternaire, ou logique 3 états, est une branche du calcul des propositions qui étend l'algèbre de Boole, en considérant, en plus des états VRAI et FAUX, l'état INCONNU. Dans la logique ternaire de Stephen Cole Kleene, les tables de vérité des fonctions de base sont les suivantes : D'une certaine manière, ces propriétés correspondent à l'intuition : par exemple, si on ignore si A est vrai ou faux, son inverse est tout aussi incertain. Les autres fonctions logiques se déduisent de par leur définition, la distributivité continuant à s'appliquer.
Architecture néo-traditionnellevignette|350px|Exemple d'architecture néo-traditionnelle au Plessis-Robinson. L’architecture néo-traditionnelle ou revivaliste est une architecture reprenant les modèles de constructions traditionnelles en les combinant avec des techniques de construction et des aménagements modernes (parking, ascenseur, etc.), l'architecture néo-traditionnelle se démarque du nouvel urbanisme par le fait que le nouvel urbanisme s'inspire de l'architecture traditionnelle tout en la modifiant, alors que l'architecture néo-traditionnelle copie celle-ci ou la pastiche en l'accommodant sans pour autant modifier son aspect visuel, mais n'utilisant pas forcément les techniques et matériaux traditionnels.
Architecture georgiennevignette|droite|Une maison de style georgien à Salisbury. Mot qui vient des quatre premiers monarques anglais de la Maison de Hanovre (George , George II, George III et George IV) qui régnèrent d' à , le terme architecture georgienne fait référence au style architectural des pays anglophones entre 1720 et 1840. vignette|droite|Un ancien Guildhall construit entre 1807 et 1811 à Dunfermline (Écosse). Le style georgien succède au style baroque anglais de Sir Christopher Wren, Sir John Vanbrugh, Thomas Archer, William Talman et Nicholas Hawksmoor.
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.
Architecture orientée servicesL'architecture orientée services ou AOS (calque de l'anglais service-oriented architecture, SOA) est une forme d'architecture de médiation qui est un modèle d'interaction applicative qui met en œuvre des services (composants logiciels) : avec une forte cohérence interne (par l'utilisation d'un format d'échange pivot, le plus souvent XML ou JSON) ; des couplages externes « lâches » (par l'utilisation d'une couche d'interface interopérable, le plus souvent un service web WS-*).
Cadre d'architectureUn cadre d'architecture est une spécification sur la façon d'organiser et de présenter une architecture de systèmes ou l'architecture informatique d'un organisme. Étant donné que les disciplines de l'architecture de systèmes et de l'architecture informatique sont très larges, et que la taille de ces systèmes peut être très grande, il peut en résulter des modèles très complexes. Afin de gérer cette complexité, il est avantageux de définir un cadre d'architecture par un ensemble standard de catégories de modèles (appelés “vues”) qui ont chacun un objectif spécifique.
Architecture néo-classiquethumb|La Rotunda Santa Marija de Mosta, à Malte, est construite à partir de 1833. Larchitecture néo-classique est un courant architectural procédant du néo-classicisme de la seconde moitié du et du début du . Succédant au classicisme, à l’architecture baroque et rococo, l'architecture néo-classique utilise les éléments gréco-romains (colonnes, fronton, proportions harmonieuses, portique) et se met au service du politique. La découverte et les fouilles des sites de Pompéi et Herculanum remirent au goût du jour les formes antiques.
Admissible ruleIn logic, a rule of inference is admissible in a formal system if the set of theorems of the system does not change when that rule is added to the existing rules of the system. In other words, every formula that can be derived using that rule is already derivable without that rule, so, in a sense, it is redundant. The concept of an admissible rule was introduced by Paul Lorenzen (1955). Admissibility has been systematically studied only in the case of structural (i.e.
