first-order


Also found in: Dictionary, Wikipedia.

first-order

Not higher-order.
References in periodicals archive ?
where o is Amy, R is the relation expressed by 'remembers', and p is the propositional contribution of 'the proposition that first-order logic is undecidable' and q is the propositional contribution of 'that first-order logic is undecidable').
Hintikka points out that the games associated with ordinary first-order (or higher-order) sentences assume perfect information in the sense that at each step, the relevant player knows all previous moves and choices.
As Confucius is reputed to have said, "The only real fault is not to change one's faults,"[2] a criticism of those stuck in first-order change.
He covers essentials of linear algebra, scalar first-order linear differential equations, systems of first-order linear differential equations, scalar higher-order linear differential equations, discontinuous forcing and the Laplace transform, and odds and ends.
Bergmann (computer science emerita, Smith College) then reviews classical propositional logic, including its language and semantics, and the language and semantics of first-order logic.
Using very weak assumptions (too weak to establish the compactness of first-order logical consequence) one can prove a Noncompossibility Theorem.
In this important book Gila Sher pushes to its utmost limit the Tarskian model-theoretic semantics of first-order logic.
It discusses the idea of symmetry and how these symmetries can leave objects invariant; symmetries of ordinary differential equations, focusing on standard techniques for integrating first-order linear, Bernoulli, homogeneous, exact, and Riccati equations, as well as second-order and higher order equations and systems of ordinary differential equations; partial differential equations, both first-order and second-order, and the heat equation with a source term and higher order partial differential equations and systems; and the non-classical method and its connection with compatibility.
Using step-by-step examples he covers differential equations, first-order ordinary differential equations, linear second-order and systems of first-order differential equations, Sturm-Liouville problems, Fourier series and integrals, partial differential equations, applications of partial differential equations in chemical engineering, dimensional analysis and scaling of boundary value problems, selected numerical methods and available software packages.
of Michigan) covers modern mathematical logic from propositional, first-order and infinitary logic and Godel's incompleteness theorems, leading to introductions to set theory, model theory and recursion (computability) theory.
Beck provides a self-contained comprehensive study of the main first-order methods that are frequently used in solving large-scale optimization problems.
First, politics--as I shall be using the term--is the process of deciding what a group, or a part thereof, should do based on first-order practical reasons.