Formulae

Some articles on formulae:

CTL* - Syntax
... The language of well-formed CTL* formulae is generated by the following unambiguous (wrt bracketing) context-free grammar where ranges over a set of atomic formulas ... Valid CTL*-formulae are built using the nonterminal ... These formulae are called state formulae, while those created by the symbol are called path formulae ...
Aristarchus On The Sizes And Distances - Lunar Eclipse
... The following formulae give the distances to the Sun and Moon in terrestrial units where θ is the apparent radius of the Moon and Sun measured in degrees ... It is unlikely that Aristarchus used these exact formulae, since he would have lacked a precise value for π ... These formulae are likely a good approximation to those of Aristarchus ...
Regular Category - Regular Logic and Regular Categories
... , where and are regular formulae i.e ... formulae built up from atomic formulae, the truth constant, binary meets and existential quantification ... Such formulae can be interpreted in a regular category, and the interpretation is a model of a sequent ...
Cosec(x) - Identities
... turn lead to the following three-angle formulae When the two angles are equal, the sum formulas reduce to simpler equations known as the double-angle formulae When three angles are equal, the three-angle ...
List Of Formulae Involving π
... The following is a list of significant formulae involving the mathematical constant π ... The list contains only formulae whose significance is established either in the article on the formula itself, the article on pi, or the one on numerical approximations of π ...

Famous quotes containing the word formulae:

    I don’t believe in providence and fate, as a technologist I am used to reckoning with the formulae of probability.
    Max Frisch (1911–1991)