Наукова періодика України | Радіоелектронні і комп’ютерні системи | ||
Метешкін К. О. Аналіз можливості формалізації земельних відносин / К. О. Метешкін, М. А. Кухар // Радіоелектронні і комп’ютерні системи. - 2017. - № 2. - С. 33–37. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2017_2_7 На прикладах показано формальне подання на теоретико-множинній мові, а також мові логіки обчислення предикатів і теорії категорій деяких земельних відносин. Розкрито необхідність використання математичних методів формалізації земельних відносин в Україні. Отримані формалізми в подальшому стануть фундаментом для створення системи підтримки прийняття рішень в вирішені завдань у сфері землеустрою. Підставою для виникнення такої необхідності стала недосконалість сучасної української системи земельних відносин, яка в своїх межах не надає можливості втілення в життя норм і правил земельного законодавства України. Цитованість авторів публікації: Бібліографічний опис для цитування: Метешкін К. О. Аналіз можливості формалізації земельних відносин / К. О. Метешкін, М. А. Кухар // Радіоелектронні і комп’ютерні системи. - 2017. - № 2. - С. 33–37. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2017_2_7.Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |