Наукова періодика України Вісник Харківського національного університету імені В. Н. Каразіна


Львов М. С. 
Об одном подходе к реализации алгебраических вычислений: вычисления в алгебре высказываний / М. С. Львов // Вісник Харківського національного університету імені В. Н. Каразіна. Серія : Математичне моделювання. Інформаційні технології. Автоматизовані системи управління. - 2009. - № 863, Вип. 12. - С. 158-169. - Режим доступу: http://nbuv.gov.ua/UJRN/VKhIMAM_2009_863_12_18
Рассмотрен подход к верификации интерпретаторов многосортных алгебраических операций по их спецификациям, основанный на конструктивном уточнении понятия расширения многосортной алгебраической системы и доказательстве аксиом алгебраической системы. Этот подход иллюстрируется примерами верификации интерпретаторов операций поля рациональных чисел, многочленов одной переменной и алгебры высказываний. Подход использован при разработке систем компьютерной математики учебного назначения.Представлен подход к построению системы тестирования процедурных геометрических знаний, т.е. знаний основных вычислительных формул и умений их применять. Этот подход заключается в построении математических моделей для каждого учебного модуля дисциплины геометрия. Основные объекты построения - шаблоны тестовых заданий - представляют собой математические модели тестов, задаваемые в общем виде. Шаблон класса однотипных тестовых заданий представлен геометрическим чертежом, системой формул-соотношений, связывающих элементы чертежа, шаблоном условием тестого задания и шаблоном ответа. Каждый такой шаблон используется как в алгоритмах генерации множества однотипных конкретных тестовых заданий, так и в алгоритмах автоматической проверки правильности ответов. Предлагаемый метод дает возможность описать относительно просто целый класс конкретных тестовых заданий. Важной особенностью системы является возможность автоматической проверки не только окончательного ответа, но и промежуточных формул ответа. Для реализации рассматриваемой системы тестирования необходимо использовать методы компьютерной алгебры и технологии алгебраического программирования.
  Повний текст PDF - 698.63 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Львов М.

  • Бібліографічний опис для цитування:

    Львов М. С. Об одном подходе к реализации алгебраических вычислений: вычисления в алгебре высказываний / М. С. Львов // Вісник Харківського національного університету імені В. Н. Каразіна. Серія : Математичне моделювання. Інформаційні технології. Автоматизовані системи управління. - 2009. - № 863, Вип. 12. - С. 158-169. - Режим доступу: http://nbuv.gov.ua/UJRN/VKhIMAM_2009_863_12_18.

    Додаткова інформація про автора(ів) публікації:
    (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
  • Львов Михайло Сергійович (фізико-математичні науки)
  •   Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського