Пошук академічних текстів

Інформація × Реєстраційний номер 0821U102120, Дисертація доктора філософії На здобуття Доктор філософії Дата захисту 30-06-2021 Статус Запланована Назва роботи Алгебраїчний підхід у формалізації та аналізі економічних та правових моделей Здобувач Полторацький Максим Юрійович, Керівник Летичевський Олександр Олександрович Опонент Нікітченко Микола Степанович Опонент Кирийчук Дмитро Леонідович Рецензент Бабічев Сергій Анатолійович Рецензент Вейцбліт Олександр Йосипович Опис Метою роботи є розроблення загальних принципів аналізування й верифікації правових та економічних моделей засобами інсерційного моделювання. У розділі 1 надано аналіз існуючих методів і систем моделювання для верифікації правових моделей. У розділі 2 розкрито основні поняття інсерційного моделювання. Розроблено модель реєстрації платника податку за допомогою інсерційного моделювання. У розділі 3 схарактеризовано системи синтаксичного аналізу та системи автоматичного реферування, які можуть бути використані під час дослідження правових документів. У розділі 4 схарактеризовано сучасні методи і технологій, які використовуються в економічному моделюванні. Розроблено конкретну, символьну модель Вальраса. Схарактеризовано поняття токеноміки, формалізовано модель SKILLONOMY. Практичне значення наукових результатів полягає у застосуванні отриманих результатів для аналізування формальних моделей права, а також моделей економіки та токеноміки. Дата реєстрації 2021-07-13 Додано в НРАТ 2021-07-13 Закрити