FoliotUn foliot est un balancier vertical utilisé dans les premières horloges au . Son principe : un poids suspendu à une corde fournit de l'énergie à la machine tandis qu'un système de verge et de foliot interrompt régulièrement la chute du poids. La position des masses placées sur chaque extrémité du foliot permet de régler le rythme du va-et-vient : la fréquence devient harmonique sous le phénomène du « moment d'inertie » (pendule de torsion, énergie cinétique), comme le fait le pendule d'une horloge à balancier.
Échappement (horlogerie)Dans les horloges et les montres mécaniques, l'échappement est un mécanisme placé entre la source d'énergie (ressort, poids, etc.) et le résonateur (Pendule, balancier-spiral, etc.). C'est le mécanisme qui provoque le « battement » sonore (tic-tac) de ces systèmes mécaniques, parce que l'énergie qui y est dissipée l'est normalement sous forme de chocs et d'ondes sonores. Dans l'histoire de la technologie, l'échappement est l'invention clé qui a rendu possible l'horloge entièrement mécanique.
Pendule (horloge)vignette|Pendule de bois. Une pendule, au féminin, est une horloge de moyenne taille fonctionnant grâce à un pendule. Un pendule, au masculin, est le balancier d'un tel mécanisme. Leur force motrice est généralement des ressorts. Une horloge (du grec hôra : heure ; et legein = logo : dire - parler) est un dispositif indiquant l'heure (ex. : horloge à eau, horloge à poids, horloge d'édifice...). Un mécanisme de grande ou très grande taille sera plutôt appelé horloge (même s'il est équipé d'un pendule) (ex.
Chronomètre de marineUn chronomètre de marine, appelé aussi montre de marine, est une horloge suffisamment précise pour être utilisée comme une base de temps portable, y compris sur un véhicule en mouvement. Le développement de ces instruments au cours du constitua une avancée technologique majeure, car la connaissance précise de l'heure durant un voyage au long cours était nécessaire à la navigation astronomique pour pouvoir déterminer la longitude.
Horloge300px|vignette|Le Gros-Horloge de Rouen, horloge astronomique (Époque Renaissance). Une horloge est un instrument de mesure du temps qui généralement indique l'heure en continu. Le mot vient du latin , « qui dit l’heure », lui-même dérivé du grec ὡρολόγιον (formé à partir de oρα, « l'heure », et de λέγειν, « dire », λόγιον, « le dire »). Depuis l'Antiquité, le terme latin « horologium » désigne tout instrument susceptible d'indiquer l'heure, ce qui a mené bien souvent à des difficultés d'interprétation des textes anciens.
Pendule (physique)En physique, le pendule est un système oscillant qui, écarté de sa position d'équilibre, y retourne en décrivant des oscillations, sous l'effet d'une force, par exemple le poids d'une masse. Le mot pendule (nom masculin), dû à Huygens, vient du latin pendere. Le pendule de Foucault est l'un des plus connus. Par ailleurs, le mot « pendule » est souvent utilisé en synonyme de « pendule simple », même si son mouvement n'est plus « pendulaire » (on parle ainsi de pendule conique).
Histoire des sciencesL'histoire des sciences est l’étude de l'évolution de la connaissance scientifique. La science, en tant que corpus de connaissances, mais également comme manière d'aborder et de comprendre le monde, s'est constituée progressivement depuis plusieurs millénaires. C'est aux époques protohistoriques qu'ont commencé à se développer les spéculations intellectuelles visant à élucider les mystères de l'univers. L'histoire des sciences est une discipline qui étudie le mouvement progressif de transformation de ces spéculations et l'accumulation des connaissances qui l'accompagne.
Horloge hydrauliquevignette|Horloge hydraulique de Ctésibios () , d'après Claude Perrault ((). Une horloge hydraulique est une horloge d'un ancien type, qui permet d'indiquer l'heure à partir de l'écoulement, à travers un petit orifice, d'un liquide contenu dans un récipient. Dès l'origine, dans l'Antiquité, le liquide employé est l'eau, d'où quelquefois l'appellation « horloge à eau ». Plus tard on a pu trouver des horloges à mercure, notamment dans les écrits arabes ou chinois, mais le fait est anecdotique semble-t-il.
Langage formelUn langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots. L'alphabet d'un langage formel est l'ensemble des symboles, lettres ou lexèmes qui servent à construire les mots du langage ; souvent, on suppose que cet alphabet est fini. La théorie des langages formels a pour objectif de décrire les langages formels. Les mots sont des suites d'éléments de cet alphabet ; les mots qui appartiennent à un langage formel particulier sont parfois appelés mots bien formés ou formules bien formées.
Système formelUn système formel est une modélisation mathématique d'un langage en général spécialisé. Les éléments linguistiques, mots, phrases, discours, etc., sont représentés par des objets finis (entiers, suites, arbres ou graphes finis...). Le propre d'un système formel est que la correction au sens grammatical de ses éléments est vérifiable algorithmiquement, c'est-à-dire que ceux-ci forment un ensemble récursif.
