ЭКСПЕРИМЕНТАЛЬНЫЕ ОБУЧАЮЩИЕ СИСТЕМЫ ДЛЯ АНАЛИТИЧЕСКОГО ДИФФЕРЕНЦИРОВАНИЯ И ИНТЕГРИРОВАНИЯ НА ЯЗЫКЕ 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
119 KB...
12 06 2026 3:42:14
Статья в формате PDF
88 KB...
10 06 2026 17:28:55
Статья в формате PDF
118 KB...
09 06 2026 17:23:52
Статья в формате PDF
249 KB...
08 06 2026 15:37:30
Статья в формате PDF
144 KB...
05 06 2026 18:41:12
Статья в формате PDF
117 KB...
04 06 2026 11:48:55
В статье рассмотрено понятие «финансовый леверидж» и его влияние на увеличение или уменьшение прибыли и собственного капитала предприятия.
...
03 06 2026 16:29:30
Статья в формате PDF
166 KB...
01 06 2026 16:21:53
Статья в формате PDF
109 KB...
31 05 2026 15:53:24
Применение большого спектра фармакологических препаратов, как природного происхождения, так и синтезированных требует создания стабильных условий, которые необходимы лечащему врачу при проведении все более усложняющихся ступеней вмешательства человека взаимодействие среды и живого организма. Неизбежным следствием применения лекарственных препаратов без учета механизма действия на структурно-функциональные свойства мембранных взаимодействий, является развитие побочных реакций, отличающихся по своей природе, тяжести клинических проявлений и скорости нарастания.
...
30 05 2026 22:10:46
Статья в формате PDF
175 KB...
28 05 2026 16:48:33
Статья в формате PDF
103 KB...
27 05 2026 1:34:16
При экспериментальном токсическом гепатите у крыс выявлено увеличение объема форменных элементов крови, ускорение свертывания крови и лимфы, увеличение их вязкости, ацидоз, уменьшение уровня гемоглобина в крови. Последнее связано с уменьшением средней концентрации гемоглобина в одном эритроците, несмотря на рост числа эритроцитов в крови. Этот факт, вероятно, связан с превращением в эритроцитах гемоглобина в метгемоглобин, который не участвует в газообмене. Таким образом, при токсическом гепатите ухудшаются реологические свойства крови и лимфы, их текучесть по сосудам на фоне выраженной анемии и снижении трaнcпортной функции лимфатической системы.
...
25 05 2026 18:24:44
Статья в формате PDF
114 KB...
24 05 2026 15:39:20
Статья в формате PDF
124 KB...
23 05 2026 13:11:14
Статья в формате PDF
112 KB...
21 05 2026 22:39:26
Статья в формате PDF
138 KB...
19 05 2026 20:10:27
Статья в формате PDF
249 KB...
18 05 2026 10:54:17
Статья в формате PDF
109 KB...
16 05 2026 8:19:35
Статья в формате PDF
132 KB...
15 05 2026 8:40:45
Статья в формате PDF
128 KB...
14 05 2026 17:26:43
В исследовании изучались и оценивались адаптивные реакции периферического звена кровообращения у дeвyшек 18-22 лет при локальных изометрических нагрузках нарастающей величины. Хаpaктерно, что с ростом прессорных воздействий на сосуды работающих мышц объемная скорость кровотока оставалась более высокой, чем в покое. В целом качество приспособительных реакций кровообращения было ниже у дeвyшек 18 лет при низких объемах выполняемой работы.
...
13 05 2026 21:52:48
Статья в формате PDF
115 KB...
12 05 2026 15:46:11
Статья в формате PDF
221 KB...
11 05 2026 10:14:10
Статья в формате PDF
115 KB...
09 05 2026 7:59:42
Статья в формате PDF
129 KB...
08 05 2026 23:13:28
Статья в формате PDF
91 KB...
07 05 2026 14:20:57
Статья в формате PDF
105 KB...
06 05 2026 22:31:49
Статья в формате PDF
106 KB...
05 05 2026 16:24:13
Статья в формате PDF
85 KB...
04 05 2026 5:44:15
Еще:
Поддержать себя -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 ::
