ЭКСПЕРИМЕНТАЛЬНЫЕ ОБУЧАЮЩИЕ СИСТЕМЫ ДЛЯ АНАЛИТИЧЕСКОГО ДИФФЕРЕНЦИРОВАНИЯ И ИНТЕГРИРОВАНИЯ НА ЯЗЫКЕ HASKELL

Авторы
Файлы

Тарушкин В.Т. Тарушкин П.В. Тарушкина Л.Т. Статья в формате PDF 97 KB

На основе языка 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 132 KB...

23 03 2026 23:45:53

Использование α-(2-фурфурилокси)-ω-(триэтилсилокси)алканов в качестве стимуляторов роста бактерий в процессе биологической очистки сточных вод

Статья в формате PDF 308 KB...

22 03 2026 11:38:13

ИЗМЕНЕНИЕ ПОКАЗАТЕЛЕЙ ФУНКЦИОНАЛЬНОЙ АКТИВНОСТИ МАКРОФАГОВ ЭНДОМЕТРИЯ У ЖЕНЩИН С МИОМОЙ МАТКИ ПОД ВЛИЯНИЕМ ПРЕПАРАТА «СУПЕРЛИМФ»

Статья в формате PDF 115 KB...

21 03 2026 20:19:20

Влияние фенибута, пантогама и пикамилона на процессы репаратив-ной регенерации гепатоцитов в условии их токсического поражения парацетамолом и ЧХУ

Статья в формате PDF 107 KB...

20 03 2026 6:44:11

ВОССТАНОВЛЕНИЕ АНАТОМИИ И ФИЗИОЛОГИИ ЛОБНЫХ ПАЗУХ ПОСЛЕ ИХ ВСКРЫТИЯ

Статья в формате PDF 109 KB...

19 03 2026 2:48:15

ИСПОЛЬЗОВАНИЕ БИОХИМИЧЕСКИХ КРИТЕРИЕВ КОНТРОЛЯ СОРЕВНОВАТЕЛЬНОЙ ДЕЯТЕЛЬНОСТИ ПЛОВЦОВ В ПРОЦЕССЕ МНОГОЛЕТНЕЙ ПОДГОТОВКИ

Статья в формате PDF 108 KB...

18 03 2026 22:22:44

ОПРОВЕРЖЕНИЕ КЛАССИЧЕСКОЙ ФИЗИКИ НЬЮТОНА

1. Второй закон Ньютона в катастрофе – это неоспоримый факт. 2. Нужно думать, что после такой катастрофы вся классическая физика полетит к черту, вместе с физиками, которые попытаются ее защищать. 3. Ученые физики всех стран попали в капкан, у них дилемма: или они признают теорию Ростовцева, или им грозит скамья подсудимых за ложную науку и обман человечества. 4. Всю классическую физику нужно пересмотреть и поставить на теоретическую основу. ...

17 03 2026 0:54:46

БИОЛОГИЧЕСКИЕ СИСТЕМЫ В СОВРЕМЕННОЙ ЕСТЕСТВЕННОНАУЧНОЙ КАРТИНЕ МИРА (Часть II)

Изложены ключевые положения главных системных концепций современного естествознания — системологии (общей теория систем) и синергетики (теории самоорганизующихся систем). Рассмотрены основные свойства системных объектов: дискретность, элемент, связи, структура, паттерн, организация, целостность, интеграция, иерархия, управление, самоорганизация. Охаpaктеризованы особенности биологических систем: обмен веществ, итеративность, дискретность (прострaнcтвенная и временная), избыток структурных элементов и связей между ними, наследственность и изменчивость, способность к самоорганизации и саморазвитию, раздражимость и возбудимость, способность к адаптации, самовоспроизведение (размножение). ...