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



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

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

26 11 2022 3:15:22

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

ТЕРМОДИНАМИЧЕСКИЕ КРИТЕРИИ УСТОЙЧИВОСТИ ПОЧВЕННЫХ ЭКОСИСТЕМ И ПРОБЛЕМЫ ТОЧНОГО ЗЕМЛЕДЕЛИЯ Обсуждается проблема описания устойчивости почвенных экосистем в рамках принципа Ле Шателье-Брауна. ...

25 11 2022 3:27:21

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

ГЛОБАЛИЗАЦИЯ И ЕЕ ВЛИЯНИЕ НА КУЛЬТУРНЫЕ ПРОЦЕССЫ Статья в формате PDF 180 KB...

24 11 2022 2:16:50

КАЧЕСТВО ЖИЗНИ БОЛЬНЫХ ПОСЛЕ РЕЛАПАРОТОМИИ

КАЧЕСТВО ЖИЗНИ БОЛЬНЫХ ПОСЛЕ РЕЛАПАРОТОМИИ Статья в формате PDF 242 KB...

22 11 2022 1:31:45

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

МИКОПЕЙЗАЖ КОЖИ РАБОЧИХ МУКОМОЛЬНОГО ПРОИЗВОДСТВА Статья в формате PDF 108 KB...

19 11 2022 15:51:10

ОСНОВЫ НАУЧНЫХ ИССЛЕДОВАНИЙ

ОСНОВЫ НАУЧНЫХ ИССЛЕДОВАНИЙ Статья в формате PDF 370 KB...

18 11 2022 4:24:37

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

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

14 11 2022 21:51:16

СПАМ-ФИЛЬТРЫ И БЛОКИРАТОРЫ

СПАМ-ФИЛЬТРЫ И БЛОКИРАТОРЫ Статья в формате PDF 276 KB...

04 11 2022 21:12:16

ШУБЕРТ ЭДУАРД ЕВГЕНЬЕВИЧ

ШУБЕРТ ЭДУАРД ЕВГЕНЬЕВИЧ Статья в формате PDF 149 KB...

01 11 2022 19:16:56

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

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

26 10 2022 19:58:16

АКУСТИЧЕСКИЕ ПОКАЗАТЕЛИ ДРЕВЕСИНЫ РАСТУЩИХ ДЕРЕВЬЕВ

АКУСТИЧЕСКИЕ ПОКАЗАТЕЛИ ДРЕВЕСИНЫ РАСТУЩИХ ДЕРЕВЬЕВ При выборочной обработке произрастающих деревьев первым действием всегда является отбор их по качеству древесины. В связи с этим цель статьи – показать методологическую возможность разработки и уточнения системы акустических показателей древесины (САПД) применительно к действиям отбора растущих деревьев для последующей механической обработки древесины. ...

22 10 2022 15:36:26

СУБТРОПИЧЕСКИЕ РАСТЕНИЯ ФЛОРЫ КАВКАЗА

СУБТРОПИЧЕСКИЕ РАСТЕНИЯ ФЛОРЫ КАВКАЗА Статья в формате PDF 121 KB...

20 10 2022 13:56:54

Еще:
Поддержать себя -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 ::