Informatique théoriquevignette|Une représentation artistique d'une machine de Turing. Les machines de Turing sont un modèle de calcul. L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique. C'est une branche de la science informatique et la science formelle. Plus généralement, le terme est utilisé pour désigner des domaines ou sous-domaines de recherche centrés sur des vérités universelles (axiomes) en rapport avec l'informatique.
Complexité en tempsEn algorithmique, la complexité en temps est une mesure du temps utilisé par un algorithme, exprimé comme fonction de la taille de l'entrée. Le temps compte le nombre d'étapes de calcul avant d'arriver à un résultat. Habituellement, le temps correspondant à des entrées de taille n est le temps le plus long parmi les temps d’exécution des entrées de cette taille ; on parle de complexité dans le pire cas. Les études de complexité portent dans la majorité des cas sur le comportement asymptotique, lorsque la taille des entrées tend vers l'infini, et l'on utilise couramment les notations grand O de Landau.
Voyage dans le tempsLe voyage dans le temps est un des grands thèmes de la science-fiction, au point d’être considéré comme un genre à part entière. L’idée d’aller revivre le passé ou de découvrir à l’avance le futur est un rêve humain causé par le fait que l’être humain avance dans le temps de manière permanente, mais irréversible (et, à l’état de veille, apparemment de façon linéaire). La première mention d’un voyage dans le temps serait le personnage de Merlin l’Enchanteur dans le cycle arthurien des chevaliers de la Table ronde, qui visitait les temps passés.
Fuseau horaireUn fuseau horaire est une zone de la surface terrestre qui observe une heure uniforme en tout lieu. Pour des raisons pratiques, ces fuseaux ont tendance à suivre les frontières des pays ou de leurs subdivisions. Généralement, ils diffèrent du temps universel coordonné d'un nombre d'heures entiers, mais quelques-uns sont décalés de 30 ou 45 minutes. Aux latitudes élevées, certains pays font en plus usage d'une heure d'été pendant une partie de l'année, modifiant ainsi leur fuseau horaire.
Temps solaireOn distingue le temps solaire moyen et le temps solaire vrai. Le temps solaire moyen est fondé sur un soleil fictif qui se déplacerait autour de l'équateur à vitesse constante tout au long de l'année. Cette vitesse moyenne est d'un tour en 24 heures. Le temps solaire vrai est une mesure du temps basée sur le déplacement apparent du Soleil au cours de la journée. Le temps solaire vrai en un lieu et à un moment donné est l'angle horaire du soleil en ce lieu et à ce moment.
