ЭКСПЕРИМЕНТАЛЬНЫЕ ОБУЧАЮЩИЕ СИСТЕМЫ ДЛЯ АНАЛИТИЧЕСКОГО ДИФФЕРЕНЦИРОВАНИЯ И ИНТЕГРИРОВАНИЯ НА ЯЗЫКЕ HASKELL
На основе языка 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.
Статья в формате PDF
104 KB...
01 12 2022 8:31:51
Статья в формате PDF
257 KB...
30 11 2022 8:27:24
Статья в формате PDF
302 KB...
29 11 2022 23:51:38
Статья в формате PDF
124 KB...
28 11 2022 1:50:22
Статья в формате PDF
196 KB...
27 11 2022 6:58:12
Авторами проведено комплексное исследование сосудистых и нервных структур всего органокомплекса брюшной полости, что позволило подтвердить общие морфологические закономерности, свойственные млекопитающим отряда хищных, выявить хаpaктерные видовые и внутривидовые особенности васкуляризации и иннервации у пушных зверей клеточного содержания. Полученные новые данные о морфологии сосудистых и нервных образований органов брюшной полости млекопитающих являются оригинальными и дают не только полное представление об изученных структурах, но позволяют морфофункционально интерпретировать адаптогенные процессы, протекающие в интегративно-координационных системах организма пушных зверей, находящихся под интенсивным антропогенным воздействием в процессе доместикации.
...
26 11 2022 3:15:22
Обсуждается проблема описания устойчивости почвенных экосистем в рамках принципа Ле Шателье-Брауна.
...
25 11 2022 3:27:21
Статья в формате PDF
124 KB...
23 11 2022 23:58:46
Статья в формате PDF
94 KB...
21 11 2022 18:50:41
Статья в формате PDF
253 KB...
20 11 2022 2:17:25
Статья в формате PDF
108 KB...
19 11 2022 15:51:10
Статья в формате PDF
170 KB...
17 11 2022 23:38:10
Статья в формате PDF
127 KB...
16 11 2022 2:18:53
Статья в формате PDF
258 KB...
15 11 2022 9:46:14
Агропромышленный комплекс Кабардино-Балкарской Республики функционирует на основе сложной системы межотраслевых и территориально-производственных связей. Хаpaктерной чертой сельского хозяйства становится все большая интеграция с другими отраслями народного хозяйства, прежде всего с промышленностью. На региональном уровне агропромышленный комплекс решает также вопросы планомерной ликвидации социально-экономических и культурно-бытовых различий между городом и селом.
...
14 11 2022 21:51:16
Статья в формате PDF
313 KB...
13 11 2022 13:22:31
Статья в формате PDF
95 KB...
12 11 2022 2:19:21
Статья в формате PDF
164 KB...
11 11 2022 8:50:43
Статья в формате PDF
205 KB...
10 11 2022 8:15:34
Статья в формате PDF
262 KB...
09 11 2022 7:30:41
Статья в формате PDF
152 KB...
08 11 2022 1:46:52
Статья в формате PDF
134 KB...
07 11 2022 0:56:43
Статья в формате PDF
100 KB...
06 11 2022 0:35:23
Статья в формате PDF
317 KB...
05 11 2022 12:35:32
Статья в формате PDF
131 KB...
03 11 2022 9:46:45
Статья в формате PDF
132 KB...
02 11 2022 15:36:51
Статья в формате PDF
90 KB...
31 10 2022 20:59:59
Статья в формате PDF
261 KB...
30 10 2022 2:50:49
Статья в формате PDF
114 KB...
29 10 2022 9:57:44
Статья в формате PDF
143 KB...
28 10 2022 15:58:36
Статья в формате PDF
119 KB...
27 10 2022 0:45:20
Установлен факт защитного влияния нового бионического режима импульсно-гипоксических адаптаций на восстановительные процессы коры мозга после удаления внутричерепных опухолей у нейрохирургических больных. Механизмом протекции мозга от рецидива злокачественных опухолей может быть согласование ритмов энергопродукции и энергопотрeбления в процессе формирования адаптации.
...
26 10 2022 19:58:16
Статья в формате PDF
137 KB...
25 10 2022 5:45:38
Статья в формате PDF
133 KB...
24 10 2022 21:23:55
Статья в формате PDF
119 KB...
23 10 2022 5:46:17
При выборочной обработке произрастающих деревьев первым действием всегда является отбор их по качеству древесины. В связи с этим цель статьи – показать методологическую возможность разработки и уточнения системы акустических показателей древесины (САПД) применительно к действиям отбора растущих деревьев для последующей механической обработки древесины.
...
22 10 2022 15:36:26
Статья в формате PDF
123 KB...
21 10 2022 3:58:25
Статья в формате PDF
162 KB...
19 10 2022 7:51:14
Статья в формате PDF
141 KB...
18 10 2022 8:21:52
Статья в формате PDF
121 KB...
17 10 2022 17:55:23
Статья в формате PDF
266 KB...
16 10 2022 7:42:41
Статья в формате PDF
123 KB...
15 10 2022 10:59:57
Статья в формате PDF
207 KB...
14 10 2022 20:58:38
Статья в формате PDF
170 KB...
13 10 2022 11:23:28
Еще:
Поддержать себя -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 ::
ИССЛЕДОВАНИЯ СТРУКТУРЫ И СВОЙСТВ НИКОТРИРОВАННЫХ ПОКРЫТИЙ
ВЛИЯНИЕ ТИПА ШЕИ НА СТЕРЕОМОРФОМЕТРИЧЕСКИЕ ХАРАКТЕРИСТИКИ ПЕРСТНЕВИДНОГО ХРЯЩА У ВЗРОСЛЫХ
КЛИНИКО-МИКРОБИОЛОГИЧЕСКАЯ ЭФФЕКТИВНОСТЬ БАД"ТРИЛАКТ" В КОМПЛЕКСНОЙ ТЕРАПИИ ХРОНИЧЕСКОЙ СОМАТИЧЕСКОЙ ПАТОЛОГИИ
ИНСУЛИНРЕЗИСТЕНТНОСТЬ ПРИ ОЖИРЕНИИ: ПРИЧИНЫ И МЕХАНИЗМЫ
ВРОЖДЕННЫЕ ПОРОКИ СЕРДЦА У ДЕТЕЙ В ПЕРМСКОМ КРАЕ
ЛИМНОЛОГИЧЕСКАЯ ХАРАКТЕРИСТИКА МАЛЫХ ВОДОЕМОВ СЕВЕРО-ЗАПАДНОЙ ЧАСТИ РОССИИ И ИХ ЭКОНОМИЧНОЕ ИСПОЛЬЗОВАНИЕ
МЕТОД НЕРАЗРУШАЮЩЕГО КОНТРОЛЯ ПАРАМЕТРОВ ТЕКСТУРЫ И ДЕФЕКТНОСТИ ПОВЕРХНОСТЕЙ ДЕТАЛЕЙ НА ОСНОВЕ ПРИМЕНЕНИЯ КОМПОЗИЦИОННЫХ ОТТИСКНО –СЛЕПОЧНЫХ МАТЕРИАЛОВ
Динамика показателей когнитивных расстройств в процессе психофармакотерапии больных шизофренией
Математическая модель сушки зерна в сушилках с подвижным слоем
ОСОБЕННОСТИ ИСПОЛЬЗОВАНИЯ СЮРРЕАЛИЗМА В СОВРЕМЕННОМ ДЕКОРАТИВНО-ПРИКЛАДНОМ ИСКУССТВЕ
БИОЛОГИЧЕСКИЕ СИСТЕМЫ В СОВРЕМЕННОЙ ЕСТЕСТВЕННОНАУЧНОЙ КАРТИНЕ МИРА (часть I)
АНАЛИЗ ВРЕДНЫХ И ОПАСНЫХ ФАКТОРОВ НА УЧАСТКЕ ОЛОВЯНИРОВАНИЯ ЦЕХА №53 ФГУП «МПЗ»
ФАКТОРЫ ПЕРСИСТЕНЦИИ STAPHYLOCOCCUS AUREUS И KLEBSIELLA PNEUMONIAE, ВЫДЕЛЕННЫХ ПРИ РАЗЛИЧНЫХ НОЗОЛОГИЧЕСКИХ ФОРМАХ ЗАБОЛЕВАНИЯ
ПРОБЛЕМЫ ОКАЗАНИЯ АКУШЕРСКО-ГИНЕКОЛОГИЧЕСКОЙ ПОМОЩИ В СУДЕБНО-МЕДИЦИНСКОМ АСПЕКТЕ
ПЕРСПЕКТИВЫ ВТОРИЧНЫХ ПРОДУКТОВ ПЕРЕРАБОТКИ РАПСА В ОБЕСПЕЧЕНИИ ПРОИЗВОДСТВА БИОЛОГИЧЕСКИ ПОЛНОЦЕННЫХ ПРОДУКТОВ ПИТАНИЯ НА МЯСНОЙ И РЫБНОЙ ОСНОВЕ
НЕКОТОРЫЕ АСПЕКТЫ ПРОИЗВОДСТВА ХЛЕБА ФУНКЦИОНАЛЬНОГО НАЗНАЧЕНИЯ
СОВРЕМЕННЫЙ ЭТАП РАЗВИТИЯ НАУКИ И ФОРМИРОВАНИЕ НАУЧНОГО МЫШЛЕНИЯ У СТУДЕНТОВ МЛАДШИХ КУРСОВ
СОСТАВ И СТРУКТУРА ХРОМОНИКЕЛЕВЫХ ЭЛЕКТРОИСКРОВЫХ ПОКРЫТИЙ НА СТАЛИ 45
ВЛИЯНИЕ ГРИБОВ РОДА CANDIDA НА СИНТЕЗ ЦИТОКИНОВ ИММУННЫМИ КЛЕТКАМИ ПЕРИФЕРИЧЕСКОЙ КРОВИ ЧЕЛОВЕКА IN VITRO
ПСИХОСОМАТИЧЕСКИЙ ПОДХОД В ГЕРОНТОПСИХИАТРИИ
Строительного материалы на основе металлической матрицы и неметаллического наполнителя
ОСНОВНЫЕ ПРИНЦИПЫ УПРАВЛЕНИЯ ПРОИЗВОДСТВОМ, ПРОБЛЕМЫ ИХ ИСПОЛЬЗОВАНИЯ И КОНТРОЛЯ
РАЗВИТИЕ СПЕЦИАЛЬНЫХ ПРОФЕССИОНАЛЬНЫХ КОМПЕТЕНЦИЙ КУРСАНТОВ ВУЗОВ ФЕДЕРАЛЬНОЙ СЛУЖБЫ ИСПОЛНЕНИЯ НАКАЗАНИЙ РОССИЙСКОЙ ФЕДЕРАЦИИ
ПЕРЕВОД БЕЗЭКВИВАЛЕНТНЫХ ГРАММАТИЧЕСКИХ КОНСТРУКЦИИ (НА ПРИМЕРЕ НЕЛИЧНЫХ ФОРМ ГЛАГОЛА) 
ПОДШИПНИКИ КАЧЕНИЯ С ПЛАСТИЧНОЙ СМАЗКОЙ
ПОСТЧЕЛОВЕЧЕСКОЕ БУДУЩЕЕ: ТРАНСГУМАНИЗМ И ИМОРТАЛИЗМ
Динамика формирования продуктивного стeблестоя растений озимой пшеницы на каштановых почвах юга России
ЛЕКЦИЯ С ЗАПЛАНИРОВАННЫМИ ОШИБКАМИ В СТРУКТУРЕ УЧЕБНОЙ ДИСЦИПЛИНЫ «ДОКУМЕНТАЦИОННОЕ ОБЕСПЕЧЕНИЕ УПРАВЛЕНИЯ В КОММЕРЧЕСКИХ ОРГАНИЗАЦИЯХ»
КОРРЕЛЯЦИОННЫЕ ВЗАИМОСВЯЗИ МЕЖДУ ПОКАЗАТЕЛЯМИ ГЕМОСТАЗА, ЛИПИДНОГО ОБМЕНА И КАРДИОГЕМОДИНАМИКИ У БОЛЬНЫХ ГИПЕРТОНИЧЕСКОЙ БОЛЕЗНЬЮ 3 СТАДИИ, СОЧЕТАЮЩЕЙСЯ СО СТЕНОКАРДИЕЙ 3 ФУНКЦИОНАЛЬНОГО КЛАССА, ОСЛОЖНЕННОЙ ПОСТОЯННОЙ ФОРМОЙ ФИБРИЛЛЯЦИИ ПРЕДСЕРДИЙ
БИОХИМИЯ КРОВИ (учебное пособие)
ПЕДИАТРИЧЕСКИЕ АСПЕКТЫ ФАРМАКОЛОГИИ (учебное пособие)
ПРОБЛЕМА РЕАЛИЗАЦИИ СИСТЕМ МЕНЕДЖМЕНТА КАЧЕСТВА, СООТВЕТСТВУЮЩИХ ТРЕБОВАНИЯМ ГОСТ Р ИСО 9001-2001, НА РОССИЙСКИХ ПРЕДПРИЯТИЯХ
ДОЛГОВЕЧНОСТЬ ПОЛИМЕРНЫХ КОНСЕРВАНТОВ ПАМЯТНИКОВ
КЛИНИЧЕСКИЕ ОСОБЕННОСТИ ЮВЕНИЛЬНЫХ АРТРИТОВ В ГОРОДСКИХ И СЕЛЬСКИХ РАЙОНАХ РОСТОВСКОЙ ОБЛАСТИ
ГЕНЕРАТОРЫ ОЗОНО-ГИДРОКСИЛЬНОЙ СМЕСИ И ИХ ПРИМЕНЕНИЕ В ЭКОЛОГИЧЕСКИХ ЗАДАЧАХ