Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Lambda-calculLe lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application. On y manipule des expressions appelées λ-expressions, où la lettre grecque λ est utilisée pour lier une variable. Par exemple, si M est une λ-expression, λx.M est aussi une λ-expression et représente la fonction qui à x associe M. Le λ-calcul a été le premier formalisme pour définir et caractériser les fonctions récursives : il a donc une grande importance dans la théorie de la calculabilité, à l'égal des machines de Turing et du modèle de Herbrand-Gödel.
Coordonnées polairesvignette|upright=1.4|En coordonnées polaires, la position du point M est définie par la distance r et l'angle θ. vignette|upright=1.4|Un cercle découpé en angles mesurés en degrés. Les coordonnées polaires sont, en mathématiques, un système de coordonnées curvilignes à deux dimensions, dans lequel chaque point du plan est entièrement déterminé par un angle et une distance. Ce système est particulièrement utile dans les situations où la relation entre deux points est plus facile à exprimer en termes d’angle et de distance, comme dans le cas du pendule.
Condition initialeEn physique ou en mathématique, on définit comme conditions initiales les éléments nécessaires à la détermination de la solution complète et si possible unique d'un problème, éléments qui décrivent l'état du système à l'instant initial, c'est-à-dire l'état de départ. Plus formellement, on appelle « condition initiale » l'espace d'état d'un système étudié à l'instant initial. C'est ce qui permet de déterminer les coefficients des solutions des équations différentielles, par exemple les équations de mouvement des corps.
Équilibre généralL'équilibre général est un concept d'économie qui désigne la possibilité pour les marchés d'atteindre l'équilibre simultanément par le libre jeu de l'offre et de la demande. L'équilibre général se distingue de l'équilibre simple (ou partiel) en ce qu'il s'agit d'un équilibre atteint sur l'intégralité des marchés. Issu de la microéconomie, la théorie de l'équilibre général a été développée par Léon Walras dans son ouvrage de , Éléments d'économie politique pure.
Baryon LambdaEn physique des particules, les baryons Lambda, notés par la lettre grecque (majuscule), sont des baryons instables constitués de trois quarks : un quark up, un quark down et, soit un quark bottom (c'est alors un baryon 0b), soit un quark charmé (baryon +c), soit un quark étrange (baryon 0, également appelé hypéron ). Le premier baryon Lambda découvert fut le 0 en 1947. Sa durée de vie, quoique très courte, était plus longue que prévu : 10-10 secondes (on s'attendait à une durée de vie mille fois plus courte).
Lambda liftingLambda lifting is a meta-process that restructures a computer program so that functions are defined independently of each other in a global scope. An individual "lift" transforms a local function into a global function. It is a two step process, consisting of; Eliminating free variables in the function by adding parameters. Moving functions from a restricted scope to broader or global scope. The term "lambda lifting" was first introduced by Thomas Johnsson around 1982 and was historically considered as a mechanism for implementing functional programming languages.
Mouvement (mécanique)Un mouvement, dans le domaine de la mécanique (physique), est le déplacement d'un corps par rapport à un point fixe de l'espace nommé référentiel et à un moment déterminé. Le mouvement est plus spécifiquement l'objet de la cinématique et de la dynamique. On caractérise un mouvement par sa trajectoire et l'évolution de sa vitesse par exemple : le mouvement circulaire uniforme : mouvement d'un point ou de tous les points matériels qui décrit un cercle avec une vitesse constante.
RacismeLe racisme est une idéologie qui, partant du postulat de l'existence de races au sein de l'espèce humaine, considère que certaines catégories de personnes sont intrinsèquement supérieures à d'autres. Il se différencie ainsi du racialisme qui, partant du même postulat, ne considère pas les races comme inégales. Cette idéologie peut amener à privilégier une catégorie de personne à une autre, qui se trouve reléguée à une classe sociale jugée inférieure et subit alors, de manière intersectionnelle, le mépris de classe en plus du racisme.
Fonction (mathématiques)vignette|Diagramme de calcul pour la fonction En mathématiques, une fonction permet de définir un résultat (le plus souvent numérique) pour chaque valeur d’un ensemble appelé domaine. Ce résultat peut être obtenu par une suite de calculs arithmétiques ou par une liste de valeurs, notamment dans le cas de relevé de mesures physiques, ou encore par d’autres procédés comme les résolutions d’équations ou les passages à la limite. Le calcul effectif du résultat ou son approximation repose éventuellement sur l’élaboration de fonction informatique.
Coordonnées cartésiennesUn système de coordonnées cartésiennes permet de déterminer la position d'un point dans un espace affine (droite, plan, espace de dimension 3, etc.) muni d'un repère cartésien. Le mot cartésien vient du mathématicien et philosophe français René Descartes. Il existe d'autres systèmes de coordonnées permettant de repérer un point dans le plan ou dans l'espace. Sur une droite affine , un repère est la donnée de : une origine , c'est-à-dire un point distingué de ; un vecteur de la droite vectorielle directrice .
Canne à pêcheUne canne à pêche est l'outil principal pour la pêche, télescopique ou non. Elle est composée d'un corps rigide (de bambou, roseau, matériau composite...) à l'extrémité souple (dite scion), d'une longueur variable et sur lequel on monte une ligne qui s'enroule (sur certains modèles) dans un moulinet et se termine par un bas de ligne constitué d'un plomb et d'un hameçon, ou d'une cuillère, ou d'un appât ou d'un leurre, l'ensemble étant destiné à attraper du poisson.
