Instrument financierLes instruments financiers sont des titres ou contrats, dont certains sont négociables sur les marchés réglementés, certains exclusivement utilisés pour anticiper une rentabilité ou un risque financier ou monétaire. En France, les instruments financiers sont définis par l'article L. 211-1 du Code monétaire et financier, qui est, certes, une liste limitative, mais néanmoins suffisamment générale dans ses définitions pour ne pas constituer un frein a priori au développement des marchés financiers et à la création de nouveaux produits.
New FoundationsEn logique mathématique, New Foundations (NF) est une théorie des ensembles axiomatique introduite par Willard Van Orman Quine en 1937, dans un article intitulé « New Foundations for Mathematical Logic », et qui a connu un certain nombre de variantes. Pour éviter le paradoxe de Russell, le principe de compréhension est restreint aux formules stratifiées, une restriction inspirée de la théorie des types, mais où la notion de type est implicite.
Flux de trésorerie disponibleLe flux de trésorerie disponible (Free cash flow en anglais) est la capacité d'une entreprise à générer des ressources supplémentaires. Il correspond à la portion liquide de la capacité d'autofinancement obtenue dans l'année et qui n'est pas affectée à l'achat de nouveaux éléments d'actif (investissements). Le flux de trésorerie disponible peut être utilisé dans les calculs actuariels d'évaluation de l'entreprise, comme la méthode DCF (Discounted Cash Flow).
Cash flow forecastingCash flow forecasting is the process of obtaining an estimate of a company's future financial position; the cash flow forecast is typically based on anticipated payments and receivables. There are two types of cash flow forecasting methodologies in general: Direct cash forecasting Indirect cash forecasting. Financial forecastCash management and Treasury management#Cash and Liquidity Management Cash flow forecasting is an element of financial management.
Logique mathématiqueLa logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du , qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.
Stabilité numériqueEn analyse numérique, une branche des mathématiques, la stabilité numérique est une propriété globale d’un algorithme numérique, une qualité nécessaire pour espérer obtenir des résultats ayant du sens. Une définition rigoureuse de la stabilité dépend du contexte. Elle se réfère à la propagation des erreurs au cours des étapes du calcul, à la capacité de l’algorithme de ne pas trop amplifier d’éventuels écarts, à la précision des résultats obtenus. Le concept de stabilité ne se limite pas aux erreurs d’arrondis et à leurs conséquences.
Fondements des mathématiquesLes fondements des mathématiques sont les principes de la philosophie des mathématiques sur lesquels est établie cette science. Le logicisme a été prôné notamment par Gottlob Frege et Bertrand Russell. La mathématique pure présente deux caractéristiques : la généralité de son discours et la déductibilité du discours mathématique . En ce que le discours mathématique ne prétend qu’à une vérité formelle, il est possible de réduire les mathématiques à la logique, les lois logiques étant les lois du « vrai ».
Calcul numérique d'une intégraleEn analyse numérique, il existe une vaste famille d’algorithmes dont le but principal est d’estimer la valeur numérique de l’intégrale définie sur un domaine particulier pour une fonction donnée (par exemple l’intégrale d’une fonction d’une variable sur un intervalle). Ces techniques procèdent en trois phases distinctes : Décomposition du domaine en morceaux (un intervalle en sous-intervalles contigus) ; Intégration approchée de la fonction sur chaque morceau ; Sommation des résultats numériques ainsi obtenus.
Secteur financierLe secteur financier est secteur économique qui regroupe toutes les activités qui se rapportent à la finance. On l'appelle parfois . Le secteur financier comprend notamment le secteur bancaire et celui de l'assurance. Le secteur financier regroupe les différentes activités des établissements de crédit, dont les banques font partie. Ce secteur est présent dans tous les pays du monde. En 2006, l'acteur le plus important était le groupe Citigroup, une entreprise américaine.
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.
