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

17 05 2025 17:52:53

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

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

16 05 2025 15:55:50

ХАРАКТЕРИСТИКА ФАГОЦИТОЗА И АПОПТОЗ НЕЙТРОФИЛЛОВ ПРИ АЛЛЕРГИЧЕСКОМ ВОСПАЛЕНИИ

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

15 05 2025 23:40:20

УПРАВЛЕНИЕ УСТОЙЧИВЫМ РАЗВИТИЕМ КУРОРТНО-РЕКРЕАЦИОННОГО РЕГИОНА (НА ПРИМЕРЕ РЕГИОНА КАВКАЗСКИХ МИНЕРАЛЬНЫХ ВОД.)

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

14 05 2025 2:13:59

ФУНКЦИОНАЛЬНОЕ ХИРУРГИЧЕСКОЕ ЛЕЧЕНИЕ ДИСТРОФИЧЕСКИ – ДЕСТРУКТИВНОГО ПРОЦЕССА В МЫЩЕЛКАХ ПЛЕЧЕВОЙ КОСТИ

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

13 05 2025 4:15:37

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

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

12 05 2025 4:17:27

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

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

11 05 2025 3:34:53

СОБСТВЕННОСТЬ НА ЗЕМЛЮ: ИСТОРИОГРАФИЧЕСКИЙ АСПЕКТ

Статья «Собственность на землю: историографический аспект» представляет собой историографический анализ проблемы отношений собственности на землю с точки зрения различных школ экономической мысли. В ней раскрываются противоречия теории земельной собственности с современной пpaктикой землепользования. ...

10 05 2025 15:28:27

Проблема обеспечения гарантий прав и свобод человека

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

09 05 2025 9:51:35

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

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

08 05 2025 17:13:15

ВЗГЛЯД НА ПЕРСПЕКТИВЫ РАЗВИТИЯ НАУКИ В ВУЗАХ РОССИИ В НАЧАЛЕ XXI ВЕКА

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

07 05 2025 20:24:24

Применение антибиотиков группы фторхинолонов в комплексном лечении больных хроническим пародонтитом

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

06 05 2025 1:41:14

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

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

05 05 2025 14:27:54

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

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