ВЕРИФИКАЦИЯ

ВЕРИФИКАЦИЯ - процесс проверки истинности суждений. В более узком смысле - процесс проверки истинности формул специального вида нек-рого логико-математич. языка.

А. Г. Драгалин.

Источники:

1. Математическая Энциклопедия. Т. 1 (А - Г). Ред. коллегия: И. М. Виноградов (глав ред) [и др.] - М., «Советская Энциклопедия», 1977, 1152 стб. с илл.