First-order logic, also called predicate logic, predicate calculus, or quantificational logic, is a collection of formal systems used in mathematics,...
93 KB (12,955 words) - 19:02, 17 June 2025
The First Order is a fictional military movement and rump state in the Star Wars franchise, introduced in the 2015 film The Force Awakens. It is formed...
32 KB (4,099 words) - 02:53, 22 June 2025
Look up first-order in Wiktionary, the free dictionary. In mathematics and other formal sciences, first-order or first order most often means either: "linear"...
3 KB (398 words) - 16:20, 20 May 2025
mathematical logic, a first-order predicate is a predicate that takes only individual(s) constants or variables as argument(s). Compare second-order predicate and...
935 bytes (99 words) - 20:44, 13 September 2021
word order refers to the highest power in the series expansion used in the approximation. The expressions: a zeroth-order approximation, a first-order approximation...
11 KB (1,677 words) - 09:24, 8 March 2025
a function as its result. All other functions are first-order functions. In mathematics higher-order functions are also termed operators or functionals...
24 KB (2,643 words) - 18:43, 23 March 2025
Derivative (redirect from First-order derivative expression)
adding additional prime marks. The higher order derivatives can be applied in physics; for example, while the first derivative of the position of a moving...
57 KB (7,280 words) - 04:41, 1 June 2025
Rate equation (redirect from First order reaction)
first order and second order reactions (or more often concurrent pseudo-first order and second order) reactions, and can be described as mixed first and...
44 KB (7,578 words) - 06:10, 25 May 2025
special titled Fate/Grand Order: First Order (Japanese: フェイト/グランドオーダー -First Order-, Hepburn: Feito/Gurando Ōdā -First Order-) aired on 31 December 2016...
61 KB (5,812 words) - 14:30, 31 May 2025
Phase transition (redirect from First order phase transition)
respect to pressure. Second-order phase transitions are continuous in the first derivative (the order parameter, which is the first derivative of the free...
54 KB (6,704 words) - 02:40, 19 June 2025
higher-order volitions determined the primacy of first-order desires. This view is called compatibilism. An example for a failure to follow higher-order volitions...
3 KB (485 words) - 08:37, 29 January 2025
In microeconomics and contract theory, the first-order approach is a simplifying assumption used to solve models with a principal-agent problem. It suggests...
6 KB (634 words) - 23:59, 19 June 2025
In first-order logic, a first-order theory is given by a set of axioms in some language. This entry lists some of the more common examples used in model...
36 KB (5,269 words) - 20:51, 27 December 2024
Fresnel lens (redirect from First order Fresnel lens)
classified as first through sixth order. An intermediate size between third and fourth order was added later, as well as sizes above first order and below...
60 KB (6,847 words) - 18:44, 24 May 2025
The Order of Friars Minor (commonly called the Franciscans, the Franciscan Order, or the Seraphic Order; postnominal abbreviation OFM) is a mendicant...
73 KB (8,224 words) - 12:27, 22 June 2025
Derivative test (redirect from First Order Condition)
second-order derivative test. As shown below, the second-derivative test is mathematically identical to the special case of n = 1 in the higher-order derivative...
13 KB (1,998 words) - 08:36, 5 June 2025
a first-order reduction is a very strong type of reduction between two computational problems in computational complexity theory. A first-order reduction...
1 KB (147 words) - 13:37, 15 November 2021
although note that any ODE of order greater than one can be (and usually is) rewritten as system of ODEs of first order, which makes the Jacobian singularity...
44 KB (5,187 words) - 16:53, 2 June 2025
Look up order or Order in Wiktionary, the free dictionary. Order, ORDER or Orders may refer to: A socio-political or established or existing order, e.g....
7 KB (943 words) - 13:58, 21 March 2025
The first-order reliability method, (FORM), is a semi-probabilistic reliability analysis method devised to evaluate the reliability of a system. The accuracy...
2 KB (267 words) - 20:33, 4 July 2024
Franciscans (redirect from Franciscan Order in modern times)
(the Order of Friars Minor being the largest contemporary male order), an order for nuns known as the Order of Saint Clare, and the Third Order of Saint...
95 KB (11,177 words) - 11:47, 24 June 2025
Tree traversal (redirect from Pre-order traversal)
There are three common ways to traverse them in depth-first order: in-order, pre-order and post-order. Beyond these basic traversals, various more complex...
26 KB (2,894 words) - 19:29, 14 May 2025
Monadic predicate calculus (redirect from Monadic first-order logic of order)
the monadic predicate calculus (also called monadic first-order logic) is the fragment of first-order logic in which all relation symbols[clarification...
6 KB (698 words) - 23:03, 22 February 2025
First-order hold (FOH) is a mathematical model of the practical reconstruction of sampled signals that could be done by a conventional digital-to-analog...
9 KB (957 words) - 06:19, 5 November 2022
mathematics, second-order logic is an extension of first-order logic, which itself is an extension of propositional logic. Second-order logic is in turn...
32 KB (4,502 words) - 01:10, 13 April 2025
Linear differential equation (redirect from First-order nonhomogeneous linear differential equation)
can be converted into a first order system of linear differential equations by adding variables for all but the highest order derivatives. That is, if...
30 KB (4,754 words) - 00:20, 21 June 2025
Resolution (logic) (redirect from First-order resolution)
refutation-complete theorem-proving technique for sentences in propositional logic and first-order logic. For propositional logic, systematically applying the resolution...
28 KB (4,063 words) - 20:45, 28 May 2025
Perturbation theory (redirect from First-order non-singular perturbation theory)
truncating the series, often keeping only the first two terms, the solution to the known problem and the 'first order' perturbation correction. Perturbation...
22 KB (2,959 words) - 12:02, 24 May 2025
Low-pass filter (section First-order passive)
current source. A first-order RL circuit is composed of one resistor and one inductor and is the simplest type of RL circuit. A first-order RL circuit is...
32 KB (4,696 words) - 20:25, 28 February 2025
n^{(1)}\right\rangle =0.} To obtain the first-order correction to the energy eigenstate, the expression for the first-order energy correction is inserted back...
70 KB (15,991 words) - 17:43, 25 May 2025