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

ЭКСПЕРИМЕНТАЛЬНЫЕ ОБУЧАЮЩИЕ СИСТЕМЫ ДЛЯ АНАЛИТИЧЕСКОГО ДИФФЕРЕНЦИРОВАНИЯ И ИНТЕГРИРОВАНИЯ НА ЯЗЫКЕ 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ктического применения

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

30 10 2026 15:29:46

Фармако-иглорефлексотерапия у больных хроническим об-структивным бронхитом и бронхиальной астмой

Фармако-иглорефлексотерапия у больных хроническим об-структивным бронхитом и бронхиальной астмой Статья в формате PDF 106 KB...

29 10 2026 10:45:47

ЮРИДИЧЕСКАЯ ПРИРОДА «ЗОЛОТОЙ АКЦИИ»

ЮРИДИЧЕСКАЯ ПРИРОДА «ЗОЛОТОЙ АКЦИИ» Статья в формате PDF 106 KB...

28 10 2026 15:58:37

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

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

27 10 2026 18:43:33

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

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

26 10 2026 21:34:12

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

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

25 10 2026 11:47:34

ЛИМФАТИЧЕСКАЯ СИСТЕМА: ОПРЕДЕЛЕНИЕ

ЛИМФАТИЧЕСКАЯ СИСТЕМА: ОПРЕДЕЛЕНИЕ Лимфатическая система на всех уровнях своей организации и этапах своего развития в эволюции и онтогенезе представляет собой специализированный дренажный отдел сердечно-сосудистой системы, коллатеральный к венам. ...

24 10 2026 14:10:54

ТИПОГРАФИКА (учебное пособие)

ТИПОГРАФИКА (учебное пособие) Статья в формате PDF 116 KB...

23 10 2026 5:24:14

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

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

22 10 2026 18:27:40

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

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

21 10 2026 23:49:27

СПЕЦИФИКА ЭТНОКУЛЬТУРНОГО КОНФЛИКТА В КАЛИФОРНИИ 19 ВЕКА (НА МАТЕРИАЛЕ ПРОИЗВЕДЕНИЯ МАРИИ АМПАРО РУИС ДЕ БЁРТОН СКВАТТЕР И ДОН)

СПЕЦИФИКА ЭТНОКУЛЬТУРНОГО КОНФЛИКТА В КАЛИФОРНИИ 19 ВЕКА (НА МАТЕРИАЛЕ ПРОИЗВЕДЕНИЯ МАРИИ АМПАРО РУИС ДЕ БЁРТОН СКВАТТЕР И ДОН) Статья в формате PDF 147 KB...

20 10 2026 9:41:11

АККРЕДИТАЦИЯ И ОБЕСПЕЧЕНИЕ КАЧЕСТВА В ВЫСШЕМ ОБРАЗОВАНИИ

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

19 10 2026 6:45:57

МНОГОУРОВНЕВАЯ СИСТЕМА ОБРАЗОВАНИЯ: ОСОБЕННОСТИ И ПЕРСПЕКТИВЫ

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

18 10 2026 2:51:10

Расчет трaнcдермальной абсорбции компонентов минеральных растворов в роговом слое эпидермиса

Расчет трaнcдермальной абсорбции компонентов минеральных растворов в роговом слое эпидермиса Статья в формате PDF 103 KB...

17 10 2026 3:53:20

ВОЗДЕЙСТВИЕ ЛЕСНЫХ ПОЖАРОВ В ТУВЕ НА БИОРАЗНООБРАЗИЕ

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

16 10 2026 15:43:56

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

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

15 10 2026 22:52:59

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

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

14 10 2026 18:31:58

НЕМАТОДЫ – БИОИНДИКАТОРЫ ПРИРОДНЫХ ВОДОЕМОВ

НЕМАТОДЫ – БИОИНДИКАТОРЫ ПРИРОДНЫХ ВОДОЕМОВ Статья в формате PDF 457 KB...

13 10 2026 9:18:14

МЕСТНЫЕ НЕТРАДИЦИОННЫЕ КОРМОВЫЕ ДОБАВКИ В ЖИВОТНОВОДСТВЕ

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

12 10 2026 14:24:28

Опыт сочетанного применения стимуляторов гемопоэза и гипербарической оксигенации при выполнении расширенных вмешательств на легких

Опыт сочетанного применения стимуляторов гемопоэза и гипербарической оксигенации при выполнении расширенных вмешательств на легких Статья в формате PDF 101 KB...

11 10 2026 12:36:54

Формирование эффективной стратегии образовательного учреждения

Формирование эффективной стратегии образовательного учреждения Статья в формате PDF 114 KB...

10 10 2026 3:26:24

ГЕНЕТИКА ПОВЕДЕНИЯ: АССОЦИАЦИЯ ГЕНОТИПА ПО ЛОКУСУ TAG 1A DRD2

ГЕНЕТИКА ПОВЕДЕНИЯ: АССОЦИАЦИЯ ГЕНОТИПА ПО ЛОКУСУ TAG 1A DRD2 В работе впервые приведены сведения об особенностях аудиогенной чувствительности и поведения в «открытом поле» двух групп крыс, гомозиготных по локусу TAG 1A DRD2. ...

09 10 2026 23:20:48

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

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

08 10 2026 23:23:47

КУРИТЕЛЬНЫЕ ТРУБКИ КОНЦА XVIII – НАЧАЛА XIX ВЕКОВ ИЗ ШУЙСКОГО РАСКОПА

КУРИТЕЛЬНЫЕ ТРУБКИ КОНЦА XVIII – НАЧАЛА XIX ВЕКОВ ИЗ ШУЙСКОГО РАСКОПА Статья в формате PDF 494 KB...

07 10 2026 10:35:26

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

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

06 10 2026 4:29:28

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

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

05 10 2026 3:21:15

Методы факторного анализа прибыли коммерческого банка

Методы факторного анализа прибыли коммерческого банка Статья в формате PDF 327 KB...

04 10 2026 4:59:29

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

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

03 10 2026 4:29:49

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

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

02 10 2026 15:57:41

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

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

01 10 2026 23:22:47

ГИПОТЕЗА ОБ ОБЪЕМНОЙ БИОРЕГУЛЯЦИИ

ГИПОТЕЗА ОБ ОБЪЕМНОЙ БИОРЕГУЛЯЦИИ Статья в формате PDF 109 KB...

30 09 2026 17:36:14

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

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

29 09 2026 22:57:53

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

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

28 09 2026 15:10:23

Закономерности экспертных оценок о сотрудничестве России и Европейского Союза в сфере образования

Закономерности экспертных оценок о сотрудничестве России и Европейского Союза в сфере образования Реформы в образовании ума человека происходят всегда до новых циклов экономического возрождения из кризисов. Это запаздывание весьма большое у России. В развитых странах цикл реформ в образовании начинается за 3–5 лет до начала экономических реформ. Но в России долго запрягают, а потом несутся напролом, на авось. Поэтому колебательное возмущение мнений экспертов превалирует над постоянством, – менталитет очень неровный. Предлагается принципиально новая методика, основанная на анализе устойчивых закономерностей с волновыми составляющими и полученная по конкретным экспертным оценкам. Цель статьи – кратко показать возможности методологии идентификации свойств поведения у групп экспертов, как неких условных популяций много знающих и оценивающих людей, а также привести критерии поведенческой динамики по тем или иным экспертным оценкам об интернационализации российского образования. ...

27 09 2026 22:54:55

ЭКОЛОГИЧЕСКАЯ ПРОБЛЕМА В КОНТЕКСТЕ РАЗВИТИЯ НРАВСТВЕННОГО СОЗНАНИЯ: В.С. СОЛОВЬЁВ И СОВРЕМЕННОСТЬ

ЭКОЛОГИЧЕСКАЯ ПРОБЛЕМА В КОНТЕКСТЕ РАЗВИТИЯ НРАВСТВЕННОГО СОЗНАНИЯ: В.С. СОЛОВЬЁВ И СОВРЕМЕННОСТЬ Статья в формате PDF 128 KB...

26 09 2026 11:43:25

СОСТАВЛЕНИЕ И РЕШЕНИЕ УРАВНЕНИЙ ЛАГРАНЖА I РОДА

СОСТАВЛЕНИЕ И РЕШЕНИЕ УРАВНЕНИЙ ЛАГРАНЖА I РОДА Статья в формате PDF 834 KB...

25 09 2026 0:31:30

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

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

24 09 2026 17:12:20

РОЛЬ МИКРОРНК В РЕГУЛЯЦИИ ЦИРКАДИАННЫХ РИТМОВ У МЛЕКОПИТАЮЩИХ

РОЛЬ МИКРОРНК В РЕГУЛЯЦИИ ЦИРКАДИАННЫХ РИТМОВ У МЛЕКОПИТАЮЩИХ В настоящем обзоре проанализированы и обобщены современные данные о роли микро-РНК (miРНК) в тонкой подстройке циркадианных биологических часов (БЧ) на уровне центрального осциллятора (супрахиазматических ядер гипоталамуса, СХЯ) и в периферических тканях и органах. Обсуждаются механизмы воздействия miРНК (miR-132, miR-216, miR-182, miR-96, miR-122, miR-141, miR-192/94, miR-206) на этапы экспрессии ключевых генов БЧ. Продемонстрировано опосредованное этим влияние miРНК на параметры циркадианного ритма (период, амплитуда, фазовый ответ на внешний световой сигнал), а также участие данных процессов в модуляции физиологических ритмов на более высоких уровнях организации млекопитающих. ...

23 09 2026 5:17:43

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

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

22 09 2026 13:10:28

ЭКСКАВАТОРЫ НА КАРЬЕРАХ. КОНСТРУКЦИИ, ЭКСПЛУАТАЦИЯ, РАСЧЕТ

ЭКСКАВАТОРЫ НА КАРЬЕРАХ. КОНСТРУКЦИИ, ЭКСПЛУАТАЦИЯ, РАСЧЕТ Статья в формате PDF 115 KB...

21 09 2026 14:20:36

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