Sentence examples similar to ordered formula from inspiring English sources

One of our methods then reduces the problem of determining the existence of Hopf bifurcation fixed points to a first-order formula over the ordered field of the reals that can be solved using computational logic packages.

That is a cold, hard reality of the plot-driven "Law and Order" formula: the no-nonsense boss advances the narrative by sending the investigation in new directions.

"Conviction," a new crime series created by Dick Wolf, takes the romantic entanglements of prosecutors quite seriously, which in itself is evidence of how far this drama veers from the familiar "Law & Order" formula.

This new series reworks the "Law and Order" formula a bit, giving over the first part of the hour to a point of view that has not been emphasized in the other series: the perpetrator's.

Under the direction of John Collins, "Arguendo" holds on to the chaos-out-of-order formula that characterized the Elevator Repair Service's improbably successful verbatim adaptations of "The Sun Also Rises," "The Sound and the Fury" and "The Great Gatsby," which was called "Gatz" and was a megahit at the Public a few years ago.

A first order formula is a quantified Boolean combination of relational terms.

asserting that every second order formula, with parameters, defines a set.

The skolemization sk of an IFL formula φ is a first-order formula of a larger vocabulary.

This sentence is Σ-1-1, that is, it has the form [existential second-order quantifiers] [first-order formula].

Numerical experiments on boundary value problems show that the proposed fourth-order formula can be much more accurate and efficient than a simple second-order formula.

An expression of our language is either a first-order formula or one of the symbols listed above under (ii).