Тысяча полезных мелочей    

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

31 08 2026 20:30:59

ШИШЕЛОВА ТАМАРА ИЛЬИНИЧНА

ШИШЕЛОВА ТАМАРА ИЛЬИНИЧНА Статья в формате PDF 179 KB...

30 08 2026 23:18:22

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

РЕАЛИЗАЦИЯ РАДИОЭЛЕКТРОННОЙ АППАРАТУРЫ НА ОСНОВЕ АНАЛОГО-ЦИФРОВЫХ БАЗОВЫХ МАТРИЧНЫХ КРИСТАЛЛОВ Статья в формате PDF 140 KB...

29 08 2026 18:26:42

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

КОРРЕЛЯЦИОННЫЙ АНАЛИЗ В ОЦЕНКЕ ВЛИЯНИЯ ВЕГЕТАТИВНОЙ ДИСРЕГУЛЯЦИИ НА РАЗВИТИЕ КАРДИОМИОПАТИИ ПРИ ХРОНИЧЕСКОМ ЭНДОТОКСИКОЗЕ Статья в формате PDF 116 KB...

28 08 2026 20:57:40

Морфофункциональные изменения эпителиоцитов волосяных фолликулов кожи морских свинок при воздействии рентгеновского излучения

Морфофункциональные изменения эпителиоцитов волосяных фолликулов кожи морских свинок при воздействии рентгеновского излучения Статья в формате PDF 104 KB...

27 08 2026 7:57:23

Функциональные модели гормонального статуса у девочек и дeвyшек-подростков в пубертатном возрасте

Функциональные модели гормонального статуса у девочек и дeвyшек-подростков в пубертатном возрасте Статья в формате PDF 119 KB...

26 08 2026 13:53:11

ИНФОРМАЦИОННО-СОЦИОЛОГИЧЕСКАЯ СИСТЕМА «ПОМОЩЬ ПОЖИЛЫМ ЛЮДЯМ»

ИНФОРМАЦИОННО-СОЦИОЛОГИЧЕСКАЯ СИСТЕМА «ПОМОЩЬ ПОЖИЛЫМ ЛЮДЯМ» Статья в формате PDF 101 KB...

25 08 2026 8:19:15

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

CТИМУЛИРОВАНИЕ МУЗЫКАЛЬНОЙ ДЕЯТЕЛЬНОСТИ УЧАЩИХСЯ В ПРОЦЕССЕ ОСВОЕНИЯ СОВРЕМЕННОЙ МАССОВОЙ МУЗЫКАЛЬНОЙ КУЛЬТУРЫ Статья в формате PDF 251 KB...

24 08 2026 2:20:15

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

КЛИНИЧЕСКАЯ ОЦЕНКА СИМПТОМОВ МАСТОПАТИИ У ЖЕНЩИН РЕПРОДУКТИВНОГО ВОЗРАСТА И В МЕНОПАУЗЕ Статья в формате PDF 144 KB...

23 08 2026 5:31:14

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

РАЗРАБОТКА ИНДИКАТОРНОЙ СРЕДЫ ДЛЯ СЕЛЕКТИВНОГО ВЫДЕЛЕНИЯ МИКРООРГАНИЗМОВ РОДА LISTERIA ИЗ ПАТОЛОГИЧЕСКОГО МАТЕРИАЛА РАЗЛИЧНОГО ПРОИСХОЖДЕНИЯ (ИСС-1) Статья в формате PDF 116 KB...

22 08 2026 5:38:56

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

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

21 08 2026 9:52:50

ЛИЧНОСТНО ОРИЕНТИРОВАННОЕ ОБУЧЕНИЕ ИНФОРМАТИКЕ НА ПРИМЕРЕ КУРСА «ПРОГРАММИРОВАНИЕ»

ЛИЧНОСТНО ОРИЕНТИРОВАННОЕ ОБУЧЕНИЕ ИНФОРМАТИКЕ НА ПРИМЕРЕ КУРСА «ПРОГРАММИРОВАНИЕ» Статья в формате PDF 111 KB...

20 08 2026 19:18:44

АССОЦИАЦИЯ ПОЛИМОРФНОГО ДНК – ЛОКУСА NCOI ГЕНА DRD2 И УРОВНЕЙ ДОФАМИНА С ПОВЫШЕННОЙ ТРЕВОЖНОСТЬЮ

АССОЦИАЦИЯ ПОЛИМОРФНОГО ДНК – ЛОКУСА NCOI ГЕНА DRD2 И УРОВНЕЙ ДОФАМИНА С ПОВЫШЕННОЙ ТРЕВОЖНОСТЬЮ В работе впервые приведены сведения об ассоциации полиморфного ДНК – локуса NcoI гена DRD2 и уровней дофамина с повышенной тревожностью у крыс с генотипом А2/А2 по локусу TAG 1A DRD2. ...

19 08 2026 5:16:20

УЧЕНИЕ АРИСТОТЕЛЯ О ЧЕЛОВЕЧЕСКОЙ ДУШЕ

УЧЕНИЕ АРИСТОТЕЛЯ О ЧЕЛОВЕЧЕСКОЙ ДУШЕ Статья в формате PDF 98 KB...

18 08 2026 5:18:18

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

МОРФОКОЛИЧЕСТВЕННЫЕ ПОКАЗАТЕЛИ ИЗМЕНЕНИЯ СИНАПСОВ В ПЕРЕДНИХ РОГАХ СЕРОГО ВЕЩЕСТВА СПИННОГО МОЗГА ПРИ ВОЗДЕЙСТВИИ РЕНТГЕНОВСКОГО ИЗЛУЧЕНИЯ, С ПРЕДШЕСТВУЮЩИМ ПРИМЕНЕНИЕМ ДВИГАТЕЛЬНОЙ НАГРУЗКИ Статья в формате PDF 125 KB...

17 08 2026 1:35:44

БИОДИНАМИКА ПРЫЖКОВ В ВЫСОТУ

БИОДИНАМИКА ПРЫЖКОВ В ВЫСОТУ Статья в формате PDF 657 KB...

16 08 2026 2:28:45

Управление рисками в системе бизнес –планирования

Управление рисками в системе бизнес –планирования Статья в формате PDF 112 KB...

15 08 2026 4:44:49

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

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

14 08 2026 20:22:36

ХОРЕВ МИХАИЛ АНАТОЛЬЕВИЧ

ХОРЕВ МИХАИЛ АНАТОЛЬЕВИЧ Статья в формате PDF 81 KB...

13 08 2026 9:52:36

ПРИРОДА И ДРЕВНИЕ ЦИВИЛИЗАЦИИ (учебно-методическое пособие)

ПРИРОДА И ДРЕВНИЕ ЦИВИЛИЗАЦИИ (учебно-методическое пособие) Статья в формате PDF 108 KB...

12 08 2026 17:20:57

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

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

11 08 2026 16:32:29

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

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

10 08 2026 12:39:13

«КИТАЙСКИЙ ФАКТОР» РЕГИОНАЛЬНОЙ ПОЛИТИКИ РФ: ПРОБЛЕМЫ, РИСКИ, УГРОЗЫ

«КИТАЙСКИЙ ФАКТОР» РЕГИОНАЛЬНОЙ ПОЛИТИКИ РФ: ПРОБЛЕМЫ, РИСКИ, УГРОЗЫ Статья в формате PDF 117 KB...

09 08 2026 7:52:20

АНАЛИЗ ВРЕДНЫХ И ОПАСНЫХ ФАКТОРОВ НА УЧАСТКЕ ОЛОВЯНИРОВАНИЯ ЦЕХА №53 ФГУП «МПЗ»

АНАЛИЗ ВРЕДНЫХ И ОПАСНЫХ ФАКТОРОВ НА УЧАСТКЕ ОЛОВЯНИРОВАНИЯ ЦЕХА №53 ФГУП «МПЗ» Статья в формате PDF 265 KB...

08 08 2026 23:48:54

ОПЫТ ЛЕЧЕНИЯ РОНКОЛЕЙКИНОМ БОЛЬНЫХ HCV-ИНФЕКЦИЕЙ

ОПЫТ ЛЕЧЕНИЯ РОНКОЛЕЙКИНОМ БОЛЬНЫХ HCV-ИНФЕКЦИЕЙ Статья в формате PDF 110 KB...

07 08 2026 6:36:30

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

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

06 08 2026 11:15:41

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

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

05 08 2026 20:56:10

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

МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ В ПРОЦЕССАХ РОТАЦИОННОЙ КОВКИ Статья в формате PDF 737 KB...

04 08 2026 22:25:50

ОПТИМИЗАЦИЯ ПРОЦЕССА ОТВОДА БИОГЕННОГОСЕРОВОДОРОДА ИЗ АНАЭРОБНОГО БИОРЕАКТОРА

ОПТИМИЗАЦИЯ ПРОЦЕССА ОТВОДА БИОГЕННОГОСЕРОВОДОРОДА ИЗ АНАЭРОБНОГО БИОРЕАКТОРА Статья в формате PDF 280 KB...

03 08 2026 6:49:57

ОХРАНА ЗДОРОВЬЯ ДЕТЕЙ В УСЛОВИЯХ ОБРАЗОВАТЕЛЬНОГО УЧРЕЖДЕНИЯ. КАК ФАКТОР СОЦИАЛЬНО-ЭКОНОМИЧЕСКОГО РАЗВИТИЯ УЛЬЯНОВСКОЙ ОБЛАСТИ

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

02 08 2026 12:43:11

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

ОСНОВНЫЕ ТЕНДЕНЦИИ РАЗВИТИЯ ПРОМЫШЛЕННОСТИ В 2011 ГОДУ Статья в формате PDF 282 KB...

01 08 2026 10:20:23

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

ОБРАЗ ПАДЧЕРИЦЫ КАК НАРОДНЫЙ ИДЕАЛ В СКАЗКАХ О МАЧЕХЕ И ПАДЧЕРИЦЕ Статья в формате PDF 264 KB...

31 07 2026 16:25:26

РОСТОСТИМУЛИРУЮЩАЯ АКТИВНОСТЬ АРИЛИДЕНПРОИЗВОДНЫХ ПИРИДАЗИН-3-ОНОВ И 3Н-ПИРРОЛ-2-ОНОВ

РОСТОСТИМУЛИРУЮЩАЯ АКТИВНОСТЬ АРИЛИДЕНПРОИЗВОДНЫХ ПИРИДАЗИН-3-ОНОВ И 3Н-ПИРРОЛ-2-ОНОВ Нами впервые синтезированные арилиденпроизводные пиридазин-3-онов и 3Н-пиррол-2-онов исследованы на ростостимулирующую активность. Установлено, что 6-R-4-арилиден-пиридазин-3-оны, имеющие два атома азота в кольце, и N-арил-4-бром-3-арилиден-3Н-пиррол-2-оны обладают умеренной ростостимулирующей активностью. Можно утверждать, что выявленны синтетические ростостимулирующие соединения, которые проявляют свойства близкородственных натуральным гормонам веществ. ...

30 07 2026 23:28:55

Прострaнcтвенная организация ценопопуляций cichorium intybus l

Прострaнcтвенная организация ценопопуляций cichorium intybus l Статья в формате PDF 113 KB...

29 07 2026 12:23:17

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

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

28 07 2026 7:58:41

МОДЕЛИРОВАНИЕ СЛОЖНЫХ ЭКОНОМИЧЕСКИХ СИСТЕМ НА ОСНОВЕ МЕТОДОВ ИСКУССТВЕННОГО ИНТЕЛЛЕКТА

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

27 07 2026 13:28:44

PROFESSIONAL SOCIAL GROWING OF PERSONS IN SYSTEM OF CONSUMERS' COOPERATIVE SOCIETY

PROFESSIONAL SOCIAL GROWING OF PERSONS IN SYSTEM OF CONSUMERS' COOPERATIVE SOCIETY Статья в формате PDF 221 KB...

26 07 2026 3:54:36

ХРОНИЧЕСКИЙ АЛКОГОЛЬНЫЙ ГЕПАТИТ КАК ФОРМА АЛКОГОЛЬНОЙ БОЛЕЗНИ ПЕЧЕНИ

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

25 07 2026 10:15:49

ОСОБЕННОСТИ СТАФИЛОКОККОВОЙ КОНТАМИНАЦИИ В ПОКРОВНЫЕ ТКАНИ

ОСОБЕННОСТИ СТАФИЛОКОККОВОЙ КОНТАМИНАЦИИ В ПОКРОВНЫЕ ТКАНИ Статья в формате PDF 173 KB...

24 07 2026 6:38:51

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

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

23 07 2026 9:39:16

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