означення

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 і труднощі, які виникли під час його перекладу.

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

Унаслідок виконаного дослідження з’ясовано джерела сористичних парадоксів. Обґрунтовано пропозиції щодо внесення в дефініції слів з неясною семантикою такої інформації, яка в разі її врахування внеможливлюватиме несвідоме формування сористичних парадоксів. Сформульовано пропозицію щодо уточнення дефініції поняття «купа».

Проаналізовано різні способи формулювання дефініцій з погляду виявлення такого способу, використання якого забезпечуватиме коректність дефініцій відповідно до завдань тлумачного словника (повідомлення набору унікальних ознак для відрізнення позначуваного від інших об’єктів; повідомлення найістотніших ознак для задоволення пізнавальних потреб людини; доступність дефініції терміна для розуміння її нефахівцем з даної галузі знань). Зроблено висновок про доцільність використання у тлумачних словниках наукових дефініцій.

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

Досліджено особливості поняття поведінки, сутнісний зміст якої на сучасному етапі трансформації суспільства розкривається через такі категорії і поняття, як “людина”, “соціум”, “діяльність”, “суспільні” й “виробничі відносини”, “суспільне життя”, “особистість” тощо. Поведінку розглянуто як сукупність послідовних учинків або систему дій людини, як практичну, реальну або реалізовану дію, яка, найперше, є різновидом поведінки, осмисленим комплексом учинків.