Dette du tiers mondeLa dette du tiers monde est une dette extérieure contractée par les pays du tiers monde (le terme « tiers monde » est toujours employé, bien qu'on lui préfère désormais souvent d'autres expressions telles que « pays en voie de développement » (PVD) ou pays en développement (PED)) ou encore pays du Sud. Cette dette correspond tant à des prêts souverains (d'autres États, du FMI, de la Banque mondiale, etc.) que des financements privés (prêts bancaires, obligations placées auprès de fonds de placement...).
Équation différentielle homogèneL'expression équation différentielle homogène a deux significations totalement distinctes et indépendantes. Une équation différentielle du premier ordre mais non nécessairement linéaire est dite homogène de degré n si elle peut s'écrire sous la forme où F est une fonction homogène de degré n, c'est-à-dire vérifiant Autrement dit (en posant h(u)=F(1,u)), c'est une équation qui s'écrit Le cas le plus étudié est celui où le degré d'homogénéité est 0, à tel point que dans ce cas on ne mentionne même pas le degré.
Déterminant social de santévignette|Les déterminants sociaux de la santé Un déterminant social de santé en santé publique, est un facteur qui influence l’état de santé d'une population soit isolément, soit en association avec d’autres facteurs et sur lequel il est possible d'agir. Les déterminants sociaux de santé sont liés au revenu, à la formation, à l'emploi, ainsi qu'aux contextes sociaux et aux politiques publiques, etc.. Ils sont ont une influence significativement plus importante que les déterminants biologiques sur la santé des populations.
Leibniz formula for determinantsIn algebra, the Leibniz formula, named in honor of Gottfried Leibniz, expresses the determinant of a square matrix in terms of permutations of the matrix elements. If is an matrix, where is the entry in the -th row and -th column of , the formula is where is the sign function of permutations in the permutation group , which returns and for even and odd permutations, respectively. Another common notation used for the formula is in terms of the Levi-Civita symbol and makes use of the Einstein summation notation, where it becomes which may be more familiar to physicists.
Fonction élémentaireEn mathématiques, une fonction élémentaire est une fonction d'une variable construite à partir d'un nombre fini d'exponentielles, logarithmes, constantes, et racines n-ièmes par composition et combinaisons utilisant les quatre opérations élémentaires (+ – × ÷). En permettant à ces fonctions (et les constantes) d'être complexes, les fonctions trigonométriques et leurs réciproques sont élémentaires. Les fonctions élémentaires ont été d'abord introduites par Joseph Liouville dans une série de publications de 1833 à 1841.
Aide au développementL'aide au développement désigne une action volontaire par un acteur extérieur pour impulser le développement d'un pays tiers (pays en développement). Les conceptions du développement sont nombreuses, les différentes formes de l'aide le sont tout autant. L'aide au développement trouve son origine dans le discours sur l'état de l'Union du président des États-Unis Harry Truman le :Nous devons nous lancer dans un nouveau programme de construction pour mettre les bénéfices de nos avancées scientifiques et de nos progrès industriels au service de l'amélioration et de la croissance des régions sous-développées.
International developmentInternational development or global development is a broad concept denoting the idea that societies and countries have differing levels of economic or human development on an international scale. It is the basis for international classifications such as developed country, developing country and least developed country, and for a field of practice and research that in various ways engages with international development processes. There are, however, many schools of thought and conventions regarding which are the exact features constituting the "development" of a country.
Sociologie du développementLa sociologie du développement se questionne sur les processus de développement sociaux et économiques. Cette branche de la sociologie place ces processus en regard de ses impacts sur la société (communauté, village, ville, pays ou région). Le terme "sociologie du développement" est plus courant dans la littérature en anglais qu'il ne l'est en français. La sociologie du développement est généralement à la croisée des chemins de l'histoire, de l'anthropologie et de la science politique.
Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
Matrice jacobienneEn analyse vectorielle, la matrice jacobienne est la matrice des dérivées partielles du premier ordre d'une fonction vectorielle en un point donné. Son nom vient du mathématicien Charles Jacobi. Le déterminant de cette matrice, appelé jacobien, joue un rôle important pour l'intégration par changement de variable et dans la résolution de problèmes non linéaires. Soit F une fonction d'un ouvert de R à valeurs dans R. Une telle fonction est définie par ses m fonctions composantes à valeurs réelles : .
Facteur de risqueUn facteur de risque est une source de risque qui indique un certain degré de causalité, supérieur à une simple corrélation, avec un risque. Un facteur de risque doit en principe être contrôlable, c'est-à-dire que l'on peut avoir une influence sur ce facteur. Il est important de distinguer un « facteur de risque » d'un « marqueur de risque » : dans le premier cas, le « facteur », mis en évidence d'une manière ou d'une autre, est partiellement responsable du risque. Maîtriser ce facteur revient donc à diminuer significativement ce dernier.
Assistant de preuveEn informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des assertions relatives à l'exécution de programmes informatiques. Beaucoup de projets ont été lancés pour formaliser les mathématiques, en 1966, Nicolaas de Bruijn lance le projet Automath, suivi par d'autres projets.
