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

 Наукова періодика України 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Метешкін Костянтин Олександрович (1950–) (технічні науки)
• Кухар Максим Анатолійович (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"