swMATH ID: 2881
Software Authors: Vityaev, E.E.; Moskvitin, A.A.
Description: 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.
Homepage: http://www.math.nsc.ru/AP/ScientificDiscovery/pages/Vityaev.html
Keywords: theory of discoveries
Related Software:
Referenced in: 1 Publication

Referenced in 1 Serial

1 Vychislitel’nye Sistemy

Referenced in 1 Field

1 Computer science (68-XX)

Referencing Publications by Year