ЭЛЕМЕНТАРНАЯ ТЕОРИЯ ГРУПП В СИСТЕМЕ DEDUCTIO > Полезные советы
Тысяча полезных мелочей    

ЭЛЕМЕНТАРНАЯ ТЕОРИЯ ГРУПП В СИСТЕМЕ DEDUCTIO

ЭЛЕМЕНТАРНАЯ ТЕОРИЯ ГРУПП В СИСТЕМЕ DEDUCTIO

Тарушкин В.Т. Тарушкин П.В. Тарушкина Л.Т. Юрков А.В. Статья в формате PDF 110 KB В соответствии с системой Deductio [1] приводятся результаты моделирования на ЭВМ доказательств элементарной теории абелевых групп, изучавшейся в курсе "Дискретная математика" факультета ПМ - ПУ СПбГУ. Доказаны автоматически формализованные теоремы: T1.|- (a + b) + c = a + (b + c) , (6); T2. |- a + b = b + a, (4); T3. |- a + o = a, (1) ; T4. |- a+ (- a) = o, (1); T5. |- (- a) + a = o, (3); T6. |- o + a = a, (4); T7. |- a + x = a x = o, (26); T8 |- x + a = a x = o, (3); и другие. Здесь, например, T2. |- a + b = b + a , (4) обозначает теорему номер два (закон коммутативности), доказательство которой на ЭВМ автоматически нумеруется 10-ю формулами, из которых только 4 непосредственно задают её вывод в то время как 6- ю формулами нумеруются аксиомы, знак доказуемости |- и формула, которую нужно доказать. Если в качестве групповой операции выбрано умножение, то наличие приведенных выше формализованных доказательств позволяет без труда получить теоремы: T1´. |- (ab)c = a(bc), T2´. |- ab = ba, T3´. |- a 1 = a, T4´. |- a a - 1 = 1, T5´. |- a -1 a = 1, T6´.|- 1 a = a, T7´. |- a x = ax = 1, T8´. |- x a = a x = 1 и другие. Если вместо T4´ (T5´ соответственно) взять в качестве аксиом a ≠ o a a -1 = 1 и добавить закон дистрибутивности a (b +c) = ab + ac, то получим поле с выделенными в нём теоремами теории групп, а если ещё добавить аксиомы дифференцирования [2] D(a+b) = Da + Db, Dab = a Db + b Da, то получим теорию DF дифференциальных полей, основной изучаемой моделью которой является поле мероморфных функций комплексного переменного. Когда к теории добавляется уравнение Абеля, определяющее алгебраические функции, а также уравнение [2] Dx = Dy/y, задающее логарифм и экспоненту, то это позволяет ввести элементарные функции, а классификация Лиувилля этих функций позволит построить счетное множество дифференциальных алгебр, простейшей из которых будет ({ sh x , ch x }, D). К алгебрам присоединяется и изучается операция интегрирования [2].

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

  1. Смирнов В.А., Маркин В.И., Новодворский А.Е., Смирнов А.В.Логика и компьютер, Вып. 3. Доказательство и его поиск. - М.: Наука, 1996. - 255 c.
  2. Дэвенпорт Дж. Интегрирование алгебраических функций. - М.: Мир, 1985. - 190 c.


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

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

26 04 2024 12:49:11

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

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

25 04 2024 14:48:28

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

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

24 04 2024 7:55:39

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

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

23 04 2024 3:16:21

ПОИСК И ИЗУЧЕНИЕ ФАКТОРОВ, ВЫЗЫВАЮЩИХ ПРОРАСТАНИЕ БАЗИДИОСПОР

ПОИСК И ИЗУЧЕНИЕ ФАКТОРОВ, ВЫЗЫВАЮЩИХ ПРОРАСТАНИЕ БАЗИДИОСПОР Статья в формате PDF 93 KB...

22 04 2024 15:12:25

МОРОЖЕНОЕ С ИСПОЛЬЗОВАНИЕМ ЯДРА ПОДСОЛНЕЧНИКА

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

21 04 2024 5:30:37

СТАТИСТИЧЕСКИЙ АНАЛИЗ УНИВЕРСИТЕТСКИХ РЕЙТИНГОВ

СТАТИСТИЧЕСКИЙ АНАЛИЗ УНИВЕРСИТЕТСКИХ РЕЙТИНГОВ Статья в формате PDF 282 KB...

20 04 2024 18:20:43

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

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

19 04 2024 20:17:32

ДМИТРИЕВ ВАСИЛИЙ ВАСИЛЬЕВИЧ

ДМИТРИЕВ ВАСИЛИЙ ВАСИЛЬЕВИЧ Статья в формате PDF 313 KB...

18 04 2024 6:34:50

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

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

17 04 2024 19:55:46

БИОПРОБА ЛЕКТИНА БАЦИЛЛ НА МЫШАХ И ИНФУЗОРИЯХ COLPODA

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

16 04 2024 5:18:10

НЕКОТОРЫЕ ОСОБЕННОСТИ АРХАИЗАЦИИ ЛЕКСИКИ ЯЗЫКА ГДР

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

15 04 2024 16:21:26

БУДУЩЕЕ ЭКОЛОГИЧЕСКОГО МАРКЕТИНГА

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

14 04 2024 6:27:33

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

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

13 04 2024 17:59:50

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

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

12 04 2024 18:36:55

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

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

11 04 2024 12:39:25

СИСТЕМА КОРРЕКЦИИ ЛИНИИ ПРИЦЕЛИВАНИЯ ОГНЕСТРЕЛЬНОГО ОРУЖИЯ

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

10 04 2024 6:24:28

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

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

09 04 2024 4:26:43

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

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

08 04 2024 13:34:16

Разработка и применение современных высоких технологий в машиностроительном производстве

Разработка и применение современных высоких технологий в машиностроительном производстве Статья в формате PDF 114 KB...

07 04 2024 14:53:57

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

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

06 04 2024 11:57:50

Качество воды, используемой для питьевых нужд на юге Тюменской области

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

05 04 2024 17:18:46

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

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

04 04 2024 18:59:11

Состояние иммуно-гормональных показателей у больных ревматоидным артритом

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

03 04 2024 16:17:23

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

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

02 04 2024 23:16:51

ИНФОРМАЦИОННЫЙ АНАЛИЗ ПОТА

ИНФОРМАЦИОННЫЙ АНАЛИЗ ПОТА Статья в формате PDF 115 KB...

01 04 2024 12:59:21

К ВОПРОСУ СОХРАНЕНИЯ ЗДОРОВЬЯ ШКОЛЬНИКОВ

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

31 03 2024 23:41:19

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

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

30 03 2024 23:28:49

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

ТЕРМОДИНАМИЧЕСКИЕ КОНСТАНТЫ ДИССОЦИАЦИИ ПРОТОНИРОВАННЫХ ОСНОВАНИЙ Разработана методика определения констант диссоциации протонированных трехкислотных оснований, отличающаяся новым подходом к оценке и учету концентраций всех равновесных частиц, для расчета ионной силы раствора. ...

29 03 2024 18:35:30

ГЕОИНФОРМАЦИОННОЕ ОБЕСПЕЧЕНИЕ ГЕОЛОГО-СЪЕМОЧНОЙ ПРАКТИКИ НА УЧЕБНОМ ГЕОЛОГИЧЕСКОМ ПОЛИГОНЕ ТОМСКОГО ПОЛИТЕХНИЧЕСКОГО УНИВЕРСИТЕТА

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

28 03 2024 18:59:51

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

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

27 03 2024 15:17:51

К ВОПРОСУ О БИОЛОГИЧЕСКОМ РАЗНООБРАЗИИ ЭКОСИСТЕМ СЕВЕРО-ВОСТОКА КУЗБАССА

К ВОПРОСУ О БИОЛОГИЧЕСКОМ РАЗНООБРАЗИИ ЭКОСИСТЕМ СЕВЕРО-ВОСТОКА КУЗБАССА Статья в формате PDF 125 KB...

26 03 2024 5:36:46

РОЛЬ БАНКОВСКОЙ СИСТЕМЫ В ФОРМИРОВАНИИ ДЕНЕЖНОЙ МАССЫ

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

25 03 2024 10:52:32

ВОЛГИН ВАСИЛИЙ ИЛЬИЧ

ВОЛГИН ВАСИЛИЙ ИЛЬИЧ Статья в формате PDF 220 KB...

24 03 2024 12:55:32

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

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

23 03 2024 7:53:10

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

ХАРАКТЕРИСТИКА ИММУННОГО СТАТУСА БОЛЬНЫХ С РЕЦИДИВИРУЮЩЕЙ ПАПИЛЛОМАВИРУСНОЙ ИНФЕКЦИЕЙ В ДИНАМИКЕ ЛЕЧЕНИЯ С ИСПОЛЬЗОВАНИЕМ МИНЕРАЛЬНОГО КОМПЛЕКСА «АЗЕОМЕД» Целью настоящей работы явилась хаpaктеристика иммунного статуса больных с рецидивирующей папилломавирусной инфекцией (ПВИ) в динамике лечения с использованием цеолитсодержащего минерального комплекса «Азеомед». Минеральный комплекс «Азеомед» обладает иммуностимулирующим, адсорбционным и детоксикационным свойствами. Комбинированное лечение включало использование «Азеомед» в дозе 500 мг×2 раза в день в течение 30 дней в комплексе с базисной терапией – индинолом в сочетании с хирургической деструкцией папиллом. У больных отмечалось повышение СД95 + клеток, лимфоцитов с морфологическими признаками апоптоза, а также СД4 + , СД8 + , и NК-клеток. Отсутствие рецидива папиллом в течение 1,6 месяцев отмечалось в 62,9% случаев. ...

22 03 2024 14:29:10

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

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

21 03 2024 5:58:40

ПУТИ СНИЖЕНИЯ ХИМИЧЕСКОЙ ОПАСНОСТИ ПИЩЕВЫХ ПРОДУКТОВ

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

20 03 2024 7:37:10

МЕТОДЫ ПРОГНОЗИРОВАНИЯ ПРЕДПРИЯТИЙ АГРОСЕРВИСА

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

19 03 2024 4:29:22

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

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

18 03 2024 9:36:47

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