ФОРМАЛІЗАЦІЯ ОСВІТНЬОЇ ІНФОРМАЦІЙНОЇ СИСТЕМИ ВИБОРУ КУРСІВ ТЕХНОЛОГІЯМИ ТОКЕНІЗАЦІЇ

Abstract

Ця робота присвячена формалізації моделі освітньої інформаційної системи вибору курсів технологіями токенізації. Токенізація освіти є наступним кроком у підвищенні ефективності та інноваційності в процесі надання освітніх послуг. За допомогою використання методів алгебраїчного програмування та інсерційного моделювання ми маємо змогу проаналізувати модель токенізації освіти на властивості стійкості, наявність недоліків або можливих протиріч та здійснити на пошук ефективних сценаріїв роботи системи. З огляду на розвиток блокчейн технології та ріст попиту на впровадження токенізації в різні сфери життя, зокрема і освіту, ми вбачаємо цю роботу актуальною. Метою кваліфікаційної роботи є дослідження використання методів інсерційного моделювання для аналізу та верифікації моделей токенізації освіти та формалізація моделі з подальшим дослідженням її властивостей. Для досягнення зазначеної мети вивчається література по алгебраїчному моделюванню. / This work is devoted to the formalization of the educational information system of course selection using tokenization technologies. Tokenization of education is the next step in increasing attractiveness and innovation in education. The formalization of the model with the help of algebraic modeling tools helps educators to make fundamental reflections and carry out verification regarding the implementation of blockchain technology, in particular, tokenization in education. In view of this, qualification work is characterized by relevance. The purpose of the qualification work is to study the use of insertion modeling methods for the analysis and verification of models of tokenization of education and the formalization of the model with further study of its properties. To achieve this goal, the literature on algebraic modeling is studied.