Computable functionComputable functions are the basic objects of study in computability theory. Computable functions are the formalized analogue of the intuitive notion of algorithms, in the sense that a function is computable if there exists an algorithm that can do the job of the function, i.e. given an input of the function domain it can return the corresponding output. Computable functions are used to discuss computability without referring to any concrete model of computation such as Turing machines or register machines.
Théorie de la calculabilitéLa théorie de la calculabilité (appelée aussi parfois théorie de la récursion) est un domaine de la logique mathématique et de l'informatique théorique. La calculabilité (parfois appelée « computationnalité », de l'anglais computability) cherche d'une part à identifier la classe des fonctions qui peuvent être calculées à l'aide d'un algorithme et d'autre part à appliquer ces concepts à des questions fondamentales des mathématiques. Une bonne appréhension de ce qui est calculable et de ce qui ne l'est pas permet de voir les limites des problèmes que peuvent résoudre les ordinateurs.
Fonction génératrice des momentsEn théorie des probabilités et en statistique, la fonction génératrice des moments d'une variable aléatoire est la fonction M définie par pour tout réel t tel que cette espérance existe. Cette fonction, comme son nom l'indique, est utilisée afin d'engendrer les moments associés à la distribution de probabilités de la variable aléatoire .
Nombre réel calculablevignette|π est calculable avec un précision arbitraire alors que presque tous les nombres réels sont non calculables. En informatique et algorithmique, un nombre réel calculable est un réel pour lequel il existe un algorithme ou une machine de Turing permettant d'énumérer la suite de ses chiffres (éventuellement infinie), ou plus généralement des symboles de son écriture sous forme de chaîne de caractères. De manière plus générale, et équivalente, un nombre réel est calculable si on peut en calculer une approximation aussi précise que l'on veut, avec une précision connue.
Fonction génératrice des probabilitésEn mathématiques, et plus particulièrement en théorie des probabilités, la fonction génératrice des probabilités (ou fonction génératrice des moments factoriels) d'une variable aléatoire (à valeurs dans les entiers naturels) est la série entière associée à la fonction de masse de cette variable aléatoire. La fonction génératrice des probabilités est utile car elle permet de caractériser entièrement la fonction de masse. La fonction génératrice des probabilités est usuellement identifiée à sa somme.
Risque de catastrophe planétairevignette|Vue d'artiste d'un impact cosmique. Un tel impact pourrait avoir été la cause de l'extinction des dinosaures non-aviens.|alt=Une boule de feu s'écrasant dans l'océan. Un risque de catastrophe planétaire ou de catastrophe globale est un événement futur hypothétique qui aurait le potentiel de dégrader le bien-être de la majeure partie de l'humanité, par exemple en détruisant la civilisation moderne ; cette notion, introduite par divers auteurs à partir de la fin du , a été théorisée et précisée en 2008 par le philosophe Nick Bostrom, lequel avait proposé également dès 2002 d'appeler risque existentiel un événement qui pourrait causer l’extinction de l'humanité.
Phonologie du coréenCet article décrit la phonologie du coréen d'un point de vue technique. Sauf indication contraire, les faits présentés dans cet article s'appliquent au coréen standard en Corée du Sud, qui est fondé sur le dialecte de Séoul. Les morphophonèmes seront écrits entre barres verticales (| |), les phonèmes entre barres obliques (/ /), et les allophones entre crochets ([ ]). Le coréen possède 19 consonnes phonémiques. Chaque consonne occlusive ou affriquée a trois versions : une version douce (ou lenis), une version tendue (ou fortis), et une version aspirée.
HangeulLe hangeul (prononcé en coréen : ), aussi orthographié hangûl ou hangul en français, appelé josŏn'gŭl en Corée du Nord, est l’alphabet officiel du coréen, à la fois en Corée du Nord et en Corée du Sud. Le hangeul est fréquemment cité pour son histoire particulière : créé au par le roi Sejong le Grand, il est interdit à sa mort, mais perpétué entretemps par les romans féminins avant d'être réintroduit à la fin du sous l'occupation japonaise.
