Оцінювання навчальних досягнень учнів на основі модальної логіки в середовищі Matlab