ANALYSIS OF POSSIBILITY OF FORMALIZATION OF LAND RELATIONS

Abstract

This article shows the examples of the formal submission to the set-theoretic language and the language of logic predicate calculus and the theory of some categories of land relations. Necessity of mathematical methods application for formalizing land relations in Ukraine is explained. The resulting formalism in the future will be the foundation for creating a decision support system to resolved problems in the field of land management. The reason for the occurrence of such necessity has become imperfection of contemporary Ukrainian system of land relations, which in its framework does not allow the implementation of the rules and regulations of the land legislation of Ukraine.

Keywords

• земельні відносини
• множина
• елемент множини
• формалізація
• модель
• теорія категорій