Méthode d'EulerEn mathématiques, la méthode d'Euler, nommée ainsi en l'honneur du mathématicien Leonhard Euler (1707 — 1783), est une procédure numérique pour résoudre par approximation des équations différentielles du premier ordre avec une condition initiale. C'est la plus simple des méthodes de résolution numérique des équations différentielles. thumb|Illustration de la méthode d'Euler explicite : l'avancée se fait par approximation sur la tangente au point initial.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
Soudage TIGvignette|Soudage à l'arc TIG Le soudage TIG est un procédé de soudage à l'arc avec une électrode non fusible, en présence d'un métal d'apport si besoin. TIG est un acronyme de Tungsten Inert Gas, où Tungsten (Tungstène) désigne l'électrode et Inert Gas (Gaz inerte) le type de gaz plasmagène utilisé. L'arc électrique se crée entre l'électrode et la pièce à souder qui est protégée par un gaz ou un mélange de gaz rares tels que l'argon et l'hélium. De fait, l’arc électrique remplace la flamme du chalumeau traditionnel.
Méthode itérativeEn analyse numérique, une méthode itérative est un procédé algorithmique utilisé pour résoudre un problème, par exemple la recherche d’une solution d’un système d'équations ou d’un problème d’optimisation. En débutant par le choix d’un point initial considéré comme une première ébauche de solution, la méthode procède par itérations au cours desquelles elle détermine une succession de solutions approximatives raffinées qui se rapprochent graduellement de la solution cherchée. Les points générés sont appelés des itérés.
Concentration de contraintethumb|La fissure dans le béton a été amorcée par un « effet de pointe » (concentration de contrainte). La concentration de contrainte est un phénomène survenant lorsque la section d'une pièce varie de manière brutale : trou (perçage), rainure, épaulement, gorge, fond de fissure, etc. Une pièce présente des points de fragilité dus à la forme. On constate que l'apparition des fissures, et la rupture, a en général lieu dans des zones présentant des angles vifs rentrants ou bien des perçages.
Soudage à l'arc à l'électrode enrobéevignette| Soudage à l'arc à l'électrode enrobée. vignette| Schéma de fonctionnement : 1) Enrobage 2) Électrode 3) Gaz protecteur 4) Bain de fusion 5) Métal de base 6) Cordon de soudure 7) Laitier Le soudage à l'arc à l'électrode enrobée (SAEE ou MMA), soudage manuel ou soudage à la baguette, est l'un des procédés de soudage les plus utilisés. Lorsque l'on approche l'électrode enrobée des pièces à assembler, il se crée un arc électrique qui dégage un fort effet calorifique provoquant la fusion de l'électrode.
Heun's methodIn mathematics and computational science, Heun's method may refer to the improved or modified Euler's method (that is, the explicit trapezoidal rule), or a similar two-stage Runge–Kutta method. It is named after Karl Heun and is a numerical procedure for solving ordinary differential equations (ODEs) with a given initial value. Both variants can be seen as extensions of the Euler method into two-stage second-order Runge–Kutta methods.
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Méthode de JacobiLa méthode de Jacobi, due au mathématicien allemand Karl Jacobi, est une méthode itérative de résolution d'un système matriciel de la forme Ax = b. Pour cela, on utilise une suite x qui converge vers un point fixe x, solution du système d'équations linéaires. On cherche à construire, pour x donné, la suite x = F(x) avec . où est une matrice inversible. où F est une fonction affine. La matrice B = MN est alors appelée matrice de Jacobi.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Exécution sommairevignette|Tres de mayo est un tableau de Goya illustrant les exécutions sommaires du 3 Mai 1808 Une exécution sommaire (ou extrajudiciaire, bien que l'expression exécution extrajudiciaire ait aussi un sens différent) est un type d'homicide dans lequel un prisonnier, accusé ou suspect d'activités criminelles ou subversives, est tué, souvent sur le lieu et au moment de sa capture, après avoir été arrêté et fait prisonnier au préalable.
