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.
Le jour julien est un système de datation consistant à compter le nombre de jours et fraction de jour écoulés depuis une date conventionnelle fixée au janvier de l'an 4713 av. J.-C. (= -4712) à 12 heures temps universel. La période julienne de Scaliger est une ère fictive de que Joseph-Juste Scaliger (-) a proposée en . Elle débute le lundi, de l'an à . Elle s'achèvera le lundi, du calendrier julien à . Le terme de « jour julien » est également employé par le CNES et la NASA pour dater divers événements.
vignette|Notation de l'ensemble vide. En mathématiques, l'ensemble vide est l'ensemble ne contenant aucun élément. L'ensemble vide peut être noté d'un O barré, à savoir ∅ ou simplement { }, qui est une paire d'accolades ne contenant qu'une espace, pour représenter un ensemble qui ne contient rien. La notation ∅ a été introduite par André Weil, dans le cadre de l'institution de notations par le groupe Bourbaki. Von Neumann dans son article de 1923, qui est l'une des premières références qui l'aborde, le note O.
In logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
Le calendrier julien est un calendrier solaire utilisé dans la Rome antique, introduit par Jules César en pour remplacer le calendrier romain républicain. Il a été employé en Europe jusqu'à son remplacement par le calendrier grégorien à la fin du . Il reste utilisé dans la République monastique du Mont-Athos, ainsi que par cinq Églises orthodoxes : les Églises orthodoxes de Jérusalem, de Russie, de Géorgie, de Serbie, d'Ukraine, deux Églises orthodoxes non reconnues par le synode : les Églises orthodoxes de Macédoine et du Monténégro, et marginalement par plusieurs régions du Maghreb, surtout Berbères, en Afrique du Nord, et dans le calendrier rûmi en Turquie.
vignette|Ensemble de polygones dans un diagramme d'Euler En mathématiques, un ensemble désigne intuitivement un rassemblement d’objets distincts (les éléments de l'ensemble), « une multitude qui peut être comprise comme une totalité » pour paraphraser Georg Cantor qui est à l'origine de la théorie des ensembles. Dans une approche axiomatique, la théorie des ensembles est une théorie de l'appartenance (un élément d'un ensemble est dit « appartenir » à cet ensemble).
Couvre les concepts d'homéomorphismes locaux et de couvertures en multiples, en mettant l'accent sur les conditions dans lesquelles une carte est considérée comme un homéomorphisme local ou une couverture.