Μ operatorIn computability theory, the μ-operator, minimization operator, or unbounded search operator searches for the least natural number with a given property. Adding the μ-operator to the primitive recursive functions makes it possible to define all computable functions. Suppose that R(y, x1, ..., xk) is a fixed (k+1)-ary relation on the natural numbers. The μ-operator "μy", in either the unbounded or bounded form, is a "number theoretic function" defined from the natural numbers to the natural numbers.
Mesure du temps sur MarsLa mesure du temps sur Mars consiste à conserver une trace de l'heure et de la date sur la planète Mars, indépendamment de l'heure et des calendriers terrestres. Mars possède une inclinaison de son axe et une période de rotation similaires à celles de la Terre et connait donc quatre saisons et une durée du jour similaire. Son année en revanche est presque deux fois plus longue que celle de la Terre et son excentricité est considérablement plus grande : la durée des différentes saisons martiennes est donc complètement différente et le temps solaire apparent est plus susceptible de diverger du temps solaire moyen que sur Terre.
Fonction récursiveEn informatique et en mathématiques, le terme fonction récursive ou fonction calculable désigne la classe de fonctions dont les valeurs peuvent être calculées à partir de leurs paramètres par un processus mécanique fini. En fait, cela fait référence à deux concepts liés, mais distincts. En théorie de la calculabilité, la classe des fonctions récursives est une classe plus générale que celle des fonctions récursives primitives, mais plus restreinte que celle des fonctions semi-calculables (ou partielles récursives).
Viking 2est la seconde mission du programme Viking. Elle consistait à lancer un ensemble composé d'un orbiteur et d'un atterrisseur, très proches de ceux utilisés pour . L'atterrisseur opéra depuis la surface de Mars pendant martiens et fut désactivé le , lorsque ses batteries tombèrent en panne. L'orbiteur continua de fonctionner jusqu'au , fournissant près de de la planète, prises au cours de . Le vaisseau fut lancé le par une fusée à dernier étage Centaur.
Ain (département)L'Ain' () est un département français de la région Auvergne-Rhône-Alpes, dont le nom vient de la rivière Ain. L'Insee et la Poste lui attribuent le code 01. Sa préfecture est Bourg-en-Bresse. Le département est composé de plusieurs entités culturelles et historiques : la Bresse savoyarde, la Dombes, le Bugey et le pays de Gex en sont les principales. Histoire de l'Ain Les premières traces de peuplement de la région sont attestées dès le Paléolithique moyen avec les industries moustériennes.
LuneLa Lune, ou Terre I, est l'unique satellite naturel permanent de la planète Terre. Il s'agit du cinquième plus grand satellite naturel du Système solaire, et du plus grand des satellites planétaires par rapport à la taille de la planète autour de laquelle il orbite. Elle est le deuxième satellite le plus dense du Système solaire après Io, un satellite de Jupiter. La Lune est en rotation synchrone avec la Terre, lui montrant donc constamment la même face.
Histoire de la peintureL’histoire de la peinture traverse le temps et enjambe toutes les cultures. Art préhistorique Les plus anciennes peintures connues à ce jour se trouvent dans la grotte El Castillo, une grotte en Cantabrie (Espagne), de la période Aurignacienne, peintes il y a environ . Arrivent ensuite les peintures de la grotte Chauvet en France et elles ont, d’après la plupart des préhistoriens, environ . Gravées et peintes avec de l’ocre rouge et des colorants noirs (dioxyde de manganèse et charbon), elles représentent surtout des chevaux, des rhinocéros et des lions.
History of artThe history of art focuses on objects made by humans for any number of spiritual, narrative, philosophical, symbolic, conceptual, documentary, decorative, and even functional and other purposes, but with a primary emphasis on its aesthetic visual form. Visual art can be classified in diverse ways, such as separating fine arts from applied arts; inclusively focusing on human creativity; or focusing on different media such as architecture, sculpture, painting, film, photography, and graphic arts.
Ain (rivière)L'Ain est une rivière française qui prend sa source (une exsurgence karstique) en Bourgogne-Franche-Comté, entre les villages jurassiens de Conte et de La Favière à d'altitude, et se jette dans le Rhône (rive droite) à Saint-Maurice-de-Gourdans (Ain), après avoir parcouru . Elle a donné son nom au département de l'Ain. Les riverains et plus généralement les locuteurs des départements du Jura et de l'Ain la désignent sous le terme « rivière d'Ain' », qui a pour avantage de lever l'ambiguïté avec le département.
Temps d'arrêtvignette|Temps d'impact et temps d'arrêt de trois échantillons de mouvement brownien. En théorie des probabilités, en particulier dans l'étude des processus stochastiques, un temps d'arrêt (également appelé temps d'arrêt optionnel, et correspondant à un temps de Markov ou moment de Markov défini) est une variable aléatoire dont la valeur est interprétée comme le moment auquel le comportement d'un processus stochastique donné présente un certain intérêt.
Optimal stoppingIn mathematics, the theory of optimal stopping or early stopping is concerned with the problem of choosing a time to take a particular action, in order to maximise an expected reward or minimise an expected cost. Optimal stopping problems can be found in areas of statistics, economics, and mathematical finance (related to the pricing of American options). A key example of an optimal stopping problem is the secretary problem. Optimal stopping problems can often be written in the form of a Bellman equation, and are therefore often solved using dynamic programming.
Ample line bundleIn mathematics, a distinctive feature of algebraic geometry is that some line bundles on a projective variety can be considered "positive", while others are "negative" (or a mixture of the two). The most important notion of positivity is that of an ample line bundle, although there are several related classes of line bundles. Roughly speaking, positivity properties of a line bundle are related to having many global sections. Understanding the ample line bundles on a given variety X amounts to understanding the different ways of mapping X into projective space.
Y (lettre)Y (la lettre se nomme « i grec » et se prononce isolée ) est la lettre de l'alphabet latin moderne. Le graphème majuscule est le même que celui de l'upsilon de l'alphabet grec. centré|vignette|600x600px|Formes majuscules et minuscules manuscrites de la lettre Y dans le Dictionnaire des abréviations latines et française d’Alphonse Chassant. C'est à la fois une voyelle (, comme dans cycle) et une semi-voyelle (, comme dans « yeux »).
Nef line bundleIn algebraic geometry, a line bundle on a projective variety is nef if it has nonnegative degree on every curve in the variety. The classes of nef line bundles are described by a convex cone, and the possible contractions of the variety correspond to certain faces of the nef cone. In view of the correspondence between line bundles and divisors (built from codimension-1 subvarieties), there is an equivalent notion of a nef divisor. More generally, a line bundle L on a proper scheme X over a field k is said to be nef if it has nonnegative degree on every (closed irreducible) curve in X.
ZhengzhouZhengzhou () est la capitale de la province du Henan, en république populaire de Chine. Elle est considérée comme une des huit grandes anciennes capitales de la Chine. Elle possède le statut de ville-préfecture. Zhengzhou est une grande ville située au centre de la Chine, elle est située au sud de la Grande plaine de Chine du Nord et du cours inférieur du Fleuve Jaune. Zhengzhou est aussi située au carrefour de deux lignes de chemin de fer majeures (les lignes Longhai et Jingguang) qui en font une ville au trafic ferroviaire très important.
Zhaocadre|gauche|« État de Zhao »en caractères sigillaires Zhao ( - 453 - 228 av. J.-C.) était l'un des sept États qui composaient la Chine antique pendant la Période des Royaumes combattants. Initialement clan de grands feudataires de l'Hégémonie de Jin, le Zhao fut l'un des trois États créés par la partition de celui-ci par les trois familles en 403 av. J.-C.. D'abord de faible importance, le Zhao sut se développer jusqu'à devenir l'un des royaumes majeurs, avant d'être finalement détruit par le royaume de Qin.
