Information om | Engelska ordet EQUATIONAL

Exempel på hur man kan använda EQUATIONAL i en mening

• Cell division by mitosis is an equational division which gives rise to genetically identical cells in which the total number of chromosomes is maintained.
• After the operations have been specified, the nature of the algebra is further defined by axioms, which in universal algebra often take the form of identities, or equational laws.
• EQP (Equational prover) is an automated theorem proving program for equational logic, developed by the Mathematics and Computer Science Division of the Argonne National Laboratory.
• In contrast to most other current provers, the implementation actually uses a purely equational paradigm, and simulates non-equational inferences via appropriate equality inferences.
• The value-free style of FP is closely related to the equational logic of a cartesian-closed category.
• Admissibility in propositional logics is closely related to unification in the equational theory of modal or Heyting algebras.
• Note: An n-tuple of clause attributes is similar (but not the same) to the feature vector named by Stephan Schulz, PhD (see E equational theorem prover).
• The coherences of the whole enterprise is justified by Boole in what Stanley Burris has later called the "rule of 0s and 1s", which justifies the claim that uninterpretable terms cannot be the ultimate result of equational manipulations from meaningful starting formulae (Burris 2000).
• It can be seen as a generalization of either resolution (to equational logic) or unfailing completion (to full clausal logic).
• The problem with equational and predicative statement and question sentences in Woleaian is that you cannot differentiate between the question and statement based on how the words are arranged.
• Each of these three properties can be axiomatized with finitely many equations, whence these equations taken together constitute a finite axiomatization of the equational theory of Boolean algebras.
• This allows us to axiomatize the theory using inequalities yet still have a purely equational axiomatization when the inequalities are expanded to equalities.
• The equational basis for the variety of all CMMs consists of the axioms for commutative monoids, as well as the following axioms:.
• Examples of refutation-complete systems include: SLD resolution on Horn clauses, superposition on equational clausal first-order logic, Robinson's resolution on clause sets.
• Possible constituents can be the subject of an equational sentence (default), an extrasentential or a topicalized constituent:.
• Iteratees have been formally modelled as free monads, allowing equational laws to be validated, and employed to optimise programs using iteratees.

Förberedelsen av sidan tog: 331,03 ms.