- provers
- Программы
Большой англо-русский и русско-английский словарь. 2001.
provers
Смотреть что такое "provers" в других словарях:
provers — n. one who verifies by giving evidence, one who demonstrates … English contemporary dictionary
Gas meter prover — A Gas Meter Prover is a piece of equipment used to verify the accuracy of a gas meter. Presently, gas meter provers (or more simply “provers”) refer to manually or electronic and/or computer controlled equipment used to calculate accuracy of a… … Wikipedia
Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… … Wikipedia
Hierarchical classifier — A hierarchical classifier is a method of classifying inputs into defined output categories. The classification occurs first on a low level with highly specific pieces of input data. The classifications of the individual pieces of data are then… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia
Interactive proof system — In computational complexity theory, an interactive proof system is an abstract machine that models computation as the exchange of messages between two parties. The parties, the verifier and the prover, interact by exchanging messages in order to… … Wikipedia
Automated reasoning — is an area of computer science dedicated to understand different aspects of reasoning. The study in automated reasoning helps produce software which allows computers to reason completely, or nearly completely, automatically. Although automated… … Wikipedia
Lean theorem prover — A lean theorem prover is an automated theorem prover implemented in a minimum amount of code. Lean provers are generallyfact|date=December 2007 implemented in Prolog, and make proficient use of the backtracking engine and logic variables of that… … Wikipedia
Custody transfer — in the oil and gas industry refers to the transactions involving transporting physical substance from one operator to another. This includes the transferring of raw and refined petroleum between tanks and tankers; tankers and ships and other… … Wikipedia
Presburger arithmetic — is the first order theory of the natural numbers with addition, named in honor of Mojżesz Presburger, who published it in 1929. It is not as powerful as Peano arithmetic because it omits multiplication.OverviewThe language of Presburger… … Wikipedia
