DSpace Repository

ВИКОРИСТАННЯ МЕТОДІВ АЛГЕБРАЇЧНОГО ПРОГРАМУВАННЯ ДЛЯ АНАЛІЗУ МОДЕЛЕЙ ТОКЕНIЗАЦЇ ОСВIТИ

Show simple item record

dc.contributor.author Коннова, О. В.
dc.date.accessioned 2022-08-16T11:21:38Z
dc.date.available 2022-08-16T11:21:38Z
dc.date.issued 2022
dc.identifier.uri http://ekhsuir.kspu.edu/123456789/16484
dc.description Коннова, О. В. Використання методів алгебраїчного програмування для аналізу моделей токенiзацї освiти = Using algebraic programming methods to analyze models of education tokenization : кваліфікаційна робота на здобуття ступеня вищої освіти «бакалавр» / О. В. Коннова; наук. керівник к.п.н., доцент М. О. Вінник ; Міністерство освіти і науки України; Херсонський держ. ун-т, Ф-т комп’ютерних наук, фізики та математики, Кафедра комп’ютерних наук та програмної інженерії. – Херсон : ХДУ, 2022. – 44 с. uk_UA
dc.description.abstract Використання блокчейну в освіті все ще знаходиться в зародковому стані, і лише невелика кількість установ впроваджують цю технологію. Але блокчейн в освітніх закладах відкриває величезні можливості для ефективного використання та може допомогти у вирішенні багатьох проблем. Саме технологія блокчейн дозволяє ефективно реалізувати нову освітню парадигму шляхом створення активів чи токенів, які стануть основою нової системи стимулів для студентів та викладачів. Токенізація у сфері освіти — це революційна альтернатива традиційним неефективним підходам до навчання. Але для того, щоб модель токеноміки була ефективною важливо вміти правильно аналізувати, перевіряти та тестувати її за допомогою спеціальних інструментів. Це дасть змогу перевірити життєздатність моделі, знайти вразливості, які можуть представляти небезпеку для системи та її користувачів у майбутньому. У даній роботі ми дослідити використання методів алгебраїчного програмування для аналізу та верифікації моделей токенізації освіти. Зробили формалізацію моделі та дослідити її основні властивості. Основною метою формалізації є пошук помилок моделювання, недоліків або можливих протиріч; пошук ефективних сценаріїв роботи системи. / The use of blockchain in education is still in its infancy, and only a small number of institutions are implementing this technology. But the blockchain in educational institutions offers great opportunities for effective use and can help solve a lot of problems. It is blockchain technology that allows users to effectively implement a new educational paradigm by creating assets or tokens that will form the basis of a new system of rewarding students and teachers. Tokenization in education is a revolutionary alternative to traditional ineffective approaches to learning. But in order for the tokenomics model to be effective, it is important to be able to properly analyze, verify and test it with special tools. This will allow to test the viability of the model, to find vulnerabilities that could pose a threat to the system and its users in the future. In this paper, we investigate the use of algebraic programming methods for the analysis and verification of models of education tokenization. We formalized the model and investigated its basic properties. The main purpose of formalization is to search for modeling errors, shortcomings or possible contradictions; search for effective system scenarios. uk_UA
dc.subject токеноміка uk_UA
dc.subject блокчейн uk_UA
dc.subject токеномічне моделювання uk_UA
dc.subject інсерційне моделювання uk_UA
dc.subject ЗВО uk_UA
dc.subject tokenomics uk_UA
dc.subject blockchain uk_UA
dc.subject tokenomic modeling uk_UA
dc.subject insertion modeling uk_UA
dc.subject Higher Educational Institution uk_UA
dc.title ВИКОРИСТАННЯ МЕТОДІВ АЛГЕБРАЇЧНОГО ПРОГРАМУВАННЯ ДЛЯ АНАЛІЗУ МОДЕЛЕЙ ТОКЕНIЗАЦЇ ОСВIТИ uk_UA
dc.title.alternative USING ALGEBRAIC PROGRAMMING METHODS TO ANALYZE MODELS OF EDUCATION TOKENIZATION uk_UA
dc.type Other uk_UA


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse

My Account