Search academic texts

Information × Registration Number 0821U102120, PhD dissertation Status Доктор філософії Date 30-06-2021 popup.evolution o Title Algebraic approach in formalization and analysis of economic and legal models Author Poltoratskyi Maksym Yu., popup.head Letichevsky Oleksandr popup.opponent Nikitchenko Mykola Stepanovych popup.opponent Kyryychuk Dmytro L. popup.review Babichev Serhii A. popup.review Veitsblit Oleksandr Yosypovych Description Метою роботи є розроблення загальних принципів аналізування й верифікації правових та економічних моделей засобами інсерційного моделювання. У розділі 1 надано аналіз існуючих методів і систем моделювання для верифікації правових моделей. У розділі 2 розкрито основні поняття інсерційного моделювання. Розроблено модель реєстрації платника податку за допомогою інсерційного моделювання. У розділі 3 схарактеризовано системи синтаксичного аналізу та системи автоматичного реферування, які можуть бути використані під час дослідження правових документів. У розділі 4 схарактеризовано сучасні методи і технологій, які використовуються в економічному моделюванні. Розроблено конкретну, символьну модель Вальраса. Схарактеризовано поняття токеноміки, формалізовано модель SKILLONOMY. Практичне значення наукових результатів полягає у застосуванні отриманих результатів для аналізування формальних моделей права, а також моделей економіки та токеноміки. Registration Date 2021-07-13 popup.nrat_date 2021-07-13 Close