Полторацький М. Ю. Алгебраїчний підхід у формалізації та аналізі економічних та правових моделей

Метою роботи є розроблення загальних принципів аналізування й верифікації правових та економічних моделей засобами інсерційного моделювання. У розділі 1 надано аналіз існуючих методів і систем моделювання для верифікації правових моделей. У розділі 2 розкрито основні поняття інсерційного моделювання. Розроблено модель реєстрації платника податку за допомогою інсерційного моделювання. У розділі 3 схарактеризовано системи синтаксичного аналізу та системи автоматичного реферування, які можуть бути використані під час дослідження правових документів. У розділі 4 схарактеризовано сучасні методи і технологій, які використовуються в економічному моделюванні. Розроблено конкретну, символьну модель Вальраса. Схарактеризовано поняття токеноміки, формалізовано модель SKILLONOMY. Практичне значення наукових результатів полягає у застосуванні отриманих результатів для аналізування формальних моделей права, а також моделей економіки та токеноміки.