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.
Relation binaireEn mathématiques, une relation binaire entre deux ensembles E et F (ou simplement relation entre E et F) est définie par un sous-ensemble du produit cartésien E × F, soit une collection de couples dont la première composante est dans E et la seconde dans F. Cette collection est désignée par le graphe de la relation. Les composantes d'un couple appartenant au graphe d'une relation R sont dits en relation par R. Une relation binaire est parfois appelée correspondance entre les deux ensembles.
Option styleIn finance, the style or family of an option is the class into which the option falls, usually defined by the dates on which the option may be exercised. The vast majority of options are either European or American (style) options. These options—as well as others where the payoff is calculated similarly—are referred to as "vanilla options". Options where the payoff is calculated differently are categorized as "exotic options". Exotic options can pose challenging problems in valuation and hedging.
Stratégie optionnelleEn finance, une stratégie optionnelle consiste à acheter et/ou vendre plusieurs options (calls et puts) et éventuellement de l'actif sous-jacent, dans le but de bénéficier des mouvements, ou de leur absence, anticipés du marché du sous-jacent ou de celui de la volatilité. Les possibilités n'ont comme limite que l'imagination des acteurs des marchés. Nous n'aborderons ici que les plus courantes à base d'options ordinaires (call et put).
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.
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.
OptionEn finance, une option est un produit dérivé qui établit un contrat entre un acheteur et un vendeur. L'acheteur de l'option obtient le droit, et non pas l'obligation, d'acheter (call) ou de vendre (put) un actif sous-jacent à un prix fixé à l'avance (strike), pendant un temps donné ou à une date fixée. Ce contrat peut se faire dans une optique de spéculation sur le prix futur de l'actif sous-jacent, ou d'assurance contre une évolution défavorable de ce prix.
Relation (mathématiques)Une relation entre objets mathématiques d'un certain domaine est une propriété qu'ont, ou non, entre eux certains de ces objets ; ainsi la relation d'ordre strict, notée « < », définie sur N l'ensemble des entiers naturels : 1 < 2 signifie que 1 est en relation avec 2 par cette relation, et on sait que 1 n'est pas en relation avec 0 par celle-ci. Une relation est très souvent une relation binaire, définie sur un ensemble comme la relation d'ordre strict sur N, ou entre deux ensembles.
Analyse par les options réellesL'analyse par les options réelles (AOR) est un outil financier d'aide à la décision en matière d'investissement, directement inspiré des techniques d’options financières (« call » ou « put »). L’option réelle permet de prendre une décision stratégique d'investissement relative à un actif sous-jacent non financier. Ce sous-jacent peut être un projet ou un actif réel du type : bien d'équipement, usine de production, projet R&D, activité en phase de démarrage ou de croissance, ou bien encore propriété intellectuelle.
Option binaireEn trading, une option binaire est un type d'option ayant seulement deux issues possibles à l’échéance : soit l'option termine « dans la monnaie » (le détenteur gagne son pari et reçoit le montant fixé prévu), soit l'option termine « hors de la monnaie » (le détenteur perd la totalité de la mise engagée). Il en existe différents types : l'option High/Low (la valeur du cours à l'échéance est comparée avec la valeur du cours à l'ouverture), One touch ou encore zone.
Asian optionAn Asian option (or average value option) is a special type of option contract. For Asian options, the payoff is determined by the average underlying price over some pre-set period of time. This is different from the case of the usual European option and American option, where the payoff of the option contract depends on the price of the underlying instrument at exercise; Asian options are thus one of the basic forms of exotic options.
Typed lambda calculusA typed lambda calculus is a typed formalism that uses the lambda-symbol () to denote anonymous function abstraction. In this context, types are usually objects of a syntactic nature that are assigned to lambda terms; the exact nature of a type depends on the calculus considered (see kinds below). From a certain point of view, typed lambda calculi can be seen as refinements of the untyped lambda calculus, but from another point of view, they can also be considered the more fundamental theory and untyped lambda calculus a special case with only one type.
Relation ternaireEn mathématiques, une relation ternaire est une relation d'arité 3, de même que les relations binaires, plus courantes, sont d'arité 2. Formellement, une relation ternaire est donc représentée par son graphe, qui est une partie du produit X × Y × Z de trois ensembles X, Y et Z. Le graphe d'une fonction de deux variables f : X × Y → Z, c'est-à-dire l'ensemble des triplets de la forme (x, y, f(x, y)), représente la relation ternaire R définie par : R(x, y, z) si z est l' de (x, y) par f.
Relation inverseIn mathematics, the converse relation, or transpose, of a binary relation is the relation that occurs when the order of the elements is switched in the relation. For example, the converse of the relation 'child of' is the relation 'parent of'. In formal terms, if and are sets and is a relation from to then is the relation defined so that if and only if In set-builder notation, The notation is analogous with that for an inverse function. Although many functions do not have an inverse, every relation does have a unique converse.
Option exotiqueIn finance, an exotic option is an option which has features making it more complex than commonly traded vanilla options. Like the more general exotic derivatives they may have several triggers relating to determination of payoff. An exotic option may also include a non-standard underlying instrument, developed for a particular client or for a particular market. Exotic options are more complex than options that trade on an exchange, and are generally traded over the counter.
Homogeneous relationIn mathematics, a homogeneous relation (also called endorelation) on a set X is a binary relation between X and itself, i.e. it is a subset of the Cartesian product X × X. This is commonly phrased as "a relation on X" or "a (binary) relation over X". An example of a homogeneous relation is the relation of kinship, where the relation is between people. Common types of endorelations include orders, graphs, and equivalences. Specialized studies of order theory and graph theory have developed understanding of endorelations.
Relation réflexiveEn mathématiques, une relation binaire peut avoir, entre autres propriétés, la réflexivité ou bien l'antiréflexivité (ou irréflexivité). Une relation R sur un ensemble X est dite : réflexive si tout élément de X est R-relié à lui-même :ou encore, si le graphe de R contient la diagonale de X (qui est le graphe de l'égalité) ; antiréflexive (ou irréflexive) si aucun élément de X n'est R-relié à lui-même :ou encore, si son graphe est disjoint de la diagonale de X.
Connected relationIn mathematics, a relation on a set is called connected or complete or total if it relates (or "compares") all pairs of elements of the set in one direction or the other while it is called strongly connected if it relates pairs of elements. As described in the terminology section below, the terminology for these properties is not uniform. This notion of "total" should not be confused with that of a total relation in the sense that for all there is a so that (see serial relation).
Relation asymétriqueEn mathématiques, une relation (binaire, interne) R est dite asymétrique si elle vérifie : ou encore, si son graphe est disjoint de celui de sa relation réciproque. L'asymétrie est parfois appelée « antisymétrie forte », par opposition à l'antisymétrie (usuelle, ou « faible »). En effet, une relation est asymétrique si et seulement si elle est à la fois antisymétrique et antiréflexive. les relations d'ordre strict, qui sont les relations transitives et asymétriques ; dans les entiers, la relation "est le successeur de" ; dans un ensemble de personnes, la relation « est enfant de » : personne n'est enfant d'un de ses enfants.
Calculation in kindNOTOC Calculation in kind or calculation in-natura is a way of valuating resources and a system of accounting that uses disaggregated physical magnitudes as opposed to a common unit of calculation. As the basis for a socialist economy, it was proposed to replace money and financial calculation. In an in-kind economy products are produced for their use values (their utility) and accounted in physical terms. By contrast, in money-based economies, commodities are produced for their exchange value and accounted in monetary terms.
