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

ЭЛЕМЕНТАРНАЯ ТЕОРИЯ ГРУПП В СИСТЕМЕ 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.


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

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

18 10 2026 6:17:12

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

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

17 10 2026 14:35:12

НАРУШЕНИЯ СОДЕРЖАНИЯ АЛЬДОСТЕРОНА И ИНСУЛИНА ПРИ ИШЕМИЧЕСКОМ ПОВРЕЖДЕНИИ МИОКАРДА В ЭКСПЕРИМЕНТЕ

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

16 10 2026 15:51:36

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

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

15 10 2026 3:55:57

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

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

14 10 2026 15:21:43

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

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

13 10 2026 18:39:34

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

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

12 10 2026 5:10:25

ИСТОРИЧЕСКИЕ ПРЕДПОСЫЛКИ ГОРНОГО БЕГА

ИСТОРИЧЕСКИЕ ПРЕДПОСЫЛКИ ГОРНОГО БЕГА Статья в формате PDF 279 KB...

11 10 2026 18:41:11

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

СПОРНЫЕ ВОПРОСЫ УГОЛОВНОЙ ОТВЕТСТВЕННОСТИ ЗА НЕЗАКОННОЕ ПОЛУЧЕНИЕ КРЕДИТА Уголовный кодекс РФ предусматривает ответственность за незаконное получение кредита (ст. 176). Несмотря на достаточно длительный срок существования данной нормы и устойчивую пpaктику привлечения к уголовной ответственности за данное деяние в науке остается много дискуссионных вопросов, касающихся конструкции состава преступления, предусмотренного ст. 176 УК РФ, а также субъекта данного преступления. В результате проведенного исследования предлагается новая редакция ч. 1 ст. 176 УК РФ. ...

10 10 2026 5:31:35

Проявления индивидуального года и особенности адаптации: пoлoвые и возрастные аспекты

Проявления индивидуального года и особенности адаптации: пoлoвые и возрастные аспекты Статья в формате PDF 116 KB...

09 10 2026 19:44:34

Технологии сестринского ухода в паллиативной помощи (учебное пособие)

Технологии сестринского ухода в паллиативной помощи (учебное пособие) Статья в формате PDF 263 KB...

08 10 2026 11:19:33

НОВЫЕ ВИДЫ ОВСЯНОГО ПЕЧЕНЬЯ

НОВЫЕ ВИДЫ ОВСЯНОГО ПЕЧЕНЬЯ Статья в формате PDF 522 KB...

07 10 2026 4:55:31

ХАРАКТЕР И ЧАСТОТА ВСТРЕЧАЕМОСТИ СИНДРОМА ВЕРТЕБРОБАЗИЛЯРНОЙ НЕДОСТАТОЧНОСТИ (ВБН) ВО ВРЕМЯ ЗЕМЛЕТРЯСЕНИЙ

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

06 10 2026 12:48:33

МОЛОДЕЖЬ В СОЦИАЛЬНОМ ПРОСТРАНСТВЕ ОБЩЕСТВА

МОЛОДЕЖЬ В СОЦИАЛЬНОМ ПРОСТРАНСТВЕ ОБЩЕСТВА Статья в формате PDF 126 KB...

05 10 2026 8:19:27

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

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

04 10 2026 22:44:13

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

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

03 10 2026 22:16:58

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

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

02 10 2026 6:29:50

ПРИМЕНЕНИЕ ПРЕПАРАТА СУПЕРЛИМФ В ТЕРАПИИ ЭКСПЕРИМЕНТАЛЬНОГО ПИЕЛОНЕФРИТА

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

01 10 2026 2:45:54

ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ ПРИ ОРГАНИЗАЦИИ ОТБОРА АБИТУРИЕНТОВ

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

30 09 2026 9:43:32

ЮРЬЕВ АЛЕКСАНДР ГАВРИЛОВИЧ

ЮРЬЕВ АЛЕКСАНДР ГАВРИЛОВИЧ Статья в формате PDF 320 KB...

29 09 2026 5:55:54

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

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

28 09 2026 16:46:32

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

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

27 09 2026 21:51:26

И.Я. ЯКОВЛЕВ И И.Н. УЛЬЯНОВ – ОРГАНИЗАТОРЫ ЖЕНСКОГО ОБРАЗОВАНИЯ В СИМБИРСКОЙ ЧУВАШСКОЙ ШКОЛЕ

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

26 09 2026 11:59:17

Профессиональная иноязычная коммуникация в технической сфере

Профессиональная иноязычная коммуникация в технической сфере Статья в формате PDF 256 KB...

25 09 2026 13:15:40

Механизмы нарушения зрительного восприятия у дошкольников с общим нарушением речи

Механизмы нарушения зрительного восприятия у дошкольников с общим нарушением речи В статье изложены результаты исследования психофизиологии зрительного восприятия детей 5,5–6,5-летнего возраста с общим нарушением речи III степени. При изучении структуры зрительных вызванных потенциалов у детей с нарушением речи было показано значительное повышение латентных периодов ранних компонентов. Предположительно, у детей с общим нарушением речи происходит только грубая интегративная оценка зрительного стимула: с сетчатки стимулы передаются через магноцеллюлярную систему, а парвоцеллюлярная система остается функционально незрелой. ...

24 09 2026 16:23:54

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

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

23 09 2026 7:20:14

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

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

22 09 2026 14:24:47

Исследование бактерицидной активности водных диализованных растворов наночастиц меди на Staphylococcus aureus

Исследование бактерицидной активности водных диализованных растворов наночастиц меди на Staphylococcus aureus Статья в формате PDF 307 KB...

21 09 2026 19:31:29

ОСОБЕННОСТИ РАЗВИТИЯ РАСТЕНИЙ ЯРОВОЙ ПШЕНИЦЫ В УСЛОВИЯХ ЗАСОЛЕНИЯ

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

20 09 2026 2:15:20

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

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

19 09 2026 3:23:18

Возрастная анатомия лимфатического русла толстой кишки у человека

Возрастная анатомия лимфатического русла толстой кишки у человека Статья в формате PDF 103 KB...

18 09 2026 1:26:40

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

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

17 09 2026 9:53:13

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

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

16 09 2026 8:54:49

СТРАТЕГИЯ РАЗВИТИЯ МОРСКИХ ПОРТОВ

СТРАТЕГИЯ РАЗВИТИЯ МОРСКИХ ПОРТОВ Статья в формате PDF 110 KB...

15 09 2026 4:41:20

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

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

14 09 2026 14:24:52

ОРГАНИЗАЦИЯ ИННОВАЦИОННОГО ОБУЧЕНИЯ СТУДЕНТОВ-МЕДИКОВ ОБЩЕЙ ХИМИИ

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

13 09 2026 20:27:19

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

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

12 09 2026 15:38:53

МЕЖВИДОВАЯ ГИБРИДНАЯ КУЛЬТУРА ПО-ТК-ХЛК (ПОЧКА ОВЦЫ Х ЛИМФОЦИТЫ КРОЛИКА)

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

11 09 2026 10:25:40

ПРАВОВЫЕ ПРОБЛЕМЫ СОЦИАЛЬНОГО ПАРТНЕРСТВА В СФЕРЕ ТРУДА

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

10 09 2026 7:27:31

МИНЕРАЛЬНАЯ ПЛОТНОСТЬ КОСТЕЙ СКЕЛЕТА ПРИ ЭКЗАМЕНАЦИОННОМ СТРЕССЕ У СТУДЕНТОК

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

09 09 2026 20:22:34

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