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

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

На основании анализа прострaнcтвенного размещения редких и уникальных для Кемеровской области растительных сообществ рассматривается возможность оптимизации пpaктического сохранения регионального биоразнообразия. В качестве возможного механизма охраны предлагается вариант локального изменения размеров водоохранных зон путем делегирования органам местного самоуправления права принятия оперативных решений при определении их границ. ...

06 07 2022 23:51:55

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

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

05 07 2022 13:23:23

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

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

04 07 2022 0:54:34

Степень АВ0-изоиммунизации женского организма

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

03 07 2022 4:53:28

КОРПОРАТИВНАЯ СОЦИАЛЬНАЯ ОТВЕТСТВЕННОСТЬ: МИРОВАЯ И ОТЕЧЕСТВЕННАЯ ПРАКТИКА

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

02 07 2022 18:23:29

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

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

01 07 2022 17:47:54

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

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

30 06 2022 17:36:54

УГНЕТАЮЩЕЕ ВЛИЯНИЕ МЕЛОКСИКАМА НА ИНДУЦИРОВАННЫЙ КАНЦЕРОГЕНЕЗ МОЛОЧНОЙ ЖЕЛЕЗЫ

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

29 06 2022 1:32:44

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

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

28 06 2022 23:14:23

ПУТИ ОПТИМИЗАЦИИ ГОРОДСКИХ ЭКОСИСТЕМ (НА ПРИМЕРЕ Г. УЛЬЯНОВСКА)

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

27 06 2022 4:39:55

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

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

26 06 2022 3:42:46

ПРИМЕНЕНИЕ ND: YAG-ЛАЗЕРА ПРИ КОНСЕРВАТИВНОЙ МИОМЭКТОМИИ

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

25 06 2022 10:18:36

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

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

24 06 2022 11:57:49

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

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

23 06 2022 23:59:48

ВЛИЯНИЕ ГОРНОДОБЫВАЮЩЕЙ ПРОМЫШЛЕННОСТИ НА ПРИРОДНУЮ СРЕДУ В ПРИОХОТЬЕ (НА ПРИМЕРЕ РУДНИКА «РЯБИНОВЫЙ»)

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

22 06 2022 20:10:12

ОСНОВЫ ЦЕЛЕПОЛАГАНИЯ, ОРИЕНТИРОВАННОГО НА ВОСПИТАНИЕ ЦЕННОСТЕЙ

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

21 06 2022 10:26:55

Заживление суставного хряща при имплантации минерального компонента костного матрикса

В эксперименте на пoлoвoзрелых крысах Wistar исследованы особенности регенерации суставного хряща коленного сустава после имплантации в зону повреждения гранулированного минерального компонента костного матрикса (МККМ), полученного по оригинальной технологии. Установлено, что МККМ имеет упорядоченную высокопористую структуру, близкую к естественной архитектонике костного матрикса и химический состав, соответствующий минеральному составу кости. МККМ обладает выраженными хондро- и остеиндуктивными свойствами, обеспечивает пролонгированную активизацию репаративного процесса, ускоренное органотипическое ремоделирование и восстановление поврежденного суставного хряща. ...