Symbole (logique)alt=Ce diagramme montre les entités syntaxiques qui peuvent être construits à partir des langages formels. Les symboles et les chaînes de symboles peuvent être divisés en formules bien formées. Un langage formel peut être considéré comme identique à l'ensemble de ses formules bien formées. L'ensemble des formules bien formées peut être divisé en théorèmes et non-théorèmes.|vignette|Ce diagramme montre les entités syntaxiques qui peuvent être construits à partir des langages formels.
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.
Série génératriceEn mathématiques, et notamment en analyse et en combinatoire, une série génératrice (appelée autrefois fonction génératrice, terminologie encore utilisée en particulier dans le contexte de la théorie des probabilités) est une série formelle dont les coefficients codent une suite de nombres (ou plus généralement de polynômes) ; on dit que la série est associée à la suite. Ces séries furent introduites par Abraham de Moivre en 1730, pour obtenir des formules explicites pour des suites définies par récurrence linéaire.
Série formelleEn algèbre, les séries formelles sont une généralisation des polynômes autorisant des sommes infinies, de la même façon qu'en analyse, les séries entières généralisent les fonctions polynomiales, à ceci près que dans le cadre algébrique, les problèmes de convergence sont évités par des définitions ad hoc. Ces objets sont utiles pour décrire de façon concise des suites et pour trouver des formules pour des suites définies par récurrence via ce que l'on appelle les séries génératrices. Soit R un anneau commutatif (unifère).
Conceptual modelA conceptual model is a representation of a system. It consists of concepts used to help people know, understand, or simulate a subject the model represents. In contrast, a physical model focuses on a physical object such as a toy model that may be assembled and made to work like the object it represents. The term may refer to models that are formed after a conceptualization or generalization process. Conceptual models are often abstractions of things in the real world, whether physical or social.
Produit dérivé financierUn produit dérivé ou contrat dérivé ou encore derivative product est un instrument financier : dont la valeur fluctue en fonction de l'évolution du taux ou du prix d'un autre produit appelé sous-jacent ; qui requiert peu ou pas de placement initial ; dont le règlement s'effectue à une date future. Ce produit consiste en un contrat entre deux parties, un acheteur et un vendeur, qui fixe des flux financiers futurs fondés sur ceux d'un actif sous-jacent, réel ou théorique, généralement financier.
MaquetteUne maquette est une représentation partielle ou complète d'un système ou d'un objet (existant ou en projet) afin d'en tester et valider certains aspects et/ou le comportement (maquette fonctionnelle), ou simplement à des fins ludiques (maquette de jeu) ou informatives (présentation pédagogique ou commerciale d'une réalisation ou d'un projet). La maquette peut être réalisée en deux ou trois dimensions, à une échelle donnée, le plus souvent réduite ou agrandie pour en faciliter la visualisation ou la manipulation.
Socialist calculation debateThe socialist calculation debate, sometimes known as the economic calculation debate, was a discourse on the subject of how a socialist economy would perform economic calculation given the absence of the law of value, money, financial prices for capital goods and private ownership of the means of production. More specifically, the debate was centered on the application of economic planning for the allocation of the means of production as a substitute for capital markets and whether or not such an arrangement would be superior to capitalism in terms of efficiency and productivity.
Model aircraftA model aircraft is a small unmanned aircraft. Many are replicas of real aircraft. Model aircraft are divided into two basic groups: flying and non-flying. Non-flying models are also termed static, display, or shelf models. Aircraft manufacturers and researchers make wind tunnel models for testing aerodynamic properties, for basic research, or for the development of new designs. Sometimes only part of the aircraft is modelled.
Théorie des perspectivesLa théorie des perspectives (en anglais : Prospect theory) est une théorie économique développée par Daniel Kahneman et Amos Tversky en 1979. Elle remet en cause la théorie de l'utilité espérée développée par John von Neumann et Oskar Morgenstern en 1944 et a valu à Daniel Kahneman le prix Nobel d'économie en 2002. Cette théorie est fondatrice de l'économie comportementale et de la finance comportementale et constitue l'une des premières théories économiques construite à partir de travaux expérimentaux.
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é.
