Рассмотрен подход к верификации интерпретаторов многосортных алгебраических операций по их спецификациям, основанный на конструктивном уточнении понятия расширения многосортной алгебраической системы и доказательстве аксиом алгебраической системы. Этот подход иллюстрируется примерами верификации интерпретаторов операций поля рациональных чисел, многочленов одной переменной и алгебры высказываний. Подход использован при разработке систем компьютерной математики учебного назначения.Представлен подход к построению системы тестирования процедурных геометрических знаний, т.е. знаний основных вычислительных формул и умений их применять. Этот подход заключается в построении математических моделей для каждого учебного модуля дисциплины геометрия. Основные объекты построения - шаблоны тестовых заданий - представляют собой математические модели тестов, задаваемые в общем виде. Шаблон класса однотипных тестовых заданий представлен геометрическим чертежом, системой формул-соотношений, связывающих элементы чертежа, шаблоном условием тестого задания и шаблоном ответа. Каждый такой шаблон используется как в алгоритмах генерации множества однотипных конкретных тестовых заданий, так и в алгоритмах автоматической проверки правильности ответов. Предлагаемый метод дает возможность описать относительно просто целый класс конкретных тестовых заданий. Важной особенностью системы является возможность автоматической проверки не только окончательного ответа, но и промежуточных формул ответа. Для реализации рассматриваемой системы тестирования необходимо использовать методы компьютерной алгебры и технологии алгебраического программирования.

  Повний текст PDF - 415.116 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"