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

21 03 2023 0:59:19

ЛЕЧЕНИЕ ОЖИРЕНИЯ КАК ОБЪЕКТ ПАТЕНТНОГО ПРАВА

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

20 03 2023 8:43:10

ИСЛЕДОВАНИЕ ВОЗМОЖНОСТИ ПОСТРОЕНИЯ ЗОН ПОКРЫТИЯ В БЕСПРОВОДНЫХ СЕТЯХ

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

19 03 2023 16:55:36

ВОССТАНОВЛЕНИЕ АНАТОМИИ И ФИЗИОЛОГИИ ЛОБНЫХ ПАЗУХ ПОСЛЕ ИХ ВСКРЫТИЯ

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

18 03 2023 5:13:25

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

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

17 03 2023 3:31:17

ИММУНОЛОГИЧЕСКИЕ ПОКАЗАТЕЛИ ДЕТЕЙ г. КРАСНОЯРСКА

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

16 03 2023 16:57:26

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

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

15 03 2023 6:24:36

Макрои микроскопическая анатомия селезенки при воздействии минеральных ванн

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

14 03 2023 15:14:43

ТРАНСФОРМАЦИЯ МЕРЗЛОТНЫХ КОМПОНЕНТОВ ЭКОСИСТЕМ ПОД ВЛИЯНИЕМ ПРИРОДНО-ТЕХНИЧЕСКИХ СИСТЕМ

Экспериментальные исследования на участке распространения пород ледового комплекса выявили увеличение глубины сезонного протаивания и повышение температуры грунтов на прилегающей к железной дороге просеке. Установлено поднятие верхней границы многолетнемерзлых пород под высокой насыпью и низкой насыпью с теплоизолирующим материалом, отсыпанных в зимний сезон. Отмечено формирование чаши протаивания при отсыпке нулевой насыпи в теплый период с удалением сезонноталого слоя в её основания. Предложены мероприятия обеспечивающие устойчивость земляного полотна. ...

13 03 2023 10:14:51

Формирование эффективной стратегии образовательного учреждения

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

12 03 2023 14:36:33

ПРОЕКТНЫЙ ПОДХОД К УПРАВЛЕНИЮ ЗНАНИЯМИ В КОРПОРАТИВНОМ РАЗВИТИИ

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

11 03 2023 19:12:17

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

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

10 03 2023 16:50:40

ФАКТОРЫ РИСКА РАЗВИТИЯ ИНТЕЛЛЕКТУАЛЬНЫХ СПОСОБНОСТЕЙ ОДАРЁННЫХ ДЕТЕЙ

В рамках решения задачи развития интеллектуальных способностей одарённых детей сегодня отчётливо просматриваются факторы риска. Значимыми факторами риска являются неудовлетворение потребностей определённых групп детей в питании, распространение среди подрастающего поколения вредных привычек, стресс, изменяющиеся условия окружающей природной среды. ...

09 03 2023 13:23:45

Термофизические основы радиометрических измерений температуры

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