ЭКСПЕРИМЕНТАЛЬНЫЕ ОБУЧАЮЩИЕ СИСТЕМЫ ДЛЯ АНАЛИТИЧЕСКОГО ДИФФЕРЕНЦИРОВАНИЯ И ИНТЕГРИРОВАНИЯ НА ЯЗЫКЕ HASKELL > Полезные советы
Тысяча полезных мелочей    

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

ЭКСПЕРИМЕНТАЛЬНЫЕ ОБУЧАЮЩИЕ СИСТЕМЫ ДЛЯ АНАЛИТИЧЕСКОГО ДИФФЕРЕНЦИРОВАНИЯ И ИНТЕГРИРОВАНИЯ НА ЯЗЫКЕ 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 теоремы о единственности продолжения функции дифференцирования из области целостности в поле отношений и других теорем дифференциальной и компьютерной алгебр.

СПИСОК ЛИТЕРАТУРЫ.

  1. Душкин Р.В. Функциональное программирование на языке Haskell. - М.: Изд. АМК. 2007 - 605 с.
  2. Тарушкин В.Т., Тарушкин П.В., Тарушкина Л.Т. Экспериментальные обучающие системы для аналитического интегрирования и дифференцирования. Международная конференция «Европейская интеграция высшего образования», Черногория, 2008 г.

Работа представлена на научную международную конференцию «Приоритетные направления развития науки, технологий и техники», Шарм-эль-шейх (Египет), 20-27 ноября 2008 г. Поступила в редакцию 27.10.2008.



ЗНАЧЕНИЕ РЕШЕНИЯ ЗАДАЧ ПРИ ОБУЧЕНИИ ФИЗИКЕ

ЗНАЧЕНИЕ РЕШЕНИЯ ЗАДАЧ ПРИ ОБУЧЕНИИ ФИЗИКЕ Статья в формате PDF 312 KB...

12 04 2024 21:13:15

ЭКЗАМЕНАЦИОННАЯ ТРЕВОЖНОСТЬ У СТУДЕНТОВ

ЭКЗАМЕНАЦИОННАЯ ТРЕВОЖНОСТЬ У СТУДЕНТОВ Статья в формате PDF 96 KB...

11 04 2024 15:12:55

АЛЕКСАНДР НАЗАРОВИЧ БЕЛЯЕВ

АЛЕКСАНДР НАЗАРОВИЧ БЕЛЯЕВ Статья в формате PDF 392 KB...

08 04 2024 10:33:35

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

НЕКОТОРЫЕ ПОКАЗАТЕЛИ БИЛИАРНОГО ЛИТОГЕНЕЗА У ПАЦИЕНТОВ С ОПИСТОРХОЗОМ И ХОЛЕЛИТИАЗОМ В РАННИЕ СРОКИ ПОСЛЕ ТЕРАПИИ БИЛЬТРИЦИДОМ И УРСОСАНОМ Обследовано 33 пациента с описторхозом и холелитиазом. Проведена сравнительная оценка некоторых показателей холестеринового, пигментного, белкового обмена в пузырной и печеночной порции желчи у обследованных пациентов до и после терапии бильтрицидом и урсосаном. Выявлено, что у пациентов с описторхозом и холелитиазом в ранние сроки после монотерапии бильтрицидом отмечается увеличение нуклеирующих факторов и литогенных свойств желчи, обусловленных усилением холестаза и гиперпротеинбилией. Назначение урсосана позволяет избежать активации литогенеза и увеличения литогенных свойств желчи в ранние сроки после терапии бильтрицидом. ...

05 04 2024 0:41:51

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

ВИСТ СТРУКТУРЫ В УЧЕБНОМ МОДЕЛИРОВАНИИ Статья в формате PDF 282 KB...

04 04 2024 3:38:55

Почвенно-растительный мониторинг дельты Волги

Почвенно-растительный мониторинг дельты Волги Статья в формате PDF 127 KB...

01 04 2024 1:54:17

ЭКОНОМИЧЕСКОЕ СОДЕРЖАНИЕ ЗЕМЕЛЬНОГО НАЛОГА

ЭКОНОМИЧЕСКОЕ СОДЕРЖАНИЕ ЗЕМЕЛЬНОГО НАЛОГА Статья в формате PDF 135 KB...

29 03 2024 5:31:19

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

ИСПОЛЬЗОВАНИЕ МЕТОДА ДИАГОНАЛЬНОЙ СЕГМЕНТАРНОЙ АМПЛИТУДОМЕТРИИ ДЛЯ ДИАГНОСТИКИ ФУНКЦИОНАЛЬНОГО СОСТОЯНИЯ СПОРТСМЕНОВ Методика диагональной сегментарной амплитудометрии, заключающаяся в регистрации амплитуды колебаний активного и реактивного сопротивления тканей человеческого организма, широко используемая в медицинской пpaктике, начинает применяться в спорте для контроля за функциональным состоянием спортсменов в различные периоды учебно-тренировочного процесса. Результаты, полученные данным методом, показывают, что различия в проводимости тканей определяются видом спорта, а также квалификацией спортсменов. Проводимость тканей более устойчива в подготовительный период по сравнению с соревновательным. Суммарная нестабильность проводимости тканей выше на соревнованиях более высокого уровня. ...

28 03 2024 10:13:24

НОВАЯ ПАРАДИГМА ДЛЯ ПЕДАГОГИКИ

НОВАЯ ПАРАДИГМА ДЛЯ ПЕДАГОГИКИ Статья в формате PDF 154 KB...

24 03 2024 8:14:36

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

ОПРЕДЕЛЕНИЕ АБСОЛЮТНОЙ И ОТНОСИТЕЛЬНОЙ МАССЫ КОСТНОГО КОМПОНЕНТА В ВЕСЕ ТЕЛА, А ТАКЖЕ ОПРЕДЕЛЕНИЕ СОДЕРЖАНИЯ ГИДРОКСИАПАТИТА КАЛЬЦИЯ В ТРУБЧАТЫХ КОСТЯХ У КРУПНОГО РОГАТОГО СКОТА И ЛОСЕЙ Под минерализацией в химическом анализе понимается разложение органических веществ и материалов на их основе с целью выделения определяемых элементов в виде устойчивых неорганических соединений. Среди методов разрушения органических компонентов следует выделить сухое и мокрое озоление – нагревание с кислотами – окислителями. ...

22 03 2024 2:40:46

МЕХАНИЗМЫ АДАПТАЦИИ

МЕХАНИЗМЫ АДАПТАЦИИ В статье раскрываются адаптационная деятельность организма, показано, что функциональная система регуляции кровообращения представляет собой многоконтурную, иерархически организованную систему, в которой доминирующая роль отдельных звеньев определяется текущими потребностями организма. ...

12 03 2024 21:33:33

Еще:
Поддержать себя -1 :: Поддержать себя -2 :: Поддержать себя -3 :: Поддержать себя -4 :: Поддержать себя -5 :: Поддержать себя -6 :: Поддержать себя -7 :: Поддержать себя -8 :: Поддержать себя -9 :: Поддержать себя -10 :: Поддержать себя -11 :: Поддержать себя -12 :: Поддержать себя -13 :: Поддержать себя -14 :: Поддержать себя -15 :: Поддержать себя -16 :: Поддержать себя -17 :: Поддержать себя -18 :: Поддержать себя -19 :: Поддержать себя -20 :: Поддержать себя -21 :: Поддержать себя -22 :: Поддержать себя -23 :: Поддержать себя -24 :: Поддержать себя -25 :: Поддержать себя -26 :: Поддержать себя -27 :: Поддержать себя -28 :: Поддержать себя -29 :: Поддержать себя -30 :: Поддержать себя -31 :: Поддержать себя -32 :: Поддержать себя -33 :: Поддержать себя -34 :: Поддержать себя -35 :: Поддержать себя -36 :: Поддержать себя -37 :: Поддержать себя -38 ::