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.
Démonstration formelleUne démonstration formelle est une séquence finie de propositions (appelées formules bien formées dans le cas d'un langage formel) dont chacun est un axiome, une hypothèse, ou résulte des propositions précédentes dans la séquence par une règle d'inférence. La dernière proposition de la séquence est un théorème d'un système formel. La notion de théorème n'est en général pas effective, donc n'existe pas de méthode par laquelle nous pouvons à chaque fois trouver une démonstration d'une proposition donnée ou de déterminer s'il y en a une.
Fonction d'ondethumb|300px|right|Illustration de la notion de fonction d'onde dans le cas d'un oscillateur harmonique. Le comportement en mécanique classique est représenté sur les images A et B et celui en mécanique quantique sur les figures C à H. Les parties réelles et imaginaires des fonctions d'onde sont représentées respectivement en bleu et en rouge. Les images C à F correspondent à des états stationnaires de l'énergie, tandis que les figures G et H correspondent à des états non stationnaires.
Computer-assisted proofA computer-assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer-aided proofs to date have been implementations of large proofs-by-exhaustion of a mathematical theorem. The idea is to use a computer program to perform lengthy computations, and to provide a proof that the result of these computations implies the given theorem. In 1976, the four color theorem was the first major theorem to be verified using a computer program.
Équations de Boussinesqthumb|right|250px|Ondes de gravité à l'entrée d'un port (milieu à profondeur variable). Les équations de Boussinesq en mécanique des fluides désignent un système d'équations d'ondes obtenu par approximation des équations d'Euler pour des écoulements incompressibles irrotationnels à surface libre. Elles permettent de prévoir les ondes de gravité comme ondes cnoïdales, ondes de Stokes, houle, tsunamis, solitons, etc. Ces équations ont été introduites par Joseph Boussinesq en 1872 et sont un exemple d'équations aux dérivées partielles dispersives.
Matter waveMatter waves are a central part of the theory of quantum mechanics, being half of wave–particle duality. All matter exhibits wave-like behavior. For example, a beam of electrons can be diffracted just like a beam of light or a water wave. The concept that matter behaves like a wave was proposed by French physicist Louis de Broglie (dəˈbrɔɪ) in 1924, and so matter waves are also known as de Broglie waves.
Numerical linear algebraNumerical linear algebra, sometimes called applied linear algebra, is the study of how matrix operations can be used to create computer algorithms which efficiently and accurately provide approximate answers to questions in continuous mathematics. It is a subfield of numerical analysis, and a type of linear algebra. Computers use floating-point arithmetic and cannot exactly represent irrational data, so when a computer algorithm is applied to a matrix of data, it can sometimes increase the difference between a number stored in the computer and the true number that it is an approximation of.
Raisonnement par disjonction de casProof by exhaustion, also known as proof by cases, proof by case analysis, complete induction or the brute force method, is a method of mathematical proof in which the statement to be proved is split into a finite number of cases or sets of equivalent cases, and where each type of case is checked to see if the proposition in question holds. This is a method of direct proof. A proof by exhaustion typically contains two stages: A proof that the set of cases is exhaustive; i.e.
Théorie des perturbationsLa théorie des perturbations est un domaine des mathématiques, qui consiste à étudier les contextes où il est possible de trouver une solution approchée à une équation en partant de la solution d'un problème plus simple. Plus précisément, on cherche une solution approchée à une équation (E) (dépendante d'un paramètre λ), sachant que la solution de l'équation (E) (correspondant à la valeur λ=0) est connue exactement. L'équation mathématique (E) peut être par exemple une équation algébrique ou une équation différentielle.
Stabilité EBSBLa stabilité EBSB est une forme particulière de stabilité des systèmes dynamiques étudiés en automatique, en traitement du signal et plus spécifiquement en électrotechnique. EBSB signifie Entrée Bornée/Sortie Bornée : si un système est stable EBSB, alors pour toute entrée bornée, la sortie du système l’est également. Un système linéaire invariant et à temps continu dont la fonction transfert est rationnelle et strictement propre est stable EBSB si et seulement si sa réponse impulsionnelle est absolument intégrable, i.
