Théorie des jeuxLa théorie des jeux est un domaine des mathématiques qui propose une description formelle d'interactions stratégiques entre agents (appelés « joueurs »). Les fondements mathématiques de la théorie moderne des jeux sont décrits autour des années 1920 par Ernst Zermelo dans l'article , et par Émile Borel dans l'article . Ces idées sont ensuite développées par Oskar Morgenstern et John von Neumann en 1944 dans leur ouvrage qui est considéré comme le fondement de la théorie des jeux moderne.
Théorie évolutive des jeuxLa théorie évolutive des jeux, appelée aussi théorie des jeux évolutionniste, est l'application de la théorie des jeux à l'étude de l'évolution de populations en biologie. Elle définit un cadre de compétitions, de stratégies et d'analyses dans lequel la compétition darwinienne peut être modélisée. Elle a vu le jour en 1973 avec la formalisation par John Maynard Smith et George R. Price des compétitions, analysées en tant que stratégies, et des critères mathématiques qui peuvent être utilisés pour prédire les résultats des stratégies concurrentes.
Jeu coopératif (théorie des jeux)En théorie des jeux, un jeu coopératif est un jeu tel que les joueurs ont la possibilité de se concerter et de s'engager à coopérer avant de définir la stratégie à adopter. À deux joueurs et deux stratégies avec une matrice des gains de la forme : où , , et . Des joueurs rationnels vont coopérer sur l'une ou l'autre des stratégies et recevoir les gains élevés. Pour ce faire, ils doivent pouvoir se coordonner sur l'une ou l'autre des stratégies, sous peine de se retrouver dans une situation défavorable.
Langage formelUn langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots. L'alphabet d'un langage formel est l'ensemble des symboles, lettres ou lexèmes qui servent à construire les mots du langage ; souvent, on suppose que cet alphabet est fini. La théorie des langages formels a pour objectif de décrire les langages formels. Les mots sont des suites d'éléments de cet alphabet ; les mots qui appartiennent à un langage formel particulier sont parfois appelés mots bien formés ou formules bien formées.
Théorie des jeux combinatoiresLa théorie des jeux combinatoires est une théorie mathématique qui étudie les jeux à deux joueurs comportant un concept de position, et où les joueurs jouent à tour de rôle un coup d'une façon définie par les règles, dans le but d'atteindre une certaine condition de victoire. La théorie des jeux combinatoires a pour objet les jeux à information complète où le hasard n'intervient pas, comme les échecs, les dames ou le jeu de go.
Équilibre de Nashvignette|Le dilemme du prisonnier : chacun des deux joueurs dispose de deux stratégies : D pour dénoncer, C pour ne pas dénoncer. La matrice présente le gain des joueurs. Si les deux joueurs choisissent D (se dénoncent), aucun ne regrette son choix, car s'il avait choisi C, alors que l'autre a opté pour D, sa « tristesse » aurait augmenté. C'est un équilibre de Nash — il y a « non-regret » de son choix par chacun, au vu du choix de l'autre.
Jeu du mille-pattesEn théorie des jeux, le jeu du mille-pattes, introduit par Robert W. Rosenthal en 1981, est un jeu sous forme extensive dans lequel deux joueurs choisissent à chaque tour de prendre une somme légèrement plus importante dans un pot croissant lentement, ou bien de donner le pot à l'autre joueur. Les gains sont déterminés de sorte que si le donne le pot à son adversaire, et si l'adversaire prend le pot au tour suivant, le recevra légèrement moins que s'il avait pris le pot dès ce tour.
Rational pricingRational pricing is the assumption in financial economics that asset prices – and hence asset pricing models – will reflect the arbitrage-free price of the asset as any deviation from this price will be "arbitraged away". This assumption is useful in pricing fixed income securities, particularly bonds, and is fundamental to the pricing of derivative instruments. Arbitrage is the practice of taking advantage of a state of imbalance between two (or possibly more) markets. Where this mismatch can be exploited (i.
Théorie du choix rationnelLa théorie du choix rationnel (en anglais « rational choice theory », prononcé 'ræʃənl tʃɔɪs thēərē), ou « décision rationnelle », en microéconomie contemporaine, regroupe plusieurs théories de l'action qui, de manière générale, attribuent aux agents un comportement rationnel, lequel, en raison de préférences, dénote une recherche du plus grand profit pour le moindre mal. Elles ont été développées en économie (où elles constituent un paradigme dominant), en sociologie (où elles sont en concurrence avec d'autres paradigmes) et en psychologie, notamment en criminologie.
Méthode formelle (informatique)En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).
Équilibre économiqueEn économie, le concept d'équilibre économique sur un ou plusieurs marchés désigne un vecteur de variables, généralement des prix qui égalisent l'offre et la demande sur l'ensemble des marchés considérés. Cette désignation d'ensemble recouvre en fait des concepts d'équilibre très différents, qui présentent des propriétés différentes et appartiennent à des cadres d'analyse parfois éloignés. L'équilibre économique n'est jamais l'équilibre comptable. L'équilibre partiel constitue le concept d'équilibre économique le plus fréquent dans la recherche économique.
Jeu bayésienEn théorie des jeux, un jeu bayésien est un jeu dans lequel l'information dont dispose chaque joueur sur les caractéristiques des autres joueurs est incomplète. En particulier, on représente ainsi un jeu dans lequel un ou plusieurs joueurs font face à une incertitude quant au gain des autres joueurs. Cette situation impose de spécifier pour chaque joueur des croyances concernant les caractéristiques des autres joueurs. Du fait de l'hypothèse de rationalité, ces croyances prennent la forme d'une distribution de probabilités sur toutes les caractéristiques possibles.
Anthropologie économiqueL'anthropologie économique est un champ de la discipline anthropologique qui étudie les modes d'organisation collective par lesquels les sociétés humaines produisent et répartissent les biens nécessaires à leur vie matérielle et culturelle. Ce domaine de l'anthropologie a principalement été exploré par le courant marxiste à travers les études de Maurice Godelier ou de Claude Meillassoux, ainsi que par l'œuvre de Karl Polanyi et ses successeurs.
Financial economicsFinancial economics is the branch of economics characterized by a "concentration on monetary activities", in which "money of one type or another is likely to appear on both sides of a trade". Its concern is thus the interrelation of financial variables, such as share prices, interest rates and exchange rates, as opposed to those concerning the real economy. It has two main areas of focus: asset pricing and corporate finance; the first being the perspective of providers of capital, i.e.
Agent-based modelAn agent-based model (ABM) is a computational model for simulating the actions and interactions of autonomous agents (both individual or collective entities such as organizations or groups) in order to understand the behavior of a system and what governs its outcomes. It combines elements of game theory, complex systems, emergence, computational sociology, multi-agent systems, and evolutionary programming. Monte Carlo methods are used to understand the stochasticity of these models.
Formal specificationIn computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and software. They are used to describe a system, to analyze its behavior, and to aid in its design by verifying key properties of interest through rigorous and effective reasoning tools. These specifications are formal in the sense that they have a syntax, their semantics fall within one domain, and they are able to be used to infer useful information.
Bourse des valeursLa bourse des valeurs est le lieu où s'échangent les valeurs mobilières, c'est-à-dire des titres financiers négociables, interchangeables et fongibles : actions, obligations, titres de créances négociables, parts d'OPCVM (sicav et FCP), bons de souscription, certificats d'investissement, warrants, options et stocks options. Les devises s'échangent sur le marché des changes et les matières premières dans les bourses de commerce. Ces dernières ont souvent été le premier lieu d'accueil de ces trois types de marché.
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.
Commerce équitableLe commerce équitable est un système d'échange dont l'objectif est de proposer une plus grande équité dans le commerce conventionnel, voire une alternative à celui-ci, fondée notamment sur la réappropriation des échanges marchands par ceux qui les pratiquent. Sa démarche consiste à utiliser le commerce comme un levier de développement et de réduction des inégalités, en veillant à la juste rétribution des producteurs et travailleurs.
Marché (économie)Un marché est l'institution sociale abstraite où se rencontrent l'offre et la demande de biens ou de services. Le marché est ainsi le lieu, physique ou virtuel, où les échanges commerciaux ont lieu. Dans son acception la plus ancienne, un marché est une institution qui accueille un commerce localisé précisément dans l'espace et le temps mais de dimension variable, par exemple les marchés traditionnels, les marchés aux puces et Lloyd's of London.
