означення

The existing, intuitive computation models, that is the virtual machines of Turing, Post, Kolmogorov, Schönhage, Aho-Ullman-Hopcroft as well as the algorithms of Markov and Krinitski, and the recursive functions, all lack precise, mathematical formulation. Consequently, an algebra of algorithms is defined using the axiomatic method. The algebra is based on the operations of sequencing, elimination, paralleling and reversing as well as cyclic sequencing, cyclic elimination and cyclic paralleling, all of them performed on the so-called uniterms.

Abstract. The main theoretical approaches to understanding the concept and essence of legal culture, its historical development and formation are revealed. The article considers certain definitions of legal culture, including in the branch of law and public administration, formulated by a number of scientists, who mainly focused on the following subject matters of legal culture: law itself, legal awareness, legal relations, law and order, legitimate activities of participants in public relations.

The principles of simplification/complication of definitions are analysed. It is proved structure of definitions without the generic terms available to children of preschool age. The principles of creation of the explanatory dictionary for children with different extent of cognitive development are proved.

The article deals with new version of the national standard DSTU ISO 860 “Terminology work. Harmonization of terms and concepts”. The changes of ISO 860 standard and the problems, which have arisen during its translation in Ukrainian, are analyzed.

The methods of definition construction are classified according to the information contained in them about relation of defined concept toward to the extension of contiguous concepts. The concepts are evaluated based on their informativeness and the number of words in them. Expediency of using different definitions is analysed for different aims. Drawn conclusion about expedience of the use of features of different definitions in planning of dictionaries constrution.