Namespaces
Variants
Actions

Verification

From Encyclopedia of Mathematics
Revision as of 17:11, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

The process of checking the truth of a proposition. In a more narrow sense it concerns the truth of special kinds of formulas in some logico-mathematical language.

How to Cite This Entry:
Verification. A.G. Dragalin (originator), Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Verification&oldid=15114
This text originally appeared in Encyclopedia of Mathematics - ISBN 1402006098
Retrieved from "https://encyclopediaofmath.org/index.php?title=Verification&oldid=15114"