ЭКСПЕРИМЕНТАЛЬНЫЕ ОБУЧАЮЩИЕ СИСТЕМЫ ДЛЯ АНАЛИТИЧЕСКОГО ДИФФЕРЕНЦИРОВАНИЯ И ИНТЕГРИРОВАНИЯ НА ЯЗЫКЕ 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
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
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
Предлагается метод измерения температуры, с целью уменьшения погрешности измерений и увеличения точности бесконтактного измерения. Существенной особенностью предлагаемого метода является возможность использования двухступенчатого подхода с предварительной или дополнительной регистрацией состояния системы и теплового излучения для уточнения измерения температуры.
...
08 03 2023 18:18:44
Статья в формате PDF
101 KB...
07 03 2023 9:17:15
Статья в формате PDF
255 KB...
06 03 2023 7:42:40
Статья в формате PDF
355 KB...
05 03 2023 6:24:20
Статья в формате PDF
116 KB...
03 03 2023 12:18:13
Статья в формате PDF
263 KB...
02 03 2023 16:35:10
Статья в формате PDF
506 KB...
01 03 2023 7:52:20
Статья в формате PDF
131 KB...
28 02 2023 3:45:59
Статья в формате PDF
107 KB...
27 02 2023 13:48:54
Статья в формате PDF
194 KB...
25 02 2023 21:44:51
Статья в формате PDF
100 KB...
24 02 2023 6:36:16
Статья в формате PDF
114 KB...
23 02 2023 18:33:25
Статья в формате PDF
284 KB...
21 02 2023 3:30:51
Статья в формате PDF
124 KB...
20 02 2023 6:54:10
Статья в формате PDF
130 KB...
19 02 2023 4:49:37
Статья в формате PDF
361 KB...
18 02 2023 23:44:19
Статья в формате PDF
335 KB...
17 02 2023 19:21:52
Статья в формате PDF
278 KB...
16 02 2023 14:40:46
Статья в формате PDF
459 KB...
15 02 2023 12:33:22
Статья в формате PDF
113 KB...
14 02 2023 11:28:27
Статья в формате PDF
220 KB...
13 02 2023 21:29:55
Статья в формате PDF
131 KB...
12 02 2023 17:55:13
Статья в формате PDF
245 KB...
11 02 2023 18:30:47
Статья в формате PDF
145 KB...
09 02 2023 15:15:28
Статья в формате PDF
110 KB...
07 02 2023 22:31:44
Статья в формате PDF
324 KB...
05 02 2023 7:54:10
Статья в формате PDF
107 KB...
04 02 2023 8:36:32
Статья в формате PDF
474 KB...
03 02 2023 12:26:42
Статья в формате PDF
114 KB...
31 01 2023 4:30:41
Еще:
Поддержать себя -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 ::