proof system английский

Значение proof system значение

Что в английском языке означает proof system?

proof system существительное

— (logic) A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them.

Возможно, вы искали...

proof | system

proof sample | proof scheme | proof silver | proof spirit | proof stress | proof sheet | proof stick | proof surface | proof strength | proof sheet quality | proof of deposits | proof thread

Web Analytics Made Easy - StatCounter