Intégration (mathématiques)En mathématiques, l'intégration ou calcul intégral est l'une des deux branches du calcul infinitésimal, l'autre étant le calcul différentiel. Les intégrales sont utilisées dans de multiples disciplines scientifiques notamment en physique pour des opérations de mesure de grandeurs (longueur d'une courbe, aire, volume, flux) ou en probabilités. Ses utilités pluridisciplinaires en font un outil scientifique fondamental. C'est la raison pour laquelle l'intégration est souvent abordée dès l'enseignement secondaire.
Flux (physique)En physique, un flux est une intégrale de surface de la composante normale d'un champ vectoriel sur une surface donnée. Le champ vectoriel associé est souvent nommé densité de flux. Cette définition rejoint celle du flux en mathématiques. Si dans certains domaines de la physique, le flux est également un débit, lié à un déplacement de matière ou à un transfert d'énergie, ce n'est pas toujours le cas : on aime malgré tout se représenter un flux comme caractéristique de ce qui s'écoule le long des lignes de champs à travers la frontière que marque la surface.
Surface de GaussEn électromagnétisme, une surface de Gauss est une surface imaginaire de l'espace utilisée dans le calcul des champs électriques par le théorème de Gauss. Puisque le théorème de Gauss peut être utilisé dans le cas de certaines symétries particulières du champ électrique, on distingue principalement trois classes de surfaces de Gauss. vignette|Sphère de Gauss autour d'une charge ponctuelle. Utilisée pour des objets chargés de symétrie sphérique, par exemple une charge ponctuelle.
Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
Droit des sociétésLe droit des sociétés est la branche du droit privé qui étudie les sociétés civiles et commerciales. Les règles du droit des sociétés prévoient l'ensemble des dispositions nécessaires à la création, au fonctionnement ainsi qu'à l'éventuelle liquidation de la société. Également, cette branche du droit s'intéresse aux relations entre les différentes parties prenantes de la société — actionnaires, dirigeants et administrateurs notamment —, ainsi qu'aux relations que la société entretient avec les tiers.
Proof (truth)A proof is sufficient evidence or a sufficient argument for the truth of a proposition. The concept applies in a variety of disciplines, with both the nature of the evidence or justification and the criteria for sufficiency being area-dependent. In the area of oral and written communication such as conversation, dialog, rhetoric, etc., a proof is a persuasive perlocutionary speech act, which demonstrates the truth of a proposition.
Divine lawDivine law is any body of law that is perceived as deriving from a transcendent source, such as the will of God or gods - in contrast to man-made law or to secular law. According to Angelos Chaniotis and Rudolph F. Peters, divine laws are typically perceived as superior to man-made laws, sometimes due to an assumption that their source has resources beyond human knowledge and human reason. Believers in divine laws might accord them greater authority than other laws, for example by assuming that divine law cannot be changed by human authorities.
Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
Polarisation (diélectrique)La polarisation (ou plus précisément le vecteur polarisation) est une grandeur physique macroscopique vectorielle utilisée dans l'étude des propriétés des matériaux diélectriques. Elle désigne la densité volumique de moment dipolaire électrostatique. Son unité dans le Système international est le C/m. Ce concept a été introduit par Faraday alors qu'il étudiait le comportement des isolants électriques dans des champs électrostatiques. Dans un diélectrique parfait, il n'existe pas de charges électriques libres.
Théorème de la divergenceEn analyse vectorielle, le théorème de la divergence (également appelé théorème de Green-Ostrogradski ou théorème de flux-divergence), affirme l'égalité entre l'intégrale de la divergence d'un champ vectoriel sur un volume dans et le flux de ce champ à travers la frontière du volume (qui est une intégrale de surface). L'égalité est la suivante : où : est le volume ; est la frontière de est le vecteur normal à la surface, dirigé vers l'extérieur et de norme égale à l'élément de surface qu'il représente est continûment dérivable en tout point de ; est l'opérateur nabla ; (valable uniquement en coordonnées cartésiennes).
Application de GaussEn géométrie différentielle classique, l'application de Gauss est une application naturelle différentiable sur une surface de , à valeurs dans la sphère unité , et dont la différentielle permet d'accéder à la seconde forme fondamentale. Elle tient son nom du mathématicien allemand Carl Friedrich Gauss. Soit une surface orientée de classe de . Pour un point de , il existe un unique vecteur normal unitaire compatible avec l'orientation de .
