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


land relations; set; element of set; formalization; model; category theory

References


Zemel'nyy kodeks Ukrayiny [Land Code of Ukraine]: ofits. tekst from 06.12.2016 as of 03.01.2017 [The global pharmaceutical industry]. Available at: http://zakon2.rada.gov.ua/laws/show/2768-14 (аccessed 5.04.2017).

Land Use and Land Management Practices in Environmental. Available at: http://www.environmental-auditing.org/LinkClick.aspx?fileticket=NiwOS89K5Jk%3D&tabid=128&mid=568 (аccessed 5.04.2017).

Pro Zemleustriy [On Land Management]: ofits. tekst from від 08.12.2015 as of 01.03.2017 [The global pharmaceutical industry]. Available at: http://zakon2.rada.gov.ua/laws/show/858-15 (аccessed 5.04.2017).

Yatsuk, V. P. Povysheni effektivnosti mekhanizmov gosudarstvennogo upravleniya zemel'no-imushchestvennogo kompleksa Ukrainy [Increase of efficiency of mechanisms of state management of the land and property complex of Ukraine]. Scientific Journal of the Academy of municipal management. A series of "Management", 2011, no. 2, pp. 384–391.

Meteshkin, K. A. Teoreticheskie osnovy postroeniya intellektual'nykh sistem upravleniya uchebnym protsessom v vuze [Theoretical bases of construction of intellectual systems of management of educational process in high school]. Kharkov, Ecographer Publ., 2000. 278 p.

Volkov, S. N. Zemleustroystvo za rubezhom [Land management abroad] [The global pharmaceutical industry]. Available at: www.гузмосква.рф/media/ file/rekdoc/9.doc (аccessed 5.04.2017).

Sinapova, L. Predicate Logic - Basic Definitions. Available at: http://faculty.simpson.edu/lydia.sinapova/www/cmsc180/LN180_Gersting/L05-PredicateLogic.htm (аccessed 5.04.2017).

Pareigis B. Category Theory. Summer Semester 2004. Available at: http://www.mathematik.unimuenchen.de/~pareigis/Vorlesungen/04SS/Cats1.pdf (аccessed 5.04.2017).

Ivanov, I. Elementy. Nuzhna li fizikam teoriya kategoriy [Elements. Need a physical ly category theory] [The global pharmaceutical industry]. Available at: http://elementy.ru/novosti_nauki/430819/Nuzhna_li_ fizikam_teoriya_kategoriy (аccessed 5.04.2017).


Refbacks

  • There are currently no refbacks.