Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Sans titre

Source officielle

https://mediaspace.epfl.ch/media/0_jaf4rguu

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Concepts associés (16)

Μ operator

In 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 Mars

La 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écursive

En 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 2

est 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.

Afficher plus