# DISCOVERY

Introduction into the Theory of Discoveries. The program system DISCOVERY A methodological attempt is done to create a general formal Theory of Discoveries. General reasonings about approaches to the obtaining discoveries are discussed and a method of discovering a full set of regularities on samples from empirical systems based on the language of the first order logic is elaborated. Program system DISCOVERY based on a given method is described. A simple testing example is presented.par The work is descriptive and does not contain mathematical or algorithmic results.

## References in zbMATH (referenced in 1 article , 1 standard article )

Showing result 1 of 1.

Sorted by year (