ЭКСПЕРИМЕНТАЛЬНЫЕ ОБУЧАЮЩИЕ СИСТЕМЫ ДЛЯ АНАЛИТИЧЕСКОГО ДИФФЕРЕНЦИРОВАНИЯ И ИНТЕГРИРОВАНИЯ НА ЯЗЫКЕ HASKELL > Полезные советы
Тысяча полезных мелочей    

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

ЭКСПЕРИМЕНТАЛЬНЫЕ ОБУЧАЮЩИЕ СИСТЕМЫ ДЛЯ АНАЛИТИЧЕСКОГО ДИФФЕРЕНЦИРОВАНИЯ И ИНТЕГРИРОВАНИЯ НА ЯЗЫКЕ 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 теоремы о единственности продолжения функции дифференцирования из области целостности в поле отношений и других теорем дифференциальной и компьютерной алгебр.

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

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

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


АДАПТИВНОСТЬ СТУДЕНТОВ И ТИПОЛОГИЯ ИХ ИНДИВИДУАЛЬНОСТИ

АДАПТИВНОСТЬ СТУДЕНТОВ И ТИПОЛОГИЯ ИХ ИНДИВИДУАЛЬНОСТИ Статья в формате PDF 323 KB...

20 01 2026 18:53:49

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

ГЧП — ОПТИМАЛЬНАЯ МОДЕЛЬ ВЗАИМОДЕЙСТВИЯ ЧАСТНОГО БИЗНЕСА И ГОСУДАРСТВА В УСЛОВИЯХ ИННОВАЦИОННОЙ ЭКОНОМИКИ Статья в формате PDF 257 KB...

19 01 2026 14:30:32

ТЕТАНИЗИРОВАННЫЙ ОДИНОЧНЫЙ ОТВЕТЭЛЕМЕНТАРНАЯ МОДЕЛЬ КРАТКОВРЕМЕННОЙ ПАМЯТИ

ТЕТАНИЗИРОВАННЫЙ ОДИНОЧНЫЙ ОТВЕТЭЛЕМЕНТАРНАЯ МОДЕЛЬ КРАТКОВРЕМЕННОЙ ПАМЯТИ Статья в формате PDF 89 KB...

18 01 2026 20:27:40

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

СИНЕРГИЗМ В КАТАЛИТИЧЕСКИХ СИСТЕМАХ ДЕЛИГНИФИКАЦИИ ДРЕВЕСИНЫ ПЕРУКСУСНОЙ КИСЛОТОЙ Статья в формате PDF 114 KB...

17 01 2026 6:45:17

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

НЕКОТОРЫЕ ФИЗИОЛОГИЧЕСКИЕ ПОКАЗАТЕЛИ И ЭЛЕМЕНТАРНЫЙ СТАТУС КОРЕННОГО НАСЕЛЕНИЯ ХАНТЫ-МАНСИЙСКОГО АВТОНОМНОГО ОКРУГА Статья в формате PDF 120 KB...

16 01 2026 5:47:24

ЭКОЛОГИЧЕСКАЯ ОБСТАНОВКА КОНЕВИНСКОГО МЕСТОРОЖДЕНИЯ (ОКИНСКИЙ РАЙОН, РЕСПУБЛИКА БУРЯТИЯ)

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

15 01 2026 20:46:42

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

Исследование реологических свойств вязкой нефти бугреватовского месторождения Статья в формате PDF 90 KB...

14 01 2026 17:42:22

Морфо-функциональное состояние газотрaнcпортирующей систе-мы человека в онтогенезе

Морфо-функциональное состояние газотрaнcпортирующей систе-мы человека в онтогенезе Статья в формате PDF 120 KB...

13 01 2026 15:34:22

ИССЛЕДОВАНИЕ ФУНКЦИИ РАСПРЕДЕЛЕНИЯ УРОВНЯ МИКРОУСКОРЕНИЙ ВО ВРЕМЕНИ

ИССЛЕДОВАНИЕ ФУНКЦИИ РАСПРЕДЕЛЕНИЯ УРОВНЯ МИКРОУСКОРЕНИЙ ВО ВРЕМЕНИ При моделировании микроускорений возникает вопрос о функции распределения этой величины. В работе исследуется статистическая функция распределения микроускорений внутри космического аппарата, имеющего большие упругие элементы, после выключения управляющих paкетных двигателей. ...

12 01 2026 14:38:10

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

Математическая модель дожигания оксида углерода над зоной продувки конвертерной ванны Статья в формате PDF 132 KB...

11 01 2026 19:32:37

Иксодовые клещи и их эпидемиологическое значение в Ивановской области

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

10 01 2026 2:39:21

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

ОСОБЕННОСТИ КРОВООБРАЩЕНИЯ ПОЧЕК ПРИ ЭКСПЕРТИЗЕ РАССТРОЙСТВ МОЧЕИСПУСКАНИЯ У ПРИЗЫВНИКОВ УЛЬЯНОВСКОЙ ОБЛАСТИ Статья в формате PDF 120 KB...

09 01 2026 19:11:28

КОВАЛЕВ АНАТОЛИЙ СПИРИДОНОВИЧ

КОВАЛЕВ АНАТОЛИЙ СПИРИДОНОВИЧ Статья в формате PDF 338 KB...

08 01 2026 13:41:57

Новые виды рыбопродуктов

Новые виды рыбопродуктов Статья в формате PDF 115 KB...

07 01 2026 8:32:37

ДИФРАКЦИОННО-РЕФРАКЦИОННЫЕ ИНТРАОКУЛЯРНЫЕ ЛИНЗЫ

ДИФРАКЦИОННО-РЕФРАКЦИОННЫЕ ИНТРАОКУЛЯРНЫЕ ЛИНЗЫ Статья в формате PDF 111 KB...

06 01 2026 3:42:34

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

ОЦЕНКА ЭФФЕКТИВНОСТИ ПРЕГРАВИДАРНОЙ ПОДГОТОВКИ МНОГОРОЖАВШИХ ЖЕНЩИН С ГЕСТОЗОМ Статья в формате PDF 98 KB...

05 01 2026 3:23:28

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

ИЗМЕНЕНИЕ ГЕМАТОЛОГИЧЕСКИХ ПОКАЗАТЕЛЕЙ МЛЕКОПИТАЮЩИХ КАК ФАКТОР ПРОЯВЛЕНИЯ ИХ АДАПТИВНЫХ СПОСОБНОСТЕЙ Статья в формате PDF 109 KB...

04 01 2026 0:22:37

ПРОБЛЕМЫ БЕЗОПАСНОСТИ ТРУБОПРОВОДНОГО ТРАНСПОРТА

ПРОБЛЕМЫ БЕЗОПАСНОСТИ ТРУБОПРОВОДНОГО ТРАНСПОРТА Статья в формате PDF 115 KB...

03 01 2026 0:22:19

ПОКАЗАНИЯ ДЛЯ ТОТАЛЬНОГО ЭНДОПРОТЕЗИРОВАНИЯ КОЛЕННОГО СУСТАВА ПРИ ГОНАРТРОЗЕ

ПОКАЗАНИЯ ДЛЯ ТОТАЛЬНОГО ЭНДОПРОТЕЗИРОВАНИЯ КОЛЕННОГО СУСТАВА ПРИ ГОНАРТРОЗЕ Статья в формате PDF 124 KB...

02 01 2026 19:19:12

ПОКАЗАТЕЛИ ОКИСЛИТЕЛЬНОВОССТАНОВИТЕЛЬНЫХ ПРОЦЕССОВ ПРИ КРИПТОСПОРИДИОЗЕ ПОРОСЯТ

ПОКАЗАТЕЛИ ОКИСЛИТЕЛЬНОВОССТАНОВИТЕЛЬНЫХ ПРОЦЕССОВ ПРИ КРИПТОСПОРИДИОЗЕ ПОРОСЯТ Статья в формате PDF 300 KB...

01 01 2026 6:24:53

ЗАКАЛКА ЛЕГИРОВАННЫХ СТАЛЕЙ В ВОДНОМ РАСТВОРЕ ПОЛИМЕРА «ТЕРМОВИТ-М»

ЗАКАЛКА ЛЕГИРОВАННЫХ СТАЛЕЙ В ВОДНОМ РАСТВОРЕ ПОЛИМЕРА «ТЕРМОВИТ-М» Статья в формате PDF 241 KB...

31 12 2025 14:58:16

ИНФЕКЦИОННО-ТОКСИЧЕСКИЙ ШОК В КЛИНИКЕ ГЕМОРРАГИЧЕСКОЙ ЛИХОРАДКИ С ПОЧЕЧНЫМ СИНДРОМОМ

ИНФЕКЦИОННО-ТОКСИЧЕСКИЙ ШОК В КЛИНИКЕ ГЕМОРРАГИЧЕСКОЙ ЛИХОРАДКИ С ПОЧЕЧНЫМ СИНДРОМОМ Статья в формате PDF 192 KB...

30 12 2025 1:25:30

Состояние адаптации больных с инциденталомами надпочечных желез без клинических проявлений в период ночного сна

Состояние адаптации больных с инциденталомами надпочечных желез без клинических проявлений в период ночного сна Статья в формате PDF 105 KB...

29 12 2025 0:15:37

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

ПРОБЛЕМА ДИСБИОЗОВ В ОХРАНЕ ЗДОРОВЬЯ МАТЕРИ И РЕБЁНКА Статья в формате PDF 118 KB...

28 12 2025 20:53:42

ВОДА – НОСИТЕЛЬ ИНФОРМАЦИИ В ВОЛНОВОЙ ГЕНЕТИКЕ

ВОДА – НОСИТЕЛЬ ИНФОРМАЦИИ В ВОЛНОВОЙ ГЕНЕТИКЕ Статья в формате PDF 101 KB...

27 12 2025 15:23:54

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

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

26 12 2025 11:41:25

НОВЫЙ СПОСОБ ОПЕРАТИВНОГО ЛЕЧЕНИЯ ПАХОВЫХ ГРЫЖ

НОВЫЙ СПОСОБ ОПЕРАТИВНОГО ЛЕЧЕНИЯ ПАХОВЫХ ГРЫЖ Статья в формате PDF 114 KB...

25 12 2025 13:21:23

АНОМАЛИИ ПЛАНЕТ СОЛНЕЧНОЙ СИСТЕМЫ

АНОМАЛИИ ПЛАНЕТ СОЛНЕЧНОЙ СИСТЕМЫ С целью проверки космологических и геологических теорий всё больший интерес вызывают измерения аномалий: увеличение радиусов орбит планет, увеличение радиусов планет, замедление вращения планет. Технические возможности таких измерений имеются. Эмпирическая Теория Вселенной позволяет легко вычислять указанные аномалии. В статье показан метод расчёта аномалий и некоторые результаты для планет Солнечной системы. Сравнение расчёта с уже имеющимися измерениями (удаление Луны от Земли, удаление Земли от Солнца, замедление вращения Земли) показывает хорошее согласие расчёта и измерения. ...

24 12 2025 16:54:11

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

ИЗУЧЕНИЕ ОСОБЕННОСТЕЙ ВЗАИМОДЕЙСТВИЯ ВИРУСА ИММУНОДЕФИЦИТА ЧЕЛОВЕКА С В-КЛЕТКАМИ ИММУННОЙ СИСТЕМЫ Статья в формате PDF 269 KB...

23 12 2025 12:38:25

РАЗВИТИЕ ТЕРИОЛОГИИ В РОССИИ В XVIII-XX вв.

РАЗВИТИЕ ТЕРИОЛОГИИ В РОССИИ В XVIII-XX вв. В статье рассматриваются основные исторические этапы развития отечественной териологии в XVIII-XX вв., самоотверженно проводившиеся учеными-зоологами несмотря на различные трудности, являвшиеся следствием изменения исторической и политической картины мира. Показан вклад отдельных российских ученых в формировании териологии, а также роль в этом процессе научных сообществ России. ...

22 12 2025 4:45:32

ПРИМЕР ИСПОЛЬЗОВАНИЯ СИСТЕМЫ DEDUCTOR ДЛЯ ИНТЕЛЛЕКТУАЛЬНоГО АНАЛИЗА ДАННЫХ

ПРИМЕР ИСПОЛЬЗОВАНИЯ СИСТЕМЫ DEDUCTOR ДЛЯ ИНТЕЛЛЕКТУАЛЬНоГО АНАЛИЗА ДАННЫХ Статья в формате PDF 253 KB...

21 12 2025 10:27:30

ОСОБЕННОСТИ ПОДБОРА ПАРТНЕРОВ В ЖЕНСКОЙ ГРУППОВОЙ АКРОБАТИКЕ

ОСОБЕННОСТИ ПОДБОРА ПАРТНЕРОВ В ЖЕНСКОЙ ГРУППОВОЙ АКРОБАТИКЕ Статья в формате PDF 264 KB...

20 12 2025 20:13:55

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

СОСТОЯНИЕ ФЕТОПЛАЦЕНТАРНОГО КОМПЛЕКСА У БЕРЕМЕННЫХ КРЫС ПОСЛЕ ВВЕДЕНИЯ ТОКСИНА СТАФИЛОКОККА Статья в формате PDF 109 KB...

19 12 2025 13:32:15

СОВРЕМЕННЫЕ ПОДХОДЫ К КОМПЬЮТЕРНОМУ МОНИТОРИНГУ В КЛИНИЧЕСКОЙ НЕЙРОФИЗИОЛОГИИ

СОВРЕМЕННЫЕ ПОДХОДЫ К КОМПЬЮТЕРНОМУ МОНИТОРИНГУ В КЛИНИЧЕСКОЙ НЕЙРОФИЗИОЛОГИИ Статья в формате PDF 117 KB...

18 12 2025 16:24:39

ПРОФЕССИОНАЛИЗМ УЧИТЕЛЯ КАК ФАКТОР РАЗВИТИЯ СОВРЕМЕННОЙ ШКОЛЫ

ПРОФЕССИОНАЛИЗМ УЧИТЕЛЯ КАК ФАКТОР РАЗВИТИЯ СОВРЕМЕННОЙ ШКОЛЫ Статья в формате PDF 275 KB...

17 12 2025 10:28:40

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

ГЕОЭКОЛОГИЧЕСКИЕ ПРОБЛЕМЫ СОВРЕМЕННОЙ РАКЕТНО-КОСМИЧЕСКОЙ ДЕЯТЕЛЬНОСТИ К настоящему времени геофизика накопила о магнетизме Земли огромную информацию, большая часть которой получена в новейший период исследований космического прострaнcтва путём непосредственных инструментальных исследований с помощью космических летательных аппаратов, но построить на традиционных теоретических основаниях общепризнанную теорию о происхождении магнетизма Земли пока не удавалось никому [1]. Учитывая продуктивность магнитодинамического взгляда ряда фундаментальных проблем физики и многочисленных технических задач [2], можно надеяться на аналогичную продуктивность при рассмотрении некоторых из многочисленных аспектов фундаментальной проблемы стационарного геомагнетизма, среди которых первичной представляется его происхождение. ...

16 12 2025 20:19:59

СОВЕРШЕНСТВОВАНИЕ ФУНКЦИОНАЛЬНЫХ ВОЗМОЖНОСТЕЙ ЧЕЛОВЕКА В УСЛОВИЯХ ГИБРИДНЫХ БИОТЕХНОКИБЕРНЕТИЧЕСКИХ СИСТЕМ ("БИОКИБЕРОВ")

СОВЕРШЕНСТВОВАНИЕ ФУНКЦИОНАЛЬНЫХ ВОЗМОЖНОСТЕЙ ЧЕЛОВЕКА В УСЛОВИЯХ ГИБРИДНЫХ БИОТЕХНОКИБЕРНЕТИЧЕСКИХ СИСТЕМ ("БИОКИБЕРОВ") Статья в формате PDF 120 KB...

15 12 2025 8:54:14

МОРДОВСКАЯ ИСТОРИОГРАФИЯ СОЦИАЛЬНО-ПОЛИТИЧЕСКИХ ПРОБЛЕМ

МОРДОВСКАЯ ИСТОРИОГРАФИЯ СОЦИАЛЬНО-ПОЛИТИЧЕСКИХ ПРОБЛЕМ Статья в формате PDF 108 KB...

14 12 2025 15:22:55

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

ИСЛЕДОВАНИЕ ВОЗМОЖНОСТИ ПОСТРОЕНИЯ ЗОН ПОКРЫТИЯ В БЕСПРОВОДНЫХ СЕТЯХ Статья в формате PDF 317 KB...

13 12 2025 13:56:54

Социально-психологические особенности формирования здоровья населения урбанизированной сельской местности

Социально-психологические особенности формирования здоровья населения урбанизированной сельской местности Статья в формате PDF 117 KB...

12 12 2025 2:38:35

Еще:
Поддержать себя -1 :: Поддержать себя -2 :: Поддержать себя -3 :: Поддержать себя -4 :: Поддержать себя -5 :: Поддержать себя -6 :: Поддержать себя -7 :: Поддержать себя -8 :: Поддержать себя -9 :: Поддержать себя -10 :: Поддержать себя -11 :: Поддержать себя -12 :: Поддержать себя -13 :: Поддержать себя -14 :: Поддержать себя -15 :: Поддержать себя -16 :: Поддержать себя -17 :: Поддержать себя -18 :: Поддержать себя -19 :: Поддержать себя -20 :: Поддержать себя -21 :: Поддержать себя -22 :: Поддержать себя -23 :: Поддержать себя -24 :: Поддержать себя -25 :: Поддержать себя -26 :: Поддержать себя -27 :: Поддержать себя -28 :: Поддержать себя -29 :: Поддержать себя -30 :: Поддержать себя -31 :: Поддержать себя -32 :: Поддержать себя -33 :: Поддержать себя -34 :: Поддержать себя -35 :: Поддержать себя -36 :: Поддержать себя -37 :: Поддержать себя -38 ::