ЭКСПЕРИМЕНТАЛЬНЫЕ ОБУЧАЮЩИЕ СИСТЕМЫ ДЛЯ АНАЛИТИЧЕСКОГО ДИФФЕРЕНЦИРОВАНИЯ И ИНТЕГРИРОВАНИЯ НА ЯЗЫКЕ 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
254 KB...
02 05 2026 15:23:59
Статья в формате PDF
233 KB...
01 05 2026 15:42:40
Статья в формате PDF
113 KB...
30 04 2026 13:29:22
Статья в формате PDF
103 KB...
29 04 2026 20:28:42
27 04 2026 8:37:27
Статья в формате PDF
138 KB...
26 04 2026 8:44:34
Статья в формате PDF
113 KB...
25 04 2026 11:34:17
Статья в формате PDF
127 KB...
24 04 2026 4:51:19
Статья в формате PDF
135 KB...
23 04 2026 4:10:32
Статья в формате PDF
351 KB...
22 04 2026 12:56:54
Статья в формате PDF
244 KB...
21 04 2026 2:12:43
Приведены новые авторские и литературные данные по петрологии и мантийно-коровому взаимодействию на основании изотопных соотношений стронция и неодима при формировании карбонатитов различных регионов мира. По изотопии стронция и неодима устанавливаются различные компоненты мантии, участвовавшие в генерации карбонатитов: PREMA, HIMU, FOZO, BSE, EM I, EM II.
...
20 04 2026 7:27:47
Статья в формате PDF
260 KB...
19 04 2026 4:44:36
Статья в формате PDF 284 KB...
18 04 2026 22:12:48
Статья в формате PDF
274 KB...
17 04 2026 15:44:14
Статья в формате PDF
470 KB...
16 04 2026 2:31:55
Статья в формате PDF
288 KB...
15 04 2026 7:30:13
Статья в формате PDF
132 KB...
14 04 2026 11:32:45
Статья в формате PDF
101 KB...
13 04 2026 17:37:46
Статья в формате PDF
259 KB...
12 04 2026 9:10:37
Статья в формате PDF
361 KB...
11 04 2026 20:25:42
Статья в формате PDF
100 KB...
09 04 2026 17:50:27
Статья в формате PDF
251 KB...
08 04 2026 3:56:18
Статья в формате PDF
105 KB...
07 04 2026 20:43:58
В условиях эксперимента доказано, что острый панкреатит и травма поджелудочной железы приводят к повышению гемоциркуляции в поджелудочной железы. Хроническая алкогольная интоксикация, длительное применение ингибиторов протонной помпы и сочетание этих условий статистически значимо снижают перфузию в поджелудочной железе, желудке и двенадцатиперстной кишке. Для коррекции развившихся изменений рекомендовано применять электромагнитные волны. При этом электромагнитные волны низкой интенсивности частотой 61 Ггц снижают показатели перфузии в органах брюшной полости. Излучение частотой 65 Ггц – увеличивает эти показатели.
...
06 04 2026 8:52:41
При анализе количества видов гельминтов (возбудителей зоонозов) у человека в 1999–2012 гг. увеличилось с 7 до 10 видов (на 30 %), в том числе цестод с 3 до 5 видов (на 40 %) и нематод с 4 до 5 видов (на 20 %). У человека и собак прослеживается биологический прогресс возбудителей зоонозов. Количества видов гельминтов у собак увеличилось с 5 до 8 видов (на 37,5 %), в т.ч. цестод с 2 до 3 видов (на 33,3 %) и нематод с 3 до 5 видов (на 40 %). В составе гельминтофауны общих для человека и животных доминировали классы Nematoda (6 видов) и Cestoda (5 видов) над классом Trematoda (3 вида).
...
05 04 2026 3:39:39
Статья в формате PDF
126 KB...
04 04 2026 15:54:34
Статья в формате PDF
115 KB...
03 04 2026 21:37:19
Статья в формате PDF
104 KB...
02 04 2026 15:47:31
01 04 2026 21:43:30
Статья в формате PDF
147 KB...
30 03 2026 11:47:19
Статья в формате PDF
300 KB...
29 03 2026 18:38:22
Статья в формате PDF
122 KB...
28 03 2026 0:53:22
Статья в формате PDF
156 KB...
27 03 2026 12:10:24
Статья в формате PDF
127 KB...
26 03 2026 1:28:22
Статья в формате PDF
104 KB...
25 03 2026 8:38:19
Статья в формате PDF
262 KB...
24 03 2026 10:27:38
Еще:
Поддержать себя -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 ::