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_1bjlwxey

À 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 (32)

Semaine

vignette|redresse=2|Calendrier de l'année 2022 avec numérotation des semaines selon la norme internationale ISO (du lundi au dimanche). Une semaine (du latin septimana : « semaine ») est une période de sept jours consécutifs. L'adjectif français associé est « hebdomadaire ». Substantivé (utilisé comme nom), le mot désigne une publication paraissant chaque semaine. Trois problématiques sont distinctes : le nombre sept, les noms des jours et leur ordre. Ces trois thèmes sont étudiés dans des articles détaillés.

Algorithme du jour du Jugement dernier

vignette|John H Conway en 2005 L’algorithme de jour du Jugement dernier, ou méthode des jours pivots, ou méthode du clavedi, ou enfin méthode de Conway (à distinguer de la méthode de Conway pour le calcul de la date de Pâques), Doomsday rule ou Doomsday algorithm, est une méthode de calcul du jour de la semaine à une date précise. Elle fournit un calendrier perpétuel pour le calendrier grégorien et pour le calendrier julien.

Noms des jours de la semaine

Les noms des jours de la semaine, dans les langues latines, tiennent leur origine des noms de divinités de la mythologie romaine. Les noms samedi et dimanche sont deux exceptions. Modifiés a posteriori, ils tiennent leur origine de la religion hébraïque pour le samedi et de la religion chrétienne pour le dimanche. Samedi et dimanche sont venus remplacer les jours dédiés aux dieux Saturne et Soleil. On retrouve la trace de l'ancienne terminologie païenne dans les langues germaniques (Saturday et Sunday/Sonntag).

Détermination du jour de la semaine

La détermination du jour de la semaine est un algorithme utilisé pour déterminer le jour de la semaine (lundi, mardi, mercredi, jeudi, vendredi, samedi, ou dimanche) connaissant la date, basé sur la notion mathématique de congruence. Il est aussi appelé congruence de Zeller, du mathématicien allemand Christian Zeller. L'année tropique moyenne (qui est désormais définie comme étant le temps nécessaire pour que la longitude écliptique du Soleil augmente de 360° – et non plus comme étant le temps séparant deux équinoxes de printemps successifs), donnée pour l'an 2000 par Pierre Bretagnon, astronome à l'Observatoire de Paris, compte , , et , soit .

Inférence de types

L'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.

Afficher plus

Séances de cours associées (16)

Sans titre

Bits quantiques : illustrations et postulats

Explore des bits quantiques, y compris des illustrations, des postulats et des exemples de systèmes quantiques et d'espace Hilbert.

Fondements de Scala: Modélisation et Systèmes de Type

Couvre les fondements de Scala, y compris la modélisation des types récursifs, des types paramétrés et de la variance.

Rechercher Algorithmes: Raisons Abductives

Explore le raisonnement abducteur, les algorithmes de recherche et la recherche heuristique pour la résolution de problèmes.

Type Systems: Règles de conservation et de dactylographie

Couvre la préservation, la substitution, l'affaiblissement et le séquençage dans les systèmes de type.

Afficher plus

Concepts associés (32)

Semaine

Algorithme du jour du Jugement dernier

Noms des jours de la semaine

Détermination du jour de la semaine

Inférence de types

Afficher plus