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