Loi de probabilité marginaleEn théorie des probabilités et en statistique, la loi marginale d'un vecteur aléatoire, c'est-à-dire d'une variable aléatoire à plusieurs dimensions, est la loi de probabilité d'une de ses composantes. Autrement dit, la loi marginale est une variable aléatoire obtenue par « projection » d'un vecteur contenant cette variable. Par exemple, pour un vecteur aléatoire , la loi de la variable aléatoire est la deuxième loi marginale du vecteur. Pour obtenir la loi marginale d'un vecteur, on projette la loi sur l'espace unidimensionnel de la coordonnée recherchée.
Interprétations de la probabilitéLe mot probabilité a été utilisé dans une variété de domaines depuis qu'il a été appliqué à l'étude mathématique des jeux de hasard. Est-ce que la probabilité mesure la tendance réelle physique de quelque chose de se produire, ou est-ce qu'elle est une mesure du degré auquel on croit qu'elle se produira, ou faut-il compter sur ces deux éléments ? Pour répondre à ces questions, les mathématiciens interprètent les valeurs de probabilité de la théorie des probabilités.
Truncated normal distributionIn probability and statistics, the truncated normal distribution is the probability distribution derived from that of a normally distributed random variable by bounding the random variable from either below or above (or both). The truncated normal distribution has wide applications in statistics and econometrics. Suppose has a normal distribution with mean and variance and lies within the interval . Then conditional on has a truncated normal distribution. Its probability density function, , for , is given by and by otherwise.
Loi triangulaireEn théorie des probabilités, une loi triangulaire est une loi de probabilité dont la fonction de densité est affine de sa borne inférieure à son mode, et de son mode à sa borne supérieure. Elle est mentionnée sous deux versions : une loi discrète et une loi continue. La loi triangulaire discrète de paramètre entier positif a est définie pour tout entier x compris entre –a et a par : La loi triangulaire continue sur le support ]a ; b[ et de mode c a pour fonction de densité : Dans de nombreux domaines, la loi triangulaire est considérée comme une version simplifiée de la loi bêta.
Primitive notionIn mathematics, logic, philosophy, and formal systems, a primitive notion is a concept that is not defined in terms of previously-defined concepts. It is often motivated informally, usually by an appeal to intuition and everyday experience. In an axiomatic theory, relations between primitive notions are restricted by axioms. Some authors refer to the latter as "defining" primitive notions by one or more axioms, but this can be misleading. Formal theories cannot dispense with primitive notions, under pain of infinite regress (per the regress problem).
Déduction naturelleEn logique mathématique, la déduction naturelle est un système formel où les règles de déduction des démonstrations sont proches des façons naturelles de raisonner. C'est une étape importante de l'histoire de la théorie de la démonstration pour plusieurs raisons : contrairement aux systèmes à la Hilbert fondés sur des listes d'axiomes logiques plus ou moins ad hoc, la déduction naturelle repose sur un principe systématique de symétrie : pour chaque connecteur, on donne une paire de règles duales (introduction/élimination) ; elle a conduit Gentzen à inventer un autre formalisme très important en théorie de la démonstration, encore plus « symétrique » : le calcul des séquents ; elle a permis dans les années 1960 d'identifier la première instance de l'isomorphisme de Curry-Howard.
Règle d'inférenceDans un système logique, les régles d'inférence sont les règles qui fondent le processus de déduction, de dérivation ou de démonstration. L'application des règles sur les axiomes du système permet d'en démontrer les théorèmes. Une règle d'inférence est une fonction qui prend un -uplet de formules et rend une formule. Les formules arguments sont appelées « les prémisses » et la formule retournée est appelée la « conclusion ».
Bruno de FinettiBruno de Finetti (13 juin 1906 - 20 juillet 1985) est un statisticien et actuaire italien, connu pour sa conception « opérationnelle subjective » de la probabilité. L'exposition classique de sa théorie distinctive est La prévision : ses lois logiques, ses sources subjectives de 1937 qui a discuté des probabilités fondées sur la cohérence des cotes des paris et les conséquences de l' échange. De Finetti naît à Innsbruck, Autriche. Il étudie les mathématiques à l'École polytechnique de Milan.
Mathématiques puresvignette|Formules mathématiques Les mathématiques pures (ou mathématiques fondamentales) regroupent les activités de recherche en mathématiques motivée par des raisons autres que celles de l'application pratique. Les mathématiques pures reposent sur un ensemble d'axiomes et sur un système logique, détachés de l'expérience et de la réalité. Il n'est cependant pas rare que des théories développées sans objectif pratique soient utilisées plus tard pour certaines applications, comme la géométrie riemannienne pour la relativité générale.
Georg CantorGeorg Cantor est un mathématicien allemand, né le à Saint-Pétersbourg (Empire russe) et mort le à Halle (Empire allemand). Il est connu pour être le créateur de la théorie des ensembles. Il établit l'importance de la bijection entre les ensembles, définit les ensembles infinis et les ensembles bien ordonnés. Il prouva également que les nombres réels sont « plus nombreux » que les entiers naturels. En fait, le théorème de Cantor implique l'existence d'une « infinité d'infinis ».
