Méthode (informatique)En programmation orientée objet (POO), une méthode est une routine membre d'une classe. Une méthode peut être: une méthode d'instance, n'agissant que sur un seul objet (instance de la classe) à la fois; une méthode statique ou méthode de classe, indépendante de toute instance de la classe (objet). En programmation orientée objet, on utilise parfois le terme spécifique d'invocation de méthode pour désigner l'appel d'une telle fonction d'une classe.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
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.
Scrutin uninominal majoritaire à un tourthumb|Schéma du mode de scrutin majoritaire Le scrutin uninominal majoritaire à un tour est le système électoral pour lequel il est le plus simple de déterminer l'option gagnante à partir des votes. L'électeur doit choisir un candidat parmi plusieurs. On compte alors le nombre de voix obtenues par chaque candidat. Celui qui recueille le plus de voix (majorité relative) remporte les élections. Ce système de vote est utilisé pour l'élection du président de la République dans certains pays (Cameroun, Corée du Sud, Islande, Kenya, Malawi, Mexique, Philippines, Venezuela, République démocratique du Congo, Togo, Taïwan).
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.
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.
Scrutin uninominal majoritaire à deux toursthumb|right|Schéma du mode de scrutin majoritaire à un ou deux tours. Parmi les systèmes électoraux, le scrutin uninominal majoritaire à deux tours est un vote simple sans pondération se déroulant sur deux tours au maximum. Dans sa version la plus courante, un candidat est élu au premier tour s'il recueille la majorité absolue, soit plus de 50 % des suffrages exprimés. Si aucun candidat n'atteint ce seuil, un second tour est organisé entre les deux candidats arrivés en tête, à l'issue duquel le candidat qui recueille la majorité relative, soit le plus de voix, est élu.
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.
Méthode de GalerkineEn mathématiques, dans le domaine de l'analyse numérique, les méthodes de Galerkine sont une classe de méthodes permettant de transformer un problème continu (par exemple une équation différentielle) en un problème discret. Cette approche est attribuée aux ingénieurs russes Ivan Boubnov (1911) et Boris Galerkine (1913). Cette méthode est couramment utilisée dans la méthode des éléments finis. On part de la formulation faible du problème. La solution appartient à un espace fonctionnel satisfaisant des propriétés de régularité bien définies.
SacrificeLe sacrifice (étymologiquement ; du latin sacrificium, de sacer facere) désigne une offrande, en particulier de la nourriture, des objets voire des vies humaines ou animales, à une ou plusieurs divinités. À l'origine, le terme de sacrifice s'emploie pour une grande variété d'actes. Habituellement, il est surtout utilisé pour les sacrifices sanglants. Dans le cas d'offrandes de nourriture ou de liquide, on parle de sacrifice non sanglant ou libation, et, dans le cas d'une portion du sol, d'inauguration.
