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.
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.
LambdaLambda (capitale Λ, minuscule λ ; en grec Λάμδα Lámda [ˈlamða]) est la lettre de l'alphabet grec, précédée par kappa et suivie par mu. Dérivée de la lettre lamed x12px de l'alphabet phénicien, elle est l'ancêtre de la lettre L de l'alphabet latin et de la lettre Л de l'alphabet cyrillique. En grec moderne comme en grec ancien, la lettre lambda représente une consonne spirante latérale alvéolaire voisée, . Dans le système de numération grecque, lambda vaut 30.
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).
Scalar field theoryIn theoretical physics, scalar field theory can refer to a relativistically invariant classical or quantum theory of scalar fields. A scalar field is invariant under any Lorentz transformation. The only fundamental scalar quantum field that has been observed in nature is the Higgs field. However, scalar quantum fields feature in the effective field theory descriptions of many physical phenomena. An example is the pion, which is actually a pseudoscalar.
Théorie quantique des champsvignette|296x296px|Ce diagramme de Feynman représente l'annihilation d'un électron et d'un positron, qui produit un photon (représenté par une ligne ondulée bleue). Ce photon se décompose en une paire quark-antiquark, puis l'antiquark émet un gluon (représenté par la courbe verte). Ce type de diagramme permet à la fois de représenter approximativement les processus physiques mais également de calculer précisément leurs propriétés, comme la section efficace de collision.
Modèle standard de la physique des particulesvignette|upright=2.0|Modèle standard des particules élémentaires avec les trois générations de fermions (trois premières colonnes), les bosons de jauge (quatrième colonne) et le boson de Higgs (cinquième colonne). Le modèle standard de la physique des particules est une théorie qui concerne l'électromagnétisme, les interactions nucléaires faible et forte, et la classification de toutes les particules subatomiques connues. Elle a été développée pendant la deuxième moitié du , dans une initiative collaborative mondiale, sur les bases de la mécanique quantique.
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.
Brisure de symétrieUne symétrie est brisée quand un système ou les lois qui régissent son comportement ne cessent d'être invariants sous la transformation associée à cette symétrie. On observe des brisures de symétrie en physique (de l'échelle microscopique jusqu'à celle de l'Univers), en chimie (dont de nombreuses transitions de phase) et en biologie (par exemple l'asymétrie gauche-droite chez les Bilatériens). Une symétrie est explicitement brisée lorsque la loi qui régit son comportement est modifiée et n'est plus invariante dû à une cause externe.
Fonction anonymeEn programmation informatique, une fonction anonyme, aussi appelée lambda expression ou fonction lambda est une fonction n'ayant pas de nom. Les fonctions anonymes existent dans certains langages de programmation comme Python, JavaScript, OCaml ou C++. Certains langages, comme le C et Pascal (tout au moins les versions standards de ces langages), ne permettent pas d'écrire des fonctions anonymes. Parce que ces fonctions n'ont pas de nom, à l'endroit où l'on voudrait mettre leur nom, on trouve directement les instructions définissant la fonction introduites par une syntaxe particulière.
