ANALYSIS OF POSSIBILITY OF FORMALIZATION OF LAND RELATIONS

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...

Full description

Bibliographic Details
Main Authors: Костянтин Олександрович Метешкін, Максим Анатолійович Кухар
Format: Article
Language:English
Published: National Aerospace University «Kharkiv Aviation Institute» 2017-02-01
Series:Радіоелектронні і комп'ютерні системи
Subjects:
Online Access:http://nti.khai.edu/ojs/index.php/reks/article/view/569