ЭКСПЕРИМЕНТАЛЬНЫЕ ОБУЧАЮЩИЕ СИСТЕМЫ ДЛЯ АНАЛИТИЧЕСКОГО ДИФФЕРЕНЦИРОВАНИЯ И ИНТЕГРИРОВАНИЯ НА ЯЗЫКЕ 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 124 KB...

20 09 2026 13:51:21

АНАЛИЗ ЭКСПЛУАТАЦИОННЫХ ХАРАКТЕРИСТИК МНОГОЦЕЛЕВОГО СТАНОЧНОГО КОМПЛЕКСА VM32 И ВОЗМОЖНОСТИ ИХ РАСШИРЕНИЯ

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

19 09 2026 2:31:12

ПРИНЦИП «НИГИЛИЗМА» В ОБРАЗОВАТЕЛЬНОМ ПРОСТРАНСТВЕ ВУЗА

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

18 09 2026 2:46:59

ВЗАИМОДЕЙСТВИЕ АНАЛОГА ПЕПТИДА СЛИЯНИЯ ИЗ ГЕМАГГЛЮТИНИНА ВИРУСА ГРИППА С ФОСФОЛИПИДНЫМИ ЛИПОСОМАМИ: ИЗУЧЕНИЕ МЕТОДОМ 31Р-ЯМР

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

17 09 2026 6:32:45

РОЛЬ АУДИТОРИИ В УЧЕБНОМ ПРОЦЕССЕ

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

16 09 2026 2:12:44

ВЛИЯНИЕ ИСПОЛЬЗОВАНИЯ МЕТОДИКИ УВЕЛИЧЕНИЯ РОСТА НА МОРФО-ФУНКЦИОНАЛЬНЫЕ ПОКАЗАТЕЛИ БАСКЕТБОЛИСТОВ 10-12 ЛЕТ

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

15 09 2026 18:18:46

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

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

14 09 2026 9:36:43

СИНТЕЗ И ПРИМЕНЕНИЕ КОМПЛЕКСОНОВ, ПРОИЗВОДНЫХ ЯНТАРНОЙ КИСЛОТЫ, В ПРОМЫШЛЕННОСТИ И СЕЛЬСКОМ ХОЗЯЙСТВЕ

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

13 09 2026 14:47:33

УПРУГО-ЭЛАСТИЧЕСКИЕ СВОЙСТВА СОСУДИСТОЙ СТЕНКИ У БОЛЬНЫХ САХАРНЫМ ДИАБЕТОМ 2 ТИПА

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

12 09 2026 22:54:26

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

В работе изучен мозговой кровоток и его взаимосвязь с нарушением гемореологии у больных хроническими гнойными заболеваниями придаточных пазух носа в остром периоде черепно-мозговой травмы. ...

11 09 2026 6:18:56

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

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

10 09 2026 0:21:47

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

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

09 09 2026 8:50:44

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

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

08 09 2026 14:52:54

ГЛУЩЕНКО ЛЮДМИЛА ФЁДОРОВНА

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

07 09 2026 7:54:43

КОНЦЕПТУАЛЬНЫЕ ОСНОВЫ ПРОФЕССИОНАЛЬНО-ЛИЧНОСТНОГО СТАНОВЛЕНИЯ СТУДЕНТОВ ПЕДВУЗА

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

06 09 2026 0:19:46

ЭКОНОМИКА ТОРГОВОГО ПРЕДПРИЯТИЯ И ПОДГОТОВКА ТОВАРОВЕДОВ-ЭКСПЕРТОВ

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

05 09 2026 9:43:52

ВОЗДЕЙСТВИЕ ЭЛЕКТРОМАГНИТНОГО ИЗЛУЧЕНИЯ ЛЭП-110 кВ НА ОБЩУЮ ЧИСЛЕННОСТЬ МИКРООРГАНИЗМОВ ПОЧВЫ

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

04 09 2026 7:35:29

СОРБЕНТЫ ИЗ ОТХОДОВ ТЭС

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

03 09 2026 2:16:31

ПАТОФИЗИОЛОГИЧЕСКОЕ ЗНАЧЕНИЕ ТРАНСИНТЕСТИНАЛЬНОЙ ТРАНСЛОКАЦИИ БАКТЕРИЙ

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

02 09 2026 9:43:15

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

Проводился анализ изменений биоэлектрической активности головного мозга и сверхмедленной активности в нервной, дыхательной и сердечно-сосудистой системах в процессе адаптивного биоуправления с биологической обратной связью по параметрам церебральной гемодинамики и медитации. Осуществлялась регистрация сверхмедленной активности нервной и сердечно-сосудистой систем и локализация биоэлектрической активности нервной системы. Выявлено вовлечение различных мозговых структур в реализацию поведенческих стратегий в группах обучившихся различным видам самоуправления, что говорит о различии механизмов достижения конечного результата. Полученные результаты свидетельствуют о вовлечении кардиореспираторной синхронизации в изменение биоэлектрической активности только при релаксации с помощью адаптивного биоуправления. Осуществлена проверка резонансной гипотезы релаксации, согласно которой при совпадении частот изменения дыхания, биоэлектрической активности мозга, сердечного ритма и сосудистого тонуса происходит усиление активности в вовлекаемых в резонансный ответ структурах. ...