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

10 10 2026 0:21:58

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

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

09 10 2026 13:53:49

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

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

08 10 2026 23:20:44

Изучение углов в стереометрии как подготовительная работа к теме «Многогранники»

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

07 10 2026 19:10:27

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

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

06 10 2026 1:13:31

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

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

05 10 2026 4:18:55

Механическое устройство для измерения патологической подвижности зубов

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

04 10 2026 0:45:53

УРОВЕНЬ ПРЕДЭКЗАМЕНАЦИОННОГО БЕСПОКОЙСТВА – ТРЕВОГИ И УСПЕВАЕМОСТЬ СТУДЕНТОВ

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

03 10 2026 9:44:58

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

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

02 10 2026 16:53:58

ЭЛЕКТРОННЫЕ УЧЕБНО–МЕТОДИЧЕСКИЕ КОМПЛЕКСЫ ПО ОБЩЕПРОФЕССИОНАЛЬНЫМ ДИСЦИПЛИНАМ

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

01 10 2026 14:42:54

РАЗВИТИЕ СОСУДИСТОГО ЭНДОТЕЛИЯ В РАННЕМ ПЕРИОДЕ ЭМБРИОГЕНЕЗА МЛЕКОПИТАЮЩИХ

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

30 09 2026 4:46:50

РОССИЙСКИЙ ВЕКТОР ГЕОЭКОНОМИЧЕСКОГО ОЛИМПА

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

29 09 2026 5:51:33

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

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

28 09 2026 5:49:41

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

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

27 09 2026 18:27:46

ФУНКЦИОНАЛЬНОЕ СОСТОЯНИЕ ПОЧЕК БОЛЬНЫХ, СТРАДАЮЩИХ КОАРКТАЦИЕЙ АОРТЫ

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

26 09 2026 9:44:10

ГОСУДАРСТВЕННОЕ РЕГУЛИРОВАНИЕ СЕКТОРА ИНТЕРНЕТ В КНР КАК ФАКТОР СОХРАНЕНИЯ КУЛЬТУРНОЙ ИДЕНТИЧНОСТИ

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

25 09 2026 20:12:58

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

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

24 09 2026 12:16:51

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

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

23 09 2026 0:46:29

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

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

22 09 2026 7:49:44

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

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