ЭКСПЕРИМЕНТАЛЬНЫЕ ОБУЧАЮЩИЕ СИСТЕМЫ ДЛЯ АНАЛИТИЧЕСКОГО ДИФФЕРЕНЦИРОВАНИЯ И ИНТЕГРИРОВАНИЯ НА ЯЗЫКЕ HASKELL
На основе языка 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 118 KB...
21 01 2025 1:57:20
Статья в формате PDF 125 KB...
20 01 2025 21:59:33
Статья в формате PDF 121 KB...
19 01 2025 16:38:46
18 01 2025 14:28:40
Статья в формате PDF 310 KB...
16 01 2025 2:46:10
Статья в формате PDF 110 KB...
15 01 2025 22:43:26
Рассмотрены перспективные площади поисков залежей колчеданов в Орской и Бакайской синклиналях и в Западном Примугоджарье по гидрогеологическим показателям. Купоросные воды - реликтовые спутники сульфидных залежей, видимо широко развиты среди вулканитов девонского рифта Урала. ...
14 01 2025 8:47:32
Статья в формате PDF 459 KB...
13 01 2025 3:13:17
Статья в формате PDF 100 KB...
12 01 2025 1:49:46
Статья в формате PDF 297 KB...
11 01 2025 19:44:21
Статья в формате PDF 146 KB...
10 01 2025 16:37:27
Статья в формате PDF 102 KB...
09 01 2025 15:15:27
Статья в формате PDF 119 KB...
08 01 2025 14:36:42
Статья в формате PDF 274 KB...
07 01 2025 15:38:39
Статья в формате PDF 273 KB...
06 01 2025 13:30:12
Статья в формате PDF 191 KB...
05 01 2025 13:36:19
Статья в формате PDF 196 KB...
04 01 2025 2:21:56
Статья в формате PDF 151 KB...
03 01 2025 2:22:52
Статья в формате PDF 136 KB...
31 12 2024 23:10:56
Статья в формате PDF 110 KB...
30 12 2024 4:15:41
Статья в формате PDF 130 KB...
29 12 2024 17:49:59
Статья в формате PDF 210 KB...
28 12 2024 10:59:48
Статья в формате PDF 114 KB...
27 12 2024 11:22:34
Статья в формате PDF 123 KB...
26 12 2024 17:43:31
Статья в формате PDF 115 KB...
25 12 2024 21:28:35
Статья в формате PDF 114 KB...
23 12 2024 14:57:33
Статья в формате PDF 349 KB...
22 12 2024 10:32:58
Статья в формате PDF 115 KB...
21 12 2024 18:44:21
Статья в формате PDF 103 KB...
20 12 2024 5:31:57
19 12 2024 1:32:11
ФРИ-терапия (СЕМ-терапия) основана на использовании материалов с управляемой энергетической структурой (CEM – Controlled Energy Material). Излучателем сверхслабых излучений КВЧ-диапазона при интенсивности 10–16–10–20 Вт/см2 является диод Ганна. Представлена оценка влияния фонового миллиметрового излучения на стафилококки, на нативную кровь, а также на вегетативный статус пациента гипертонической болезнью в сравнительном аспекте по графикам циркадных ритмов пульса при приеме: препаратов, не влияющих на ритм сердца; структурированной воды, активированной посредством аппарата «Cem-Tech»; полной дозы препарата лодоза; воды, содержащей информацию о порошкообразном лодозе. Рассмотренная индивидуальная динамика параметров ритмограммы, вычисленных на основе регистрации 500 межпульсовых интервалов, оценивалась с вычислением показателей уровня статистической значимости различий. Показано, что прием препарата Лодоз и воды содержащей информацию о препарате Лодоз сопровождается сходными изменениями, как частоты пульса, так и внутренней структуры информационного паттерна HRV. Динамика параметров ритма сердца свидетельствует о мобилизации холинергических механизмов регулирования. ...
18 12 2024 13:11:28
Статья в формате PDF 172 KB...
17 12 2024 10:30:27
Статья в формате PDF 127 KB...
16 12 2024 17:28:36
Установлено, что переход междоузлий проростков гороха от интенсивного роста к замедлению и прекращению коррелирует с образованием и накоплением в них эндогенного пизамина, антивитамина пантотеновой кислоты, что приводит к количественному снижению ряда аминокислот и общего белка. Это может быть следствием переориентации метаболических процессов, вызывающих замедление и прекращение растяжения клеточных стенок междоузлий. ...
15 12 2024 21:22:22
Статья в формате PDF 286 KB...
14 12 2024 0:12:39
Статья в формате PDF 265 KB...
13 12 2024 10:16:33
Еще:
Поддержать себя -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 ::