definition

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  features  of  the  concept  of  behavior  essential  content  of  which  is  at  the  present  stage 
of  transformation  of  society  is  revealed  through  the  following  categories  and  concepts  like 
«man»,  «society»,  «activity»,  «public»  and  «industrial  relations»,  «social  life»,  «personality» 
etc.  The  behavior  is  considered  as  a  set  of  successive  works  or  system  of  human  action  as 
practical,  real  or  realized  the  effect  that,  first,  there  is  a  kind  of  behavior,  meaningful  set  of 

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.

As a result of the executed research a sources of paradoxes type of sorites are revealed. It is offered to bring in definitions of words with the semantics of the vagueness the information which will interfere creating of paradoxes of type of sorites. It is proposed to clarify the definition of concept of “a heap”.

Different ways of formulating definitions have been analyzed in order to find the way that will ensure the correctness of definitions in accordance with the purposes of a monolingual dictionary (to provide a set of unique features in order to distinguish the marked object from other similar objects; to give the most significant features of the object to meet the cognitive needs of a human; the perspicuity of a concept definition for its easy understanding by non-specialists in the given area of expertise).

The necessity of improving a number of statements in ISO 704 third edition concerning concept relations, nature of definitions, types of definitions, rules of formulating definitions and deficient definitions is justified.

The features of the concept of behavior essential content of which is at the present stage of transformation of society is revealed through the following categories and concepts like “man”, “society”, “activity”, “public” and “industrial relations”, “social life”, “personality” etc. The behavior is considered as a set of successive works or system of human action as practical, real or realized the effect that, first, there is a kind of behavior, meaningful set of works.