Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Пошуковий запит: (<.>ID=REF-0000660476<.>) |
Загальна кількість знайдених документів : 1
|
Метешкін К. О. Аналіз можливості формалізації земельних відносин / К. О. Метешкін, М. А. Кухар // Радіоелектрон. і комп'ютер. системи. - 2017. - № 2. - С. 33-37. - Бібліогр.: 9 назв. - укp.На прикладах показано формальне подання на теоретико-множинній мові, а також мові логіки обчислення предикатів і теорії категорій деяких земельних відносин. Розкрито необхідність використання математичних методів формалізації земельних відносин в Україні. Отримані формалізми в подальшому стануть фундаментом для створення системи підтримки прийняття рішень в вирішені завдань у сфері землеустрою. Підставою для виникнення такої необхідності стала недосконалість сучасної української системи земельних відносин, яка в своїх межах не надає можливості втілення в життя норм і правил земельного законодавства України. Індекс рубрикатора НБУВ: У9(4УКР)0-51 + Х859(4УКР)11-4 ф
Рубрики:
Шифр НБУВ: Ж24450 Пошук видання у каталогах НБУВ Повний текст Наукова періодика України Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
|