Algorithme de rechercheEn informatique, un algorithme de recherche est un type d'algorithme qui, pour un domaine, un problème de ce domaine et des critères donnés, retourne en résultat un ensemble de solutions répondant au problème. Supposons que l'ensemble de ses entrées soit divisible en sous-ensemble, par rapport à un critère donné, qui peut être, par exemple, une relation d'ordre. De façon générale, un tel algorithme vérifie un certain nombre de ces entrées et retourne en sortie une ou plusieurs des entrées visées.
Algorithme de triUn algorithme de tri est, en informatique ou en mathématiques, un algorithme qui permet d'organiser une collection d'objets selon une relation d'ordre déterminée. Les objets à trier sont des éléments d'un ensemble muni d'un ordre total. Il est par exemple fréquent de trier des entiers selon la relation d'ordre usuelle « est inférieur ou égal à ». Les algorithmes de tri sont utilisés dans de très nombreuses situations. Ils sont en particulier utiles à de nombreux algorithmes plus complexes dont certains algorithmes de recherche, comme la recherche dichotomique.
Temps sidéralLe temps sidéral est à un instant et en un lieu donné l'angle horaire du point vernal. Malgré son appellation, c'est bien un angle (notion géométrique), à ne pas confondre avec le Jour sidéral ou encore l'heure sidérale locale, qui sont bien des notions temporelles. Par définition, le temps sidéral est nul lorsque le plan méridien du lieu considéré passe au point vernal, et il augmente d'une heure sidérale à chaque fois que la Terre tourne de 15° par rapport au point vernal.
