Redko I. Theory of descriptive environments and its applications

Descriptive-entity approach for constructing of valid specification of entities is created and researched. The method of the essential relativization (MER) is the basis of this approach. On basis of OC-System conception the universal development environment of information-technological systems is created. Its basis is the descriptive environments of essences of various kinds of abstractions and generality. The researches of this work are based on the assemblage of general-methodological, logic-epistemological, logic-mathematical methods as pragmatic concrete definitions of MER. The basic results are the creation of general theory of descriptive environments; the creation of the basis of logic-epistemological, logic-mathematical and mathematical descriptive environments; the decision of the problem of the relativization and explication of the logic-epistemological systems and the proof of thesises of existentiality, universality, descriptivity, essentiality and existologicality; the explication of concepts of the existon, compound, composition and poliad and the proof of thesises of existonality, compoundality, compositionality and poliadality; the proofs of main thesis about correctness and completeness compound descriptivness environments and main theorem about correctness and descriptological completeness of these environments; the proofs of main thesis about correctness and completeness poliad descriptivness environments and main theorem about correctness and descriptological completeness of these environments; the proofs of main thesis about correctness and completeness programming environments and main theorem about correctness and descriptological completeness of these environments.