Finance d'entrepriseLa finance d'entreprise ou gestion financière, est le champ de la finance relatif aux décisions financières des entreprises. Son objet essentiel est l’analyse et la « maximisation de la valeur de la firme pour ses actionnaires envisagée sur une longue période » . En termes plus précis, l'enjeu consiste à optimiser la valeur de la séquence des profits monétaires futurs (relativement à un horizon de référence) sous la contrainte de la limitation des risques courus.
Obligation d'entrepriseUne obligation d'entreprise est une obligation émise par une société privée dans le but d'obtenir un financement pour une raison ou une autre. En général les obligations d'entreprise offrent un rendement plus élevé que les obligations d'État. Le terme est parfois utilisé pour inclure toutes les obligations à l'exception de celles émises par les gouvernements dans leurs propres monnaies et inclurait donc les gouvernements qui émettent dans d'autres monnaies (comme le Mexique qui émet en dollars américains).
Banque d'investissementUne banque d'investissement est une banque, ou une division de la banque, qui rassemble l'ensemble des activités de conseil, d'intermédiation et d'exécution ayant trait aux opérations dites de haut de bilan (introduction en Bourse, émission de dette, fusion/acquisition) de grands clients corporate (entreprises, investisseurs, mais aussi États...). Ces activités sont généralement scindées en entités distinctes, habituellement désignées par des anglicismes : les opérations de Corporate Finance (finance d'entreprise), de Global Capital Markets (marchés financiers) et de Structured Finance (opérations de financement).
Type algébrique de donnéesUn type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. Le type produit de deux types A et B est l’analogue en théorie des types du produit cartésien ensembliste et est noté A × B. C’est le type des couples dont la première composante est de type A et la seconde de type B.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Valeur actuelle netteLa valeur actuelle nette (VAN, en anglais : net present value, NPV) est une mesure de la rentabilité d'un investissement calculée comme la somme des flux de trésorerie engendrés par cette opération, chacun étant actualisé de façon à réduire son importance dans cette somme à mesure de son éloignement dans le temps. Si le taux d'actualisation est choisi convenablement, l'investissement sera réputé rentable et donc retenu si et seulement si sa valeur actuelle nette est positive.
Obligation (finance)thumb|250px|Obligation de 500 F à 5 % au porteur, 1901, gravée par Luigi Loir. Une obligation est une valeur mobilière qui constitue une créance sur son émetteur, elle est donc représentative d'une dette financière à moyen, long terme, parfois même à perpétuité. Cette dette est émise dans une devise donnée, pour une durée définie et elle donne droit au paiement d'un intérêt fixe ou variable, appelé coupon qui est parfois capitalisé jusqu'à sa maturité.
Municipal bondA municipal bond, commonly known as a muni, is a bond issued by state or local governments, or entities they create such as authorities and special districts. In the United States, interest income received by holders of municipal bonds is often, but not always, exempt from federal and state income taxation. Typically, only investors in the highest tax brackets benefit from buying tax-exempt municipal bonds instead of taxable bonds. Taxable equivalent yield calculations are required to make fair comparisons between the two categories.
Taux de rentabilité interneLe taux de rentabilité interne (TRI) est un taux d'actualisation qui annule la valeur actuelle nette d'une série de flux financiers (en général relatifs à un projet avec un investissement initial suivi de flux de trésorerie positifs). Le TRI est un outil de décision à l'investissement. Un projet d'investissement ne sera généralement retenu que si son TRI prévisible est suffisamment supérieur au taux d'intérêt bancaire, pour tenir compte notamment de la prime de risque propre au type de projet.
Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
Marché obligataireLe marché obligataire est le marché sur lequel les entreprises ainsi que les États se financent, les investisseurs y déterminant les rendements obligataires. Le rôle historique des marchés obligataires était d'abaisser le coût de la dette royale, sans forcément y parvenir à leurs débuts. Henri II à Lyon a lancé en 1555, le premier marché obligataire, qui visait à offrir une liquidité au Grand Parti de Lyon, un emprunt de deux millions d'écus sur 11 ans, à intérêt de 16 %, « taux très supérieur aux précédents », de 12 % en moyenne.
Strong and weak typingIn computer programming, one of the many ways that programming languages are colloquially classified is whether the language's type system makes it strongly typed or weakly typed (loosely typed). However, there is no precise technical definition of what the terms mean and different authors disagree about the implied meaning of the terms and the relative rankings of the "strength" of the type systems of mainstream programming languages.
Junk bondJunk bond, ou « obligation pourrie » en français, est l'appellation familière désignant aux États-Unis les obligations à haut risque, obligations qui sont classées comme spéculatives par les agences de notation, c’est-à-dire celles dont la notation financière est inférieure à linvestment grade : inférieure à Baa3 pour Moody's ; inférieure à BBB- pour Standard & Poor's et Fitch Ratings. Autre désignation correcte de ces obligations : high-yield debt''' (« obligations à haut rendement »).
Capital budgetingCapital budgeting in corporate finance, corporate planning and accounting is area of capital management that concerns the planning process used to determine whether an organization's long term capital investments such as new machinery, replacement of machinery, new plants, new products, and research development projects are worth the funding of cash through the firm's capitalization structures (debt, equity or retained earnings). It is the process of allocating resources for major capital, or investment, expenditures.
RentabilitéLa rentabilité est le rapport entre un revenu obtenu ou prévu et les ressources employées pour l'obtenir. La notion s'applique notamment aux entreprises, mais aussi à tout autre investissement. La rentabilité rétrospective est le rapport entre un résultat comptable et les moyens en passifs mis en œuvre pour l'obtenir. La rentabilité prévisionnelle est le rapport entre un gain de trésorerie projeté et la valeur d'un investissement nécessaire pour générer ce gain.
Discounted cash flowThe discounted cash flow (DCF) analysis, in finance, is a method used to value a security, project, company, or asset, that incorporates the time value of money. Discounted cash flow analysis is widely used in investment finance, real estate development, corporate financial management, and patent valuation. Used in industry as early as the 1700s or 1800s, it was widely discussed in financial economics in the 1960s, and U.S. courts began employing the concept in the 1980s and 1990s.
Modélisation financièreLa modélisation financière consiste à représenter une situation financière grâce à un modèle mathématique, en fonction de différents paramètres. La modélisation financière facilite ainsi la prise de décision, en permettant de simuler divers scénarios et d’aboutir à des recommandations. La modélisation s’applique principalement à deux grands domaines de la finance, la finance d’entreprise et la finance de marché.
Théorie des types homotopiquesvignette| Couverture de la Théorie des types homotopiques : Fondations univalentes des mathématiques. Dans la logique mathématique et de l’informatique, la théorie des types homotopiques (en anglais : Homotopy Type Theory HoTT) fait référence à différentes lignes de développement de la théorie des types intuitionnistes, basée sur l’interprétation des types comme des objets auxquels l’intuition de la théorie de l’homotopie s’applique.
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.
