ЭКСПЕРИМЕНТАЛЬНЫЕ ОБУЧАЮЩИЕ СИСТЕМЫ ДЛЯ АНАЛИТИЧЕСКОГО ДИФФЕРЕНЦИРОВАНИЯ И ИНТЕГРИРОВАНИЯ НА ЯЗЫКЕ HASKELL

Авторы
Файлы

Тарушкин В.Т. Тарушкин П.В. Тарушкина Л.Т. Статья в формате PDF 97 KB

На основе языка Haskell [1] экспериментальные обучающие системы для аналитического дифференцирования и интегрирования [2] имеют гораздо более простой вид. Введём функцию дифференцирования dif , отображающую множество входных строк String в множество выходных строк того же типа : dif :: String -> String Для простоты аналогично [2] рассмотрим только два значения этой функции : dif "sh x" = "ch x " и dif "ch x" = "sh x".

Подавая на вход интерпретатора WinHugs [1] dif "sh x" или dif "ch x" , получим их производные : "sh x" или "ch x". Аналогичным образом введём функцию интегрирования: my_int :: String -> String . Рассмотрим три значения этой функции: my_int "sh x"="ch x + c" , my_int "ch x" и my_int "cos x" = "sin x + c " . Если на вход интерпретатора подавать последовательно my_int "sh x" , my_int "ch x" или my_int "cos x" , то будем получать их интегралы: "ch x + c" , "sh x + c" и "sin x + c ". Вводится рекурсивное понятие выражения, которое записывается на языке Haskell с помощью конструкции тип данных. Приводится элементарная теория DF (дифференциальных полей) и рассматриваются различные её расширения и модели. Осуществляется моделирование на языке Haskell теоремы о единственности продолжения функции дифференцирования из области целостности в поле отношений и других теорем дифференциальной и компьютерной алгебр.

СПИСОК ЛИТЕРАТУРЫ.

Душкин Р.В. Функциональное программирование на языке Haskell. - М.: Изд. АМК. 2007 - 605 с.
Тарушкин В.Т., Тарушкин П.В., Тарушкина Л.Т. Экспериментальные обучающие системы для аналитического интегрирования и дифференцирования. Международная конференция «Европейская интеграция высшего образования», Черногория, 2008 г.

Работа представлена на научную международную конференцию «Приоритетные направления развития науки, технологий и техники», Шарм-эль-шейх (Египет), 20-27 ноября 2008 г. Поступила в редакцию 27.10.2008.

Количественное исследование печени при травматическом шоке

Статья в формате PDF 103 KB...

22 07 2026 5:21:41

ПСИХОФИЗИОЛОГИЧЕСКАЯ ЗАЩИТА ОТ ДЕЙСТВИЯ ВРЕДНЫХ ФАКТОРОВ СРЕДЫ

Статья в формате PDF 100 KB...

21 07 2026 10:37:24

КЛИНИКО-МИКРОБИОЛОГИЧЕСКАЯ ХАРАКТЕРИСТИКА ДИСБИОЗА КИШЕЧНИКА У БОЛЬНЫХ ЛЕПТОСПИРОЗОМ

Статья в формате PDF 96 KB...

20 07 2026 1:40:23

НЕЙРОКИБЕРНЕТИЧЕСКИЙ ПОДХОД К ИЗУЧЕНИЮ АДАПТИВНЫХ РЕАКЦИЙ У ВОЕННОСЛУЖАЩИХ

Исследования мозговых механизмов пограничных нейрофизиологических расстройств находятся еще в начальной стадии. Следовательно, весьма продуктивно проведение исследование этой проблемы с применением математических методов в определении ценности диагностических тестов, выбора и оценки способов восстановления функций мозговых структур. ...