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

  Скачати повний текст

У дисертації здійснено комплексне теоретичне узагальнення наукових підходів до розуміння обмеження прав та свобод особи при розслідування кримінальних правопорушень, а також виокремлено випадки прояву останніх через призму особливостей проведення окремих слідчих (розшукових) дій та заходів забезпечення кримінального провадження під час розслідування кримінальних правопорушень у сфері податкових відносин. В результаті проведеного дослідження сформульовано ряд висновків, пропозицій та рекомендацій, спрямованих на зміцнення гарантій прав та свобод особи при розслідуванні досліджуваної категорії кримінальних правопорушень.Розкрито етапи становлення кримінального процесуального права України, особливості кожного із яких детермінували обмеження прав та свобод при розслідуванні кримінальних правопорушень, із урахуванням градації класової орієнтації суспільства. Аналіз теоретичних положень щодо тлумачення обмеження прав та свобод особи надав можливість сформулювати основні причини та передумови їх прояву під час досудового розслідування у кримінальних провадженнях. Охарактеризовано правову природу гарантій прав та свобод особи під час досудового розслідування кримінальних правопорушень, а також наголошено, що за своєю сутністю та завданням останні мають метою створення умов, за яких передбачені законодавством права та свободи можуть бути реалізовані без зловживань, вчинення перешкод та запобігань.^UIn the dissertation the complex theoretical generalization of scientific approaches to understanding of restriction of the individual rights and freedoms in the investigation of criminal offenses is carried out. Also, accent to cases of display of the last through the prism of features of carrying out separate investigative (search) actions and measures to ensure criminal proceedings at investigation of criminal offenses is given. As a result of the research, a number of conclusions, proposals and recommendations were formulated on strengthening the guarantees of individual rights and freedoms in the investigation of the researched category of criminal offenses.The stages of formation of criminal procedural law have been identified, the features of each of which determined the restrictions of rights and freedoms in the investigation of criminal offenses, taking into account the gradation of class orientation of society. The analysis of theoretical provisions on the interpretation of the restriction of individual rights and freedoms made it possible to formulate the main reasons and prerequisites for their manifestation in the pre-trial investigation of criminal proceedings. The legal nature of guarantees of individual rights and freedoms during the pre-trial investigation of criminal offenses is characterized, and it is also noted that in their essence and task of the latter are aimed at creating conditions under which the rights and freedoms provided for by law can be exercised without abuse, obstacles and warnings.