Registration Number
0821U102120, PhD dissertation
Status
Доктор філософії
Date
30-06-2021
popup.evolution
.
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
popup.rada
Kherson State University
Description
Метою роботи є розроблення загальних принципів аналізування й верифікації правових та економічних моделей засобами інсерційного моделювання.
У розділі 1 надано аналіз існуючих методів і систем моделювання для верифікації правових моделей.
У розділі 2 розкрито основні поняття інсерційного моделювання. Розроблено модель реєстрації платника податку за допомогою інсерційного моделювання.
У розділі 3 схарактеризовано системи синтаксичного аналізу та системи автоматичного реферування, які можуть бути використані під час дослідження правових документів.
У розділі 4 схарактеризовано сучасні методи і технологій, які використовуються в економічному моделюванні. Розроблено конкретну, символьну модель Вальраса. Схарактеризовано поняття токеноміки, формалізовано модель SKILLONOMY.
Практичне значення наукових результатів полягає у застосуванні отриманих результатів для аналізування формальних моделей права, а також моделей економіки та токеноміки.
Registration Date
2021-07-13
popup.nrat_date
2021-07-13 / 2026-07-01
