ЭКСПЕРИМЕНТАЛЬНЫЕ ОБУЧАЮЩИЕ СИСТЕМЫ ДЛЯ АНАЛИТИЧЕСКОГО ДИФФЕРЕНЦИРОВАНИЯ И ИНТЕГРИРОВАНИЯ НА ЯЗЫКЕ 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 194 KB...

11 08 2026 11:26:16

Кашаев Рустем Султанхамитович

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

10 08 2026 15:46:23

ТРАНСПОРТНЫЙ ШУМ В ГОРОДЕ

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

09 08 2026 4:38:11

Влияние гистерэктомий на изменение липидного спектра крови

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

08 08 2026 10:24:45

ИММУНОГИСТОХИМИЧЕСКИЕ ОСОБЕННОСТИ ЛЕЙКОЦИТАРНЫХ ИНФИЛЬТРАТОВ ПЕЧЕНИ ОНКОЛОГИЧЕСКИХ БОЛЬНЫХ

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

07 08 2026 4:26:11

ЛЕЧЕБНО-ОЗДОРОВИТЕЛЬНАЯ ДУБОВАЯ БОЧКА – “АЭРОТЕРМ-АРЦАХ” (БОЧКА ФИЗИОТЕРАПЕВТИЧЕСКАЯ ИЗ ДРАННЫХ ПРОПАРЕННЫХ ДОСОК АРЦАХСКОГО ДУБА)

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

06 08 2026 10:38:12

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

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

05 08 2026 7:20:19

ПРОБЛЕМЫ МЕЖКУЛЬТУРНОЙ КОММУНИАЦИИ ПРИ ИСПОЛЬЗОВАНИИ СОЦИАЛЬНЫХ СЕТЕЙ

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

04 08 2026 20:59:17

ПЕРСПЕКТИВЫ ПРИМЕНЕНИЯ НОВОГО МЕТОДА ДИАГНОСТИКИ ПАРОДОНТИТА

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

03 08 2026 8:24:11

УПРАВЛЕНИЕ ИННОВАЦИОННЫМИ ПРОЦЕССАМИ (учебное пособие)

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

02 08 2026 0:39:16

ПЕРСПЕКТИВЫ МЕДИАЦИИ В РОССИЙСКОМ УГОЛОВНОМ ПРАВЕ: ТЕОРЕТИЧЕСКИЙ АСПЕКТ

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

01 08 2026 16:49:57

РАЗВИТИЕ ТВОРЧЕСКОЙ ЛИЧНОСТИ ВО ВНЕШКОЛЬНОЙ ДЕЯТЕЛЬНОСТИ

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

31 07 2026 19:39:26

ИЗМЕНЕНИЕ АКТИВНОСТИ АНТИОКСИДАНТА ЦЕРУЛОПЛАЗМИНА КРОВИ У БОЛЬНЫХ АНГИНОЙ

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

30 07 2026 4:35:25

ПРОГНОЗИРОВАНИЕ НАРУШЕНИЙ РЕПРОДУКТИВНОЙ ФУНКЦИИ У ЖЕНЩИН С НЕДИФФЕРЕНЦИРОВАННЫМИ КОЛЛАГЕНОЗАМИ

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

29 07 2026 23:18:17

Анатомия внутренних подвздошных артерий плода

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

28 07 2026 1:33:12

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

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

27 07 2026 21:23:11

МОРФОГЕНЕЗ АРТЕРИЙ ПИЩЕВАРИТЕЛЬНОГО ТРАКТА ЧЕЛОВЕКА

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

26 07 2026 6:45:58

Фармакологическая иммунокоррекция в лечении хронического пародонтита

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

25 07 2026 23:38:53

СТРУКТУРНЫЕ ИЗМЕНЕНИЯ СЛИЗИСТОЙ ОБОЛОЧКИ ЖЕЛУДКА ПРИ ЭКСПЕРИМЕНТАЛЬНОЙ ГИПОКИНЕЗИИ

В данном исследовании приведены морфологические изменения в слизистой оболочке желудка при воздействии гипокинезии. Структурные изменение былы выявлены в слизистой оболочке. ...