Наукова періодика України Радіоелектронні і комп’ютерні системи


Метешкін К. О. 
Аналіз можливості формалізації земельних відносин / К. О. Метешкін, М. А. Кухар // Радіоелектронні і комп’ютерні системи. - 2017. - № 2. - С. 33–37. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2017_2_7
На прикладах показано формальне подання на теоретико-множинній мові, а також мові логіки обчислення предикатів і теорії категорій деяких земельних відносин. Розкрито необхідність використання математичних методів формалізації земельних відносин в Україні. Отримані формалізми в подальшому стануть фундаментом для створення системи підтримки прийняття рішень в вирішені завдань у сфері землеустрою. Підставою для виникнення такої необхідності стала недосконалість сучасної української системи земельних відносин, яка в своїх межах не надає можливості втілення в життя норм і правил земельного законодавства України.
  Повний текст PDF - 660.532 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Метешкін К.
  • Кухар М.

  • Бібліографічний опис для цитування:

    Метешкін К. О. Аналіз можливості формалізації земельних відносин / К. О. Метешкін, М. А. Кухар // Радіоелектронні і комп’ютерні системи. - 2017. - № 2. - С. 33–37. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2017_2_7.

    Додаткова інформація про автора(ів) публікації:
    (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
  • Метешкін Костянтин Олександрович (1950–) (технічні науки)
  • Кухар Максим Анатолійович (технічні науки)
  •   Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського