ЭКСПЕРИМЕНТАЛЬНЫЕ ОБУЧАЮЩИЕ СИСТЕМЫ ДЛЯ АНАЛИТИЧЕСКОГО ДИФФЕРЕНЦИРОВАНИЯ И ИНТЕГРИРОВАНИЯ НА ЯЗЫКЕ 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 102 KB...
23 04 2024 3:21:34
Статья в формате PDF 123 KB...
22 04 2024 16:14:29
Статья в формате PDF 115 KB...
20 04 2024 9:17:28
Статья в формате PDF 121 KB...
19 04 2024 10:51:50
Статья в формате PDF 174 KB...
18 04 2024 4:36:51
Статья в формате PDF 107 KB...
17 04 2024 22:38:34
Статья в формате PDF 111 KB...
16 04 2024 5:55:55
Статья в формате PDF 119 KB...
15 04 2024 16:23:52
В статье рассматривается понятие речевого воздействия и его интерпретации в лингвистике. Понятие эффективности речевого воздействия и его особенностей раскрывается на материале англоязычных предисловий к учебным изданиям. ...
14 04 2024 23:43:45
Статья в формате PDF 266 KB...
13 04 2024 4:25:49
Изучены особенности биологии и некоторые демографические хаpaктеристики двух популяций озерной лягушки (Rana ridibunda Pall.), случайно интродуцированной в водоемы-охладители тепловых станций, на территории Среднего Урала. Условия существования в новых водоемах оказались благоприятными. За интродукцией последовало самостоятельное расселение, обе популяции в настоящее время занимают значительную территорию. Животные, обитающие в этих популяциях, отличаются по размерно-возрастному составу размножающихся особей, типу нереста, плодовитости. Полученные данные позволяют утверждать, что обнаруженные различия носят адаптивный хаpaктер. ...
11 04 2024 20:54:29
Статья в формате PDF 105 KB...
10 04 2024 9:20:32
Статья в формате PDF 125 KB...
08 04 2024 9:21:50
Статья в формате PDF 137 KB...
07 04 2024 15:34:24
Статья в формате PDF 114 KB...
06 04 2024 20:55:17
Статья в формате PDF 103 KB...
05 04 2024 23:28:39
Статья в формате PDF 121 KB...
04 04 2024 2:54:12
Статья в формате PDF 117 KB...
03 04 2024 15:16:45
Статья в формате PDF 167 KB...
02 04 2024 19:48:38
Статья в формате PDF 102 KB...
01 04 2024 12:11:33
Статья в формате PDF 121 KB...
31 03 2024 5:23:15
Статья в формате PDF 119 KB...
29 03 2024 1:57:13
Статья в формате PDF 103 KB...
28 03 2024 22:44:17
Приведены результаты оценки степени антропогенной преобразованности природных ландшафтов Южной Якутии. В качестве объекта исследований была принята территория Алдано-Тимптонского междуречья. В пределах исследуемой территории охаpaктеризованы пять выделенных физико-географических провинций в зависимости от их степени преобразованности. ...
27 03 2024 0:45:31
Статья в формате PDF 240 KB...
26 03 2024 20:44:56
Статья в формате PDF 400 KB...
25 03 2024 21:13:24
Статья в формате PDF 129 KB...
24 03 2024 19:50:35
Статья в формате PDF 104 KB...
23 03 2024 2:57:29
Статья в формате PDF 119 KB...
21 03 2024 19:42:51
20 03 2024 17:39:57
Статья в формате PDF 300 KB...
18 03 2024 4:23:18
Статья в формате PDF 172 KB...
17 03 2024 12:18:51
Статья в формате PDF 111 KB...
16 03 2024 23:10:40
Еще:
Поддержать себя -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 ::