Univers observableL'Univers observable est, en cosmologie, la partie visible de notre Univers. Il est donc une boule dont la limite est située à l'horizon cosmologique et dont la Terre constitue le centre. C'est ainsi une notion relative, d'autres observateurs situés ailleurs dans l'Univers n'ont pas la même boule observable, mais une similaire de même rayon.
Forme de l'Universthumb|Les trois formes possibles de l'Univers (voir l'article courbure spatiale). Le modèle le plus probable en 2016 est celui de l'Univers plat. Le terme "forme de l'Univers", en cosmologie, désigne généralement soit la forme (la courbure et la topologie) d'une section spatiale de l'Univers (« forme de l'espace-temps »), soit, de façon plus générale, la forme de l'espace-temps tout entier. Selon les observations astronomiques, l'Univers apparaît plat, avec toutefois une marge d'erreur de 0,4 %.
Universvignette|redresse=1.8|Représentation à l'échelle logarithmique de l'Univers observable. Au centre figure le Système solaire et, à mesure qu'on s'en éloigne, les étoiles proches, le bras de Persée, la Voie lactée, les galaxies proches, le réseau des structures à grande échelle, le fond diffus cosmologique et, à la périphérie, le plasma invisible du Big Bang. L'Univers, au sens cosmologique, est l'ensemble de tout ce qui existe, décrit à partir d'observations scientifiques et régi par des lois physiques.
Énergie noirevignette|redresse=1.1|Répartition de la densité d'énergie de l'Univers après exploitation des premières données obtenues par le satellite Planck. L'énergie noire en serait la composante principale. En cosmologie, lénergie noire ou énergie sombre (dark energy) est une forme d'énergie hypothétique remplissant uniformément tout l'Univers et dotée d'une pression négative, elle se comporte comme une force gravitationnelle répulsive.
Expansion de l'Universdroite|redresse=1.2|vignette|L'expansion de l'Univers imagée par le gonflement d'un gâteau aux raisins. En cosmologie, l'expansion de l'Univers est le nom du phénomène qui voit à grande échelle les objets composant l'Univers (galaxies, amas...) s'éloigner les uns des autres. Cet écartement mutuel, que l'on pourrait prendre pour un mouvement des galaxies dans l'espace, s'interprète en réalité par un gonflement, une dilatation, de l'espace lui-même, les objets célestes étant de ce fait amenés à s'éloigner les uns des autres.
Histoire et chronologie de l'Universvignette|upright=1.5|Schéma simplifié des principales étapes de la formation de l'Univers.1- Big Bang.2- Ère de l'inflation.3- Découplage de l'interaction forte et faible et formation des particules.4- Formation des étoiles et galaxies. Lhistoire et la chronologie de l'Univers décrit l'évolution de l’Univers en s'appuyant sur le modèle standard de la cosmologie, fondé sur le modèle cosmologique du Big Bang et les recherches en cosmologie et en astronomie. Selon plusieurs estimations, l'âge de l'Univers serait d'environ d'années.
Matière noirevignette|redresse=1.1|Répartition de la densité d'énergie de l'Univers après exploitation des premières données du satellite Planck. La matière noire en est une des composantes principales. La matière noire ou matière sombre, est une catégorie de matière hypothétique, invoquée dans le cadre du Modèle ΛCDM pour rendre compte de certaines observations astrophysiques, notamment les estimations de la masse des galaxies ou des amas de galaxies et les propriétés des fluctuations du fond diffus cosmologique.
Algorithme de DijkstraEn théorie des graphes, l'algorithme de Dijkstra (prononcé ) sert à résoudre le problème du plus court chemin. Il permet, par exemple, de déterminer un plus court chemin pour se rendre d'une ville à une autre connaissant le réseau routier d'une région. Plus précisément, il calcule des plus courts chemins à partir d'une source vers tous les autres sommets dans un graphe orienté pondéré par des réels positifs. On peut aussi l'utiliser pour calculer un plus court chemin entre un sommet de départ et un sommet d'arrivée.
Futur d'un univers en expansionLes observations suggèrent que l’expansion de l’univers va se poursuivre à l’infini. Si tel est le cas, alors il existe une théorie populaire selon laquelle l’univers se refroidira en s’étendant, si bien qu’il deviendra trop froid pour assurer la vie. Pour cette raison, ce scénario futur est communément appelé le « Big Freeze ».
Méthode formelle (informatique)En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).
