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.
Science appliquéevignette|Lancement d’une fusée de vecteur La science appliquée est l'ensemble des connaissances rationnelles permettant de réaliser des objectifs pratiques. Les sciences appliquées sont les différentes disciplines de la science appliquée : physique appliquée, mathématiques appliquées La science appliquée et les sciences appliquées complètent la science fondamentale et les sciences fondamentales, qui sont les connaissances rationnelles sur le fonctionnement et l'histoire du monde physique, biologique et humain, indépendamment des considérations pratiques pouvant en résulter.
Méthode de Newtonvignette|Une itération de la méthode de Newton. En analyse numérique, la méthode de Newton ou méthode de Newton-Raphson est, dans son application la plus simple, un algorithme efficace pour trouver numériquement une approximation précise d'un zéro (ou racine) d'une fonction réelle d'une variable réelle. Cette méthode doit son nom aux mathématiciens anglais Isaac Newton (1643-1727) et Joseph Raphson (peut-être 1648-1715), qui furent les premiers à la décrire pour la recherche des solutions d'une équation polynomiale.
Lemme (mathématiques)Un lemme, en mathématiques et en logique mathématique, est un résultat intermédiaire sur lequel on s'appuie pour conduire la démonstration d'un théorème plus important. Dans l'Antiquité grecque, lemme (en λῆμμα) était un terme de logique : il désignait la majeure du syllogisme, c'est-à-dire la première assertion. Dans la dialectique grecque, le lemme, le prolemme et l'épiphore sont les trois parties de l'argument.
Physique appliquéeLa physique appliquée est la branche de la physique qui s'intéresse à l'étude de ses applications industrielles, notamment du point de vue de l'équipement dans les secteurs primaires et secondaires (moteur, machine d'usinage, transformateur, poste de soudage...). Traduction du terme anglais Applied Physics, on y retrouve par exemple : En France La physique appliquée a été enseignée en lycée technique jusqu'en 2011. Elle permettait de décrire les phénomènes physiques mis en œuvre par les équipements utilisés en enseignement technique.
Principe d'inclusion-exclusionthumb|Exemple d'inclusion-exclusion à partir de trois ensembles. En combinatoire, le principe d’inclusion-exclusion permet d’exprimer le nombre d’éléments (ou cardinal) d'une réunion finie d'ensembles finis en fonction du nombre d'éléments de ces ensembles et de leurs intersections. Il se généralise en termes de probabilités. Il est attribué au mathématicien Abraham de Moivre, et connu également (lui ou sa version probabiliste) sous le nom de formule du crible de Poincaré, formule de Poincaré, ou formule du crible.
