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).
Joseph-Louis LagrangeJoseph Louis de Lagrange (en italien Giuseppe Luigi Lagrangia ou aussi Giuseppe Ludovico De la Grange Tournier), né à Turin le de parents français descendants de Descartes et mort à Paris le , est un mathématicien, mécanicien et astronome italien, originaire du royaume de Sardaigne et naturalisé français. À l'âge de trente ans, il quitte Turin et va séjourner à Berlin pendant vingt-et-un ans. Ensuite, il s'installe pour ses vingt-six dernières années à Paris où il prend la nationalité française en 1802.
Nonlinear systemIn mathematics and science, a nonlinear system (or a non-linear system) is a system in which the change of the output is not proportional to the change of the input. Nonlinear problems are of interest to engineers, biologists, physicists, mathematicians, and many other scientists since most systems are inherently nonlinear in nature. Nonlinear dynamical systems, describing changes in variables over time, may appear chaotic, unpredictable, or counterintuitive, contrasting with much simpler linear systems.
Histoire de la logiqueL'histoire de la logique, en Occident, prend ses racines dans la philosophie et les mathématiques de la Grèce antique pour se développer en richesse au . Des développements parallèles ont notamment eu lieu en Chine et en Inde. Le développement de la logique dans le monde arabo-musulman s'intègre à celui de l'Europe, du fait de leur proximité. La logique chinoise est longtemps restée isolée des développements de la logique en Europe et dans le monde arabo-musulman. 400 ans avant notre ère, la fondation de l'école du moïsme est attribuée à Mozi.
Analytic function of a matrixIn mathematics, every analytic function can be used for defining a matrix function that maps square matrices with complex entries to square matrices of the same size. This is used for defining the exponential of a matrix, which is involved in the closed-form solution of systems of linear differential equations. There are several techniques for lifting a real function to a square matrix function such that interesting properties are maintained. All of the following techniques yield the same matrix function, but the domains on which the function is defined may differ.
Algèbre de Boole (structure)vignette|Exemple d'algèbre de Boole : l'ensemble des parties de l'ensemble {x, y, z} illustré par son diagramme de Hasse. En mathématiques, une algèbre de Boole, ou parfois anneau de Boole, est une structure algébrique étudiée en particulier en logique mathématique. Une algèbre de Boole peut être définie soit comme une structure ordonnée particulière, soit comme une structure algébrique particulière, soit comme un anneau (unitaire) dont tout élément égale son carré.
Indicateur clé de performancevignette|Indicateurs clés de performance affichés à l'usine Scanfil de Sieradz, en Pologne. Un indicateur clé de performance (ICP) – en anglais : key performance indicator (KPI) – est un indicateur utilisé pour l'aide à la décision dans les organisations. Les ICP sont utilisés particulièrement en gestion de la performance organisationnelle. Le terme d'« indicateur clé de performance » est une traduction littérale provenant de l'anglais « key performance indicator » (KPI).
Optique non linéaireLorsqu'un milieu matériel est mis en présence d'un champ électrique , il est susceptible de modifier ce champ en créant une polarisation . Cette réponse du matériau à l'excitation peut dépendre du champ de différentes façons. L'optique non linéaire regroupe l'ensemble des phénomènes optiques présentant une réponse non linéaire par rapport à ce champ électrique, c'est-à-dire une réponse non proportionnelle à E.
Système dynamiqueEn mathématiques, en chimie ou en physique, un système dynamique est la donnée d’un système et d’une loi décrivant l'évolution de ce système. Ce peut être l'évolution d'une réaction chimique au cours du temps, le mouvement des planètes dans le système solaire (régi par la loi universelle de la gravitation de Newton) ou encore l'évolution de la mémoire d'un ordinateur sous l'action d'un programme informatique. Formellement on distingue les systèmes dynamiques à temps discrets (comme un programme informatique) des systèmes dynamiques à temps continu (comme une réaction chimique).
Réseau de transport interplanétaireL’Interplanetary Transport Network (ITN) ou en français réseau de transport interplanétaire est un ensemble dynamique de trajectoires gravitationnelles privilégiées à travers le Système solaire qui nécessitent peu d'énergie pour être parcourues. Les ITN sont une utilisation particulière des points de Lagrange comme des lieux de l'espace où les trajectoires sont modifiées en utilisant peu ou aucune énergie. Ces points ont la propriété particulière de permettre aux objets de tourner autour d'eux, malgré l'absence d'un corps central autour duquel graviter.
