1. (Automobile) Désigne une catégorie de voiture de sport automobile.
La Formule 1 est souvent considérée comme la catégorie reine du sport automobile.
2. (Médecine) Recette pharmaceutique, ordonnance de médecin, rédigée conformément aux règles et dans un langage spécial.'
Potion, collyre, etc., suivant la formule.
On use dans les formules de certains caractères, de certaines abréviations pour désigner les médicaments, leur dose, leurs poids, etc.
3. Expression rigoureuse et condensée en termes qui définissent une idée, une doctrine, une croyance, un sophisme, une opération, un ensemble d'opérations.
La doctrine mercantiliste, sur les relations entre économie et politique des nations, a pour point de départ, pour principe la formule célèbre : « L'argent est le nerf de la guerre. » (Raymond Aron, Paix et Guerre entre les nations, p.249, Calman-Lévy, 1962)
L'accueil ne variait point, Mme Bavoil le saluait par l'invariable formule : « voilà notre ami », tandis que le prêtre riait des yeux et lui pressait la main. (Joris-Karl Huysmans, La Cathédrale, Plon-Nourrit, 1915)
4. (Droit) Modèle qui contient les termes formels et exprès dans lesquels un acte est conçu ou doit être conçu.
Il trouvait aux Archives, non pas seulement les papiers administratifs des derniers siècles, mais les chartes du moyen âge. Il les fallait lire, il en fallait déchiffrer l'écriture, distinguer les formules, déterminer les dates, [?]. (Henri Wallon, Notice sur la vie et les travaux de M. Joseph-Natalis de Wailly, membre de l'Académie des Inscriptions et Belles-Lettres, dans les Comptes rendus des séances de l'Académie des Inscriptions et Belles-Lettres, 1888, vol.32, n°6, p. 556)
5. (Politique) (Diplomatie) Expression, en termes brefs, d'une solution ou d'un projet de solution tenant compte de tous les intérêts en présence.
6. (Mathématiques) Nom donné à certaines égalités ou inégalités remarquables.
Une formule mathématique ne devrait jamais être la « propriété » de qui que ce soit ! (Donald Knuth, Digital Typography)
Il n'y a pas lieu de rechercher en ce cas, des procédés de calcul spéciaux pour l'application de ces formules si simples. (Agenda Lumière 1930, Paris : Société Lumière & librairie Gauthier-Villars, p.121)
7. (En particulier) (Algèbre) Ensemble de termes algébriques qui compose l'expression la plus générale d'un résultat de calcul.
Formule différentielle. ? Formule intégrale.
8. (Informatique) Expression mathématique contenue dans une cellule de feuille de calcul, en principe introduite par le signe =.
9. (Médecine) Recette pharmaceutique, ordonnance de médecin, rédigée conformément aux règles et dans un langage spécial.
On a donné plusieurs formules d'alunage, soit à l'aide de l'alun de potasse, soit à l'aide de l'alun de chrome : [?]. (Agenda Lumière 1930, Paris : Société Lumière & librairie Gauthier-Villars, p.226)
Les arômes contribuent à rendre le produit agréable au palais, ce qui dépend essentiellement de la présence de produits laitiers ou de la matière édulcorante dans la formule. (Germain Ménard & al. ; La biscuiterie industrielle, dans Le Blé : éléments fondamentaux et transformation, coordonné par Armand Boudreau & Germain Ménard, Presses de l'Université de Laval, 1992, p.305)
10. (Chimie) Abréviations convenues dont on se sert pour indiquer la composition atomique des corps.
CH4 est la formule chimique brute du méthane.
11. (Plus courant) Façon de s'exprimer dont on se sert habituellement dans les diverses relations de la vie.
Des formules de politesse. ? Laissons de côté ces vaines formules et parlons clairement.
Le large éventail parémiologique de cet ouvrage témoigne d'un fait évident : les proverbes coexistent avec d'autres énoncés et formules sentencieuses. Il faut en définir la nature et les distinguer des proverbes. (Julia Sevilla Munoz, Les proverbes et phrases proverbiales français, et leurs équivalences en espagnol, ?2000, dans Langages, 34e année, n°139, (2000), La parole proverbiale, p.100)
12. En logique et en mathématiques, une formule est une suite finie d'objets, dotée de propriétés particulières qui rendent possible la syntaxe dans tous ces domaines.
13. En logique on dit d'une suite finie de lettres qu'elle est une formule, ou parfois formule bien formée, d'un langage logique donné lorsqu'elle peut être construite en appliquant une combinaison des règles de la grammaire formelle associée, on parle de la syntaxe du langage. Informellement les formules sont les assemblages de lettres auxquels il est possible de donner une signification en termes de valeur de vérité (Vrai, ou Faux). Les formules logiques sont l'équivalent des phrases du langage naturel.
14. Expression concise et précise utilisée pour décrire une idée, une doctrine, une croyance ou un procédé.
L'accueil ne variait point, Mme Bavoil le saluait par l'invariable formule : « voilà notre ami », tandis que le prêtre riait des yeux et lui pressait la main. - Joris-Karl Huysmans, La Cathédrale
15. (Droit) Modèle prescrit contenant les termes exacts nécessaires à la rédaction formelle d'un acte juridique.
Il trouvait aux Archives, non pas seulement les papiers administratifs des derniers siècles, mais les chartes du moyen âge. Il les fallait lire, il en fallait déchiffrer l'écriture, distinguer les formules, déterminer les dates, [...]. - Henri Wallon, Notice sur la vie et les travaux de M. Joseph-Natalis de Wailly
16. (Mathématiques) Égalité ou inégalité remarquable servant à résoudre certaines opérations mathématiques spécifiques.
Il n'y a pas lieu de rechercher en ce cas des procédés de calcul spéciaux pour l'application de ces formules si simples. - Agenda Lumière 193 , Paris : Société Lumière & librairie Gauthier-Villars
17. (Algèbre) Ensemble d'expressions algébriques représentant un résultat généralisé d'une opération calculatoire.
Les deux officiers avaient trouvé plusieurs clés USB ainsi que trois disques durs externes et des brouillons deformules mathematiques certainement le fruit des recherches du defunt chercheur. - Mirabelle C.Vomscheid, Meurtres a la Pépinière.
18. (Médecine) Prescription médicale écrite selon un langage spécialisé respectant règles établies.
Les arômes contribuent à rendre le produit agréable au palais ce qui depend essentiellement dela présence de produits laitiers oude lamatière édulcorante danslaformule. - Germain Ménardetal., LaBiscuiterie industrielle.
19. (Cuisine) Ensemble des instructions et ingrédients nécessaires à la préparation d'un plat.
La formule du pain perdu s'inspirerait-elle des deux recettes d'Aliter dulcia données par Apicius ? sous le règne de Tibère ? N'y manquent que les oeufs. - Annie Perrier-Robert, Dictionnaire de la gourmandise : Pâtisseries
20. (Chimie) Représentation symbolique de la composition atomique d'une molécule ou d'un composé chimique.
21. (Diplomatie, Politique) Formulation concise proposant une solution ou un projet prenant en compte l'équilibre des intérêts divers.
22. (Langage courant) Tournure verbale répétitive utilisée dans les interactions sociales habituelles.
Le large éventail parémiologique de cet ouvrage témoigne d'un fait évident : les proverbes coexistent avec d'autres énoncés et formules sentencieuses. Il faut en définir la nature et les distinguer des proverbes. - Julia Sevilla Munoz, Les proverbes et phrases proverbiales français
23. (Sport automobile) Catégorie spécifique destinée aux voitures de course conçues selon un ensemble précis de règles techniques.
24. (Informatique) Séquence d'opérations mathématiques spécifiée dans une cellule de tableur, généralement précédée du signe égal.
|
|
1. Ensuite on définit récursivement un terme comme
2. Dans tout ensemble de formules, la relation binaire « F est une sous-formule de G » est une relation d'ordre : réflexive, antisymétrique et transitive.
3. En logique et en mathématiques, une formule est une suite finie d'objets, dotée de propriétés particulières qui rendent possible la syntaxe dans tous ces domaines.
|
