означення

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.

Обґрунтовано основні теоретичні підходи до розуміння поняття і суті правової культури, її історичного розвитку та формування. Розглянуто деякі дефініції правової культури, сформульовані науковцями, зокрема і в галузі права та публічного управління, які здебільшого акцентують увагу на такому змісті правової культури, як: саме право, правосвідомість, правові відносини, законність і правопорядок, правомірна діяльність учасників суспільних відносин.

Проаналізовано принципи спрощення/ускладнення виознак1 (дефініцій). Викладено структуру виознак без родових понять, які є доступними для дітей дошкільного віку. Обґрунтовано принципи укладання тлумачного словника для дітей із різним ступенем пізнавального розвитку.

У статті розглянуто розробляння нової редакції національного стандарту ДСТУ ISO 860 «Термінологічна робота. Гармонізування понять і термінів». Заналізовано зміни в міжнародному стандарті ISO 860:2007 і труднощі, які виникли під час його перекладу.

Скласифіковано способи побудови дефініцій відповідно до вмісту в них інформації про відношення дефінійованого поняття до обсягів суміжних понять. Оцінено дефініції за їхньою інформативністю та кількістю слів у них. Проаналізовано доцільність використання різних дефініцій для різних цілей. Обґрунтовано доцільність використання особливостей різних дефініцій у плануванні словникарської роботи.