ЭКСПЕРИМЕНТАЛЬНЫЕ ОБУЧАЮЩИЕ СИСТЕМЫ ДЛЯ АНАЛИТИЧЕСКОГО ДИФФЕРЕНЦИРОВАНИЯ И ИНТЕГРИРОВАНИЯ НА ЯЗЫКЕ 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
114 KB...
12 06 2026 11:58:33
Статья в формате PDF
111 KB...
11 06 2026 13:50:16
Статья в формате PDF
117 KB...
09 06 2026 3:12:22
Статья в формате PDF
253 KB...
08 06 2026 13:31:25
Статья в формате PDF
100 KB...
06 06 2026 6:46:24
Статья в формате PDF
148 KB...
05 06 2026 20:56:23
Статья в формате PDF
263 KB...
04 06 2026 7:18:54
Статья в формате PDF
121 KB...
02 06 2026 8:16:20
Статья в формате PDF
239 KB...
31 05 2026 17:56:31
Статья в формате PDF
459 KB...
30 05 2026 17:52:46
Статья в формате PDF
121 KB...
29 05 2026 21:54:20
Статья в формате PDF
125 KB...
28 05 2026 8:26:33
Статья в формате PDF
125 KB...
27 05 2026 7:25:44
Статья в формате PDF
99 KB...
26 05 2026 6:44:26
Статья в формате PDF
138 KB...
25 05 2026 2:33:17
В статье представлены новые морфометрические параметры щитовидной железы, которые дополняют и вместе с тем расширяют наше представление о функциональной активности органа. Приведенная морфометрическая программа является уникальным инструментом физиологического анализа.
...
24 05 2026 16:35:36
Статья в формате PDF
108 KB...
23 05 2026 20:40:59
Статья в формате PDF
121 KB...
22 05 2026 20:33:34
Статья в формате PDF
253 KB...
20 05 2026 6:48:57
Статья в формате PDF
126 KB...
19 05 2026 1:33:34
Статья в формате PDF
298 KB...
18 05 2026 6:27:51
Статья в формате PDF
123 KB...
17 05 2026 12:43:55
Статья в формате PDF
384 KB...
16 05 2026 7:47:34
Статья в формате PDF
109 KB...
12 05 2026 10:27:24
Статья в формате PDF
149 KB...
11 05 2026 18:29:16
Статья в формате PDF
129 KB...
10 05 2026 13:43:12
Статья в формате PDF
143 KB...
09 05 2026 1:30:57
Статья в формате PDF
105 KB...
08 05 2026 11:50:33
Статья в формате PDF
314 KB...
07 05 2026 9:10:16
Статья в формате PDF
219 KB...
06 05 2026 22:11:44
Методами ДТА и РФА исследованы фазовые равновесия в системе Tl2S-Tl2Te-Tl9SbTe6 (А). Построены политермическое сечение Tl2S-Tl9SbTe6 и изотермическое сечение при 400К фазовой диаграммы, а также проекция поверхности ликвидуса системы А. Установлено, что она является квазитройным фрагментом четверной системы Tl-Sb-S-Te и хаpaктеризуется образованием широких областей твердых растворов на основе исходных соединений. Поверхность ликвидуса системы А состоит из трех полей, отвечающих первичной кристаллизации твердых растворов на основе соединений Tl2S, Tl2Te и Tl9SbTe6. В работе также обсуждены особенности фазовых равновесий в аналогичных системах и, в частности, показано, что все шесть систем данного типа хаpaктеризуются образованием твердых растворов на основе исходных соединений, причем наиболее широкие области гомогенности имеют соединения типа Tl9BVX6.
...
05 05 2026 18:55: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 ::
