Semainevignette|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 derniervignette|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.
Détermination du jour de la semaineLa 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 .
Vraie Croixvignette|upright=1.2|Staurothèque byzantine du début du . La Vraie Croix, dite également Sainte Croix, serait la croix sur laquelle Jésus-Christ a été crucifié. Selon une tradition chrétienne qui remonte à la fin du , c'est la mère de l'empereur Constantin , l'impératrice Hélène, qui aurait découvert la Croix de Jésus ainsi que celles des deux larrons, lors d’un pèlerinage en Palestine entrepris en 326. Ce récit central de la légende constantinienne lance le culte de la « Vraie Croix » qui devient dès lors l'une des principales reliques de la Chrétienté, faisant l'objet d'une vénération particulière.
Connecteur logiqueEn logique, un connecteur logique est un opérateur booléen utilisé dans le calcul des propositions. Comme dans toute approche logique, il faut distinguer un aspect syntaxique et un aspect sémantique. D'un point de vue syntaxique, les connecteurs sont des opérateurs dans un langage formel pour lesquels un certain nombre de règles définissent leur usage, au besoin complétées par une sémantique. Si l'on se place dans la logique classique, l'interprétation des variables se fait dans les booléens ou dans une extension multivalente de ceux-ci.
Afficher plus