Salaire minimumLe salaire minimum, ou salaire minimal, est la rémunération minimale qu'un employeur peut légalement accorder à un employé pour un travail. Des abattements au salaire minimal sont parfois prévus par des dispositifs législatifs ou réglementaires. est l'adjectif qualifiant ce qui constitue un minimum. L'expression est critiquée par certains linguistes selon lesquels elle présente le défaut de juxtaposer deux substantifs (le salaire et le minimum) sur le modèle anglophone. Les formulations correctes seraient ici , ou .
Foncteur dérivéEn mathématiques, certains foncteurs peuvent être dérivés pour obtenir de nouveaux foncteurs liés de manière naturelle par des morphismes à ceux de départs. Cette notion abstraite permet d'unifier des constructions concrètes intervenant dans de nombreux domaines des mathématiques. Elle n'est pas liée à la notion de dérivation en analyse. La notion de foncteur dérivé est conçue pour donner un cadre général aux situations où une suite exacte courte donne naissance à une suite exacte longue.
Principe d'entropie maximaleLe principe d'entropie maximale consiste, lorsqu'on veut représenter une connaissance imparfaite d'un phénomène par une loi de probabilité, à : identifier les contraintes auxquelles cette distribution doit répondre (moyenne, etc) ; choisir de toutes les distributions répondant à ces contraintes celle ayant la plus grande entropie au sens de Shannon. De toutes ces distributions, c'est en effet celle d'entropie maximale qui contient le moins d'information, et elle est donc pour cette raison la moins arbitraire de toutes celles que l'on pourrait utiliser.
Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
Maximum spacing estimationIn statistics, maximum spacing estimation (MSE or MSP), or maximum product of spacing estimation (MPS), is a method for estimating the parameters of a univariate statistical model. The method requires maximization of the geometric mean of spacings in the data, which are the differences between the values of the cumulative distribution function at neighbouring data points.
Revenu minimumLe revenu minimum est un niveau minimal de revenu que les États décident de garantir à tous leurs citoyens. Les étrangers en situation irrégulière ne sont pas concernés (en France sauf pour les étrangers titulaires d'un titre de séjour les autorisant à travailler depuis au moins ). Des critères d'âge sont utilisés ( dans la majorité des pays et en France ; sous cet âge, il est considéré que les parents doivent subvenir au besoin des individus). Par ailleurs, ce revenu est modulé en fonction du type de ménage (nombre d’enfants).
Péchévignette|redresse=1.2|La Chute de l'homme par Lucas Cranach. En religion, un péché est une offense faite à Dieu ou à un dieu, et une transgression délibérée ou non de la loi divine. Le mot « péché » vient du latin peccatum, « faute, erreur », lui-même dérivé du verbe peccare, qui signifie au sens premier « broncher, faire un faux pas ». Selon les linguistes Alfred Ernout et Antoine Meillet, . L'origine de peccare semble donc inconnue. L'adjectif correspondant est peccamineux et a aussi donné impeccable.
AcétylcholineL'acétylcholine, abrégée en ACh, est un neurotransmetteur qui joue un rôle important aussi bien dans le système nerveux central, où elle est impliquée dans la mémoire et l'apprentissage, que dans le système nerveux périphérique, notamment dans l'activité musculaire et les fonctions végétatives. L'acétylcholine est un ester produit par l'enzyme choline acétyltransférase à partir de l'acétyl-CoA dont l'action est médiée par les récepteurs nicotiniques et muscariniques.
Péché mortelLe péché mortel est une désobéissance à la loi de Dieu en matière grave, commise avec pleine advertance et consentement délibéré.[...] Le péché grave s’appelle mortel, parce qu’il prive l’âme de la grâce divine qui est sa vie, lui enlève les mérites et la capacité d’en acquérir de nouveaux, et la rend digne de la peine ou mort éternelle en enfer. Il s'enracine dans la Première épître de Jean où il est écrit (1 Jn 5,16) : .
Récepteur cholinergiquevignette|Hétéropentamère de récepteur acétylcholine nicotinique de Torpedo marmorata (). Dans le système cholinergique, les récepteurs cholinergiques sont des protéines transmembranaires capables de lier l'acétylcholine libérée dans le milieu extracellulaire, et d'induire par la suite un signal à l'intérieur du cytoplasme. Ce sont des récepteurs membranaires sans activité enzymatique de type canal ionique. Il en existe plusieurs types, dont : récepteur nicotinique (récepteur ionotrope) ; récepteur muscarinique (récepteur métabotrope).
DéfinitionUne définition est une proposition qui met en équivalence un élément définissant et un élément étant défini. Une définition a pour but de clarifier, d'expliquer. Elle détermine les limites ou « un ensemble de traits qui circonscrivent un objet ». Selon les Définitions du pseudo-Platon, la définition est la . Aristote, dans le Topiques, définit le mot comme En mathématiques, on définit une notion à partir de notions antérieurement définies. Les notions de bases étant les symboles non logiques du langage considéré, dont l'usage est défini par les axiomes de la théorie.
Computer-assisted proofA computer-assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer-aided proofs to date have been implementations of large proofs-by-exhaustion of a mathematical theorem. The idea is to use a computer program to perform lengthy computations, and to provide a proof that the result of these computations implies the given theorem. In 1976, the four color theorem was the first major theorem to be verified using a computer program.
