ЭКСПЕРИМЕНТАЛЬНЫЕ ОБУЧАЮЩИЕ СИСТЕМЫ ДЛЯ АНАЛИТИЧЕСКОГО ДИФФЕРЕНЦИРОВАНИЯ И ИНТЕГРИРОВАНИЯ НА ЯЗЫКЕ 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
125 KB...
22 05 2026 15:55:42
Статья в формате PDF
243 KB...
21 05 2026 11:44:34
Статья в формате PDF
125 KB...
20 05 2026 12:34:16
Статья в формате PDF
243 KB...
19 05 2026 4:31:30
Статья в формате PDF
269 KB...
17 05 2026 3:38:12
Статья в формате PDF
90 KB...
16 05 2026 16:58:19
Статья в формате PDF
105 KB...
15 05 2026 19:14:25
Статья в формате PDF
122 KB...
13 05 2026 21:38:26
Статья в формате PDF
250 KB...
12 05 2026 12:38:34
Статья в формате PDF
107 KB...
11 05 2026 15:10:29
Статья в формате PDF
144 KB...
09 05 2026 5:20:46
Статья в формате PDF
276 KB...
08 05 2026 13:42:12
Статья в формате PDF
253 KB...
07 05 2026 17:39:34
Статья в формате PDF
138 KB...
06 05 2026 12:20:47
Статья в формате PDF
93 KB...
04 05 2026 3:47:59
Статья в формате PDF
112 KB...
03 05 2026 8:38:59
Статья в формате PDF
150 KB...
02 05 2026 21:17:53
Статья в формате PDF
106 KB...
01 05 2026 6:35:49
Статья в формате PDF
253 KB...
30 04 2026 6:33:41
Статья в формате PDF
122 KB...
29 04 2026 6:17:55
Статья в формате PDF
112 KB...
28 04 2026 13:31:16
Статья в формате PDF
146 KB...
27 04 2026 20:38:47
Статья в формате PDF
137 KB...
26 04 2026 14:44:26
Статья в формате PDF
112 KB...
25 04 2026 4:36:48
Статья в формате PDF
103 KB...
24 04 2026 14:30:36
Исследования проведены на 128 пoлoвoзрелых крысах различного пола, содержавшихся в «курительных камерах» в течение 60 дней с ежедневной затравкой животных в течение 1 часа. Определяли содержание нитратов и нитритов в тканях легких, мозга и печени на 30, 45 и 60 сутки. Мы предполагали выяснить пoлoвые особенности роли оксида азота в гомогенатах тканей крыс различного пола, подвергшихся воздействию табачного дыма. Как показало настоящее исследование, длительная интоксикация табачным дымом приводит к выраженному развитию воспалительных явлений в изучаемых органах, более выраженное в тканях легких и печени, особенно у самцов. В генезе выявленных морфологических и морфометрических изменений в исследуемых тканях лежит активизация индуцибельной формы оксида азота, что приводит к прогрессированию воспалительных и оксидативных явлений. Выявлен пoлoвoй диморфизм в регуляции уровня оксида азота.
...
23 04 2026 2:39:23
Статья в формате PDF
131 KB...
22 04 2026 12:36:41
Статья в формате PDF
337 KB...
21 04 2026 1:14:18
Исследовано водно- и спирто-щелочное расщепление 1,4-бис (диметилэтил-, диэтилметил и диметилфенацил)-2,3-дибромбут-2-ениленаммоний дигалоген-идов. Показано, что в отличие от их триметильного аналога, во всех случаях расщепление протекает в довольно жестких условиях (высокие температуры, избыток щелочи), с образованием сложной смеси продуктов.
...
20 04 2026 15:27:40
Статья в формате PDF
146 KB...
19 04 2026 5:40:39
Статья в формате PDF
245 KB...
17 04 2026 1:48:41
Статья в формате PDF
215 KB...
16 04 2026 14:23:54
Статья в формате PDF
241 KB...
15 04 2026 11:38:39
Статья в формате PDF
116 KB...
13 04 2026 9:31:34
Еще:
Поддержать себя -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 ::
