Variété stableLes variétés stables jouent un rôle central dans les systèmes dynamiques différentiables en temps continu. Cette notion est aussi au centre de l'homologie de Floer. Soit une fonction différentiable sur une variété différentielle compacte de dimension . Considérons une métrique riemannienne sur . Le champ de gradient de est défini par Un point critique est dit non dégénéré lorsque la hessienne est une forme blinéaire non dégénérée sur .
Algèbre de Boole (logique)Lalgèbre de Boole, ou calcul booléen, est la partie des mathématiques qui s'intéresse à une approche algébrique de la logique, vue en termes de variables, d'opérateurs et de fonctions sur les variables logiques, ce qui permet d'utiliser des techniques algébriques pour traiter les expressions à deux valeurs du calcul des propositions. Elle fut lancée en 1854 par le mathématicien britannique George Boole. L'algèbre de Boole trouve de nombreuses applications en informatique et dans la conception des circuits électroniques.
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.
Mathématiques appliquéesvignette|280px|En théorie des graphes, principales topologies typiques de graphes. Les mathématiques appliquées sont une branche des mathématiques qui s'intéresse à l'application du savoir mathématique aux autres domaines.
Fonction monotoneEn mathématiques, une fonction monotone est une fonction entre ensembles ordonnés qui préserve ou renverse l'ordre. Dans le premier cas, on parle de fonction croissante et dans l'autre de fonction décroissante. Ce concept est tout d'abord apparu en analyse réelle pour les fonctions numériques et a été généralisé ensuite dans le cadre plus abstrait de la théorie des ordres. Intuitivement (voir les figures ci-contre), la représentation graphique d'une fonction monotone sur un intervalle est une courbe qui « monte » constamment ou « descend » constamment.
Vallée de stabilitéLa vallée de stabilité désigne, en physique nucléaire, l'endroit où se situent les isotopes stables, quand on porte en abscisse le numéro atomique et en ordonnée le nombre de neutrons de chaque isotope (carte des nucléides - les deux axes sont parfois inversés sur certaines représentations). Certains isotopes sont stables, d'autres ne le sont pas et donnent, après une émission radioactive, naissance à un autre élément qui peut être lui-même sous la forme d'un isotope stable ou radioactif.
Stabilité EBSBLa stabilité EBSB est une forme particulière de stabilité des systèmes dynamiques étudiés en automatique, en traitement du signal et plus spécifiquement en électrotechnique. EBSB signifie Entrée Bornée/Sortie Bornée : si un système est stable EBSB, alors pour toute entrée bornée, la sortie du système l’est également. Un système linéaire invariant et à temps continu dont la fonction transfert est rationnelle et strictement propre est stable EBSB si et seulement si sa réponse impulsionnelle est absolument intégrable, i.
Algèbre de HeytingEn mathématiques, une algèbre de Heyting est une structure algébrique introduite en 1930 par le mathématicien néerlandais Arend Heyting pour rendre compte formellement de la logique intuitionniste de Brouwer, alors récemment développée. Les algèbres de Heyting sont donc pour la logique intuitionniste analogue à ce que sont des algèbres de Boole pour la logique classique : un modèle formel permettant d'en fixer les propriétés.
Pays en développementDans la typologie la plus courante, les pays en développement ou pays du Sud sont des pays moins développés économiquement que les pays développés (parfois appelés pays du Nord). L'expression « pays en développement » remplace des dénominations antérieures, jugées inadéquates, obsolètes ou incorrectes : les pays du tiers monde, les pays sous-développés. Elle s'est substituée à « pays en voie de développement ».
Psychologie évolutionnisteLa psychologie évolutionniste, évolutive ou évolutionnaire, parfois nommée évopsy ou évo-psy, est un courant de la psychologie cognitive et de la psychosociologie dont l'objectif est d'expliquer les mécanismes de la pensée et les comportements humains à partir de la théorie de l'évolution biologique. Elle est parfois assimilée à la sociobiologie, ou considérée comme un courant qui a pris la succession de la sociobiologie aujourd'hui discréditée.
Algorithme de parcours en profondeurL'algorithme de parcours en profondeur (ou parcours en profondeur, ou DFS, pour Depth-First Search) est un algorithme de parcours d'arbre, et plus généralement de parcours de graphe. Il se décrit naturellement de manière récursive. Son application la plus simple consiste à déterminer s'il existe un chemin d'un sommet à un autre. Pour les graphes non orientés, le parcours en profondeur correspond à la méthode intuitive qu'on utilise pour trouver la sortie d'un labyrinthe sans tourner en rond.
Petits États insulaires en développementLes petits États insulaires en développement (PEID, appelés aussi Small Island Developing States ou SIDS en anglais) sont des pays situés au niveau de la mer présentant des défis semblables au niveau du développement durable, dont notamment la gestion de la population, des ressources limitées, de l'isolement, de la sensibilité aux catastrophes naturelles, d'une grande dépendance au commerce international et d'un environnement précaire.
