Conjonction logiqueEn logique, la conjonction est une opération mise en œuvre par le connecteur binaire et. Le connecteur et est donc un opérateur binaire qui lie deux propositions pour en faire une autre. Si on admet chacune des deux propositions, alors on admettra la proposition qui en est la conjonction. En logique mathématique, le connecteur de conjonction est noté soit &, soit ∧. En théorie de la démonstration, plus particulièrement en calcul des séquents, la conjonction est régie par des règles d'introduction et des règles d'élimination.
Disjonction logiqueLa disjonction logique, ou disjonction non exclusive, de deux assertions est une façon d'affirmer qu'au moins une de ces deux assertions est vraie (la première, la deuxième, ou les deux). Dans le langage logique ou mathématique, et dans les domaines techniques qui l'emploient, elle se traduit par le OU logique, un opérateur logique dans le calcul des propositions. La proposition obtenue en reliant deux propositions par cet opérateur s'appelle également leur disjonction ou leur somme logique.
Liaison σUne liaison σ (prononcé sigma) est une liaison chimique covalente formée par le recouvrement axial de deux orbitales atomiques. Dans une molécule diatomique homonucléaire, la densité électronique est maximum le long de l'axe internucléaire, lequel n'est intersecté par aucun plan nodal. De telles liaisons peuvent résulter du recouvrement d'orbitales , , ou , où z est l'axe internucléaire. Dans ces molécules, le concept de est équivalent à celui d'orbitale moléculaire σ.
Alphabet grecLalphabet grec est un alphabet bicaméral de vingt-quatre lettres, principalement utilisé pour écrire la langue grecque depuis la fin du ou le début du C'est le premier et le plus ancien alphabet, dans l'acception la plus réduite de ce mot, car il note chaque voyelle et consonne avec un graphème séparé. Le grec moderne utilise encore cet alphabet de nos jours. Par le passé, les lettres ont servi également pour la numération grecque, depuis le , mais les chiffres arabes tendent à les remplacer en Grèce.
PhiPhi (capitale Φ, minuscule φ ou φ; en grec φι) est la lettre de l'alphabet grec, précédée par upsilon et suivie par chi. Elle est l'ancêtre de la lettre Ф de l'alphabet cyrillique. En grec moderne, la lettre phi représente la consonne fricative labio-dentale sourde (). Cette prononciation est partagée par l'upsilon placée dans une diphtongue après alpha et epsilon et devant une consonne sourde (κ, π, τ, χ, φ, θ, σ, ξ et ψ). En grec ancien, le phi se prononce vraisemblablement , puis évolue vers .
Koinè (grec)thumb|Folio du P46 contenant 2 Cor. 11,33-12,9. La koinè ou koinê (en κοινή / koinḗ, « la (langue) commune » est la langue parlée en Grèce depuis l’époque d’Alexandre environ, et qui était comprise partout où l’on parlait grec. C’est une langue de civilisation qui s’est constituée vers le temps où commence l’influence macédonienne et qui a duré pendant tout l’empire romain jusque dans la période byzantine. Nous en avons une idée par des textes écrits sur certains papyrus trouvés en Égypte, et par la plus grande partie des textes du Nouveau Testament qui sont écrits en koinè.
Calcul des séquentsEn logique mathématique et plus précisément en théorie de la démonstration, le calcul des séquents est un système de déduction créé par Gerhard Gentzen. Le nom de ce formalisme fait référence à un style particulier de déduction ; le système original a été adapté à diverses logiques, telles que la logique classique, la logique intuitionniste et la logique linéaire. Un séquent est une suite d'hypothèses suivie d'une suite de conclusions, les deux suites étant usuellement séparées par le symbole (taquet droit), « : » (deux-points) ou encore (flèche droite) dans l'œuvre originale de Gentzen.
Loi log-normaleEn théorie des probabilités et statistique, une variable aléatoire X est dite suivre une loi log-normale de paramètres et si la variable suit une loi normale d'espérance et de variance . Cette loi est parfois appelée loi de Galton. Elle est habituellement notée dans le cas d'une seule variable ou dans un contexte multidimensionnel. Une variable peut être modélisée par une loi log-normale si elle est le résultat de la multiplication d'un grand nombre de petits facteurs indépendants.
Loi gamma-normaleEn théorie des probabilités et en statistiques, la loi gamma-normale (ou Gamma- Gaussienne) est une distribution bivariée continue à quatre paramètres. Elle est la prieure conjuguée de la loi normale de moyenne et variance inconnues. Soit une paire de variable aléatoires (X,T). Si la distribution conditionnelle de X sachant T est normale de moyenne et variance et si la distribution marginale de T est une loi gamma alors (X,T) suit une loi gamma-normale, que l'on note La fonction de densité conjointe de (X,T) a la forme Par définition, la distribution marginale de est une loi gamma.
Loi demi-normaleEn théorie des probabilités et en statistique, la loi demi-normale est un cas particulier de la loi normale repliée. Soit une variable aléatoire de loi normale centrée, , alors est de loi demi-normale. En particulier, la loi demi-normale est une loi normale repliée de paramètre 0 et . La densité de probabilité de la loi demi-normale est donnée par : L'espérance est : En faisant le changement de variable : , utile lorsque est proche de zéro, la densité prend la forme : L'espérance est alors : La fonction de répartition de la loi demi-normale est donnée par : En utilisant le changement de variable , la fonction de répartition peut s'écrire où erf est la fonction d'erreur.
Loi normale asymétriqueEn théorie des probabilités et en statistiques, la distribution normale asymétrique est une loi de probabilité continue qui généralise la distribution normale en introduisant une asymétrie non nulle. Soit la densité de probabilité de la loi normale centrée réduite avec sa fonction de répartition donnée par avec erf la fonction d'erreur. Alors la densité de probabilité de la distribution normale asymétrique de paramètre α est donnée par Pour ajouter un paramètre de position et un paramètre d'échelle à cela, on utilise la transformation usuelle .
