Implication réciproqueEn mathématiques, plus précisément en calcul propositionnel, une implication réciproque est une proposition interchangeant la prémisse et la conclusion d'une implication. La réciproque de la réciproque est alors l'implication initiale. Lorsque l'implication comporte plusieurs prémisses, l'échange de la conclusion avec seulement une partie des prémisses est parfois aussi appelée réciproque, comme pour le théorème de Thalès où les conditions d'alignement restent en prémisse pour la réciproque.
PropriétéLa propriété est la possession d'un bien meuble ou immeuble ou d'une production intellectuelle, reconnue et consacrée par une autorité (divine ou humaine), la société, la loi, la raison générale ou le consentement universel C'est selon Pierre-Joseph Proudhon une usucapion ou une usurpation. La Révolution française a exalté le droit de propriété : inviolable et sacrée, selon l'article 17 de la Déclaration des droits de l'homme et du citoyen de 1789.
Infrastructure à clés publiquesthumb|Diagramme de principe d'une autorité de certification, exemple d'infrastructure à clés publiquesCA : autorité de certification ;VA : autorité de validation ;RA : autorité d'enregistrement. Une infrastructure à clés publiques (ICP) ou infrastructure de gestion de clés (IGC) ou encore Public Key Infrastructure (PKI), est un ensemble de composants physiques (des ordinateurs, des équipements cryptographiques logiciels ou matériel type Hardware Security Module (HSM ou boîte noire transactionnelle) ou encore des cartes à puces), de procédures humaines (vérifications, validation) et de logiciels (système et application) destiné à gérer les clés publiques des utilisateurs d'un système.
Global optimizationGlobal optimization is a branch of applied mathematics and numerical analysis that attempts to find the global minima or maxima of a function or a set of functions on a given set. It is usually described as a minimization problem because the maximization of the real-valued function is equivalent to the minimization of the function . Given a possibly nonlinear and non-convex continuous function with the global minima and the set of all global minimizers in , the standard minimization problem can be given as that is, finding and a global minimizer in ; where is a (not necessarily convex) compact set defined by inequalities .
Contrôle de processusLe contrôle de processus est un terme utilisé pour désigner l'ensemble du matériel et des logiciels servant à piloter et surveiller le processus de fabrication de produits. Il est le plus souvent constitué d'une chaîne de moyens (appelée boucle de régulation) : capteurs de mesures physiques ou physico-chimiques : pression, niveau, débit, température, pH, viscosité, turbidité, conductivité... Ces capteurs fournissent aux régulateurs de manière continue ou discrète l'indication directe ou indirecte de l'état du processus.
Régulateur PIDLe régulateur PID, appelé aussi correcteur PID (proportionnel, intégral, dérivé) est un système de contrôle permettant d’améliorer les performances d'un asservissement, c'est-à-dire un système ou procédé en boucle fermée. C’est le régulateur le plus utilisé dans l’industrie où ses qualités de correction s'appliquent à de multiples grandeurs physiques. Le premier régulateur proportionnel à avoir été utilisé est probablement le régulateur à boules qui utilise des masses tournantes pour réguler une vitesse de rotation.
Droit des biensLe droit des biens ou droits réels est branche du droit qui étudie les relations juridiques dont l'origine ou l'objet se rapporte aux biens ou choses. Le droit des biens s'intéresse aux relations entre personnes et biens. Les biens sont un ensemble qui comporte tant des choses matérielles (voiture) que des choses immatérielles (droit d'auteur), tant des choses meubles (action de société) que des choses immeubles (appartement). Les droits réels comprennent un certain nombre de principes fondamentaux issus de leur nature particulière.
Croissance économiquethumb|upright=2|Contribution (en %) de la croissance des pays à celle mondiale (2011). La croissance économique désigne la variation positive de la production de biens et de services dans une économie sur une période donnée, généralement une longue période. En pratique, l'indicateur le plus utilisé pour la mesurer est le produit intérieur brut (PIB). Il est mesuré « en volume » ou « à prix constants » pour corriger les effets de l'inflation. Le taux de croissance, lui, est le taux de variation du PIB.
Categorical propositionIn logic, a categorical proposition, or categorical statement, is a proposition that asserts or denies that all or some of the members of one category (the subject term) are included in another (the predicate term). The study of arguments using categorical statements (i.e., syllogisms) forms an important branch of deductive reasoning that began with the Ancient Greeks. The Ancient Greeks such as Aristotle identified four primary distinct types of categorical proposition and gave them standard forms (now often called A, E, I, and O).
Modèle de RamseyLe modèle de Ramsey est un modèle de croissance néoclassique mis au point par Franck Ramsey en 1928. Il vise à expliquer l'origine de la croissance économique. Le modèle de Ramsey diffère du modèle de Solow (1956), car il endogénéise l'épargne en considérant un consommateur altruiste qui vit une période et choisit la part de son revenu qu'il consomme et la part de son revenu qu'il lègue à ses descendants. Ramsey met ainsi l'accent sur l'aspect intergénérationnel de l'épargne : le problème de la croissance est un problème de choix entre consommation future et consommation présente.
