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

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


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

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

24 07 2026 21:10:54

ЛАЗЕРНАЯ ТЕРАПИЯ ПРИ РЕВМАТОИДНОМ АРТРИТЕ

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

22 07 2026 18:24:49

СКОРОСТНОЕ ФОРМООБРАЗОВАНИЕ МЕТАЛЛА

СКОРОСТНОЕ ФОРМООБРАЗОВАНИЕ МЕТАЛЛА Статья в формате PDF 138 KB...

19 07 2026 13:32:27

ЧЕЧЕНОВ АНУАР АХМАТОВИЧ

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

10 07 2026 18:12:25

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

ИССЛЕДОВАНИЕ ФИЗИЧЕСКОЙ АДСОРБЦИИ ОРГАНИЧЕСКИХ ЗАГРЯЗНИТЕЛЕЙ В ВОДНЫХ ОБЪЕКТАХ ОКРУЖАЮЩЕЙ СРЕДЫ Исследовано явление физической адсорбции высших предельных аминов, которые являются распространенными органическими загрязняющими веществами водных объектов, на поверхности раздела фаз «твердое — жидкое». Изучены возможности спектрофотометрического определения концентрации додециламина в воде применительно к явлениям адсорбции этого вещества на поверхности силикатных минералов, имеющих место в пpaктике обогащения полезных ископаемых и химической промышленности. ...

08 07 2026 19:28:23

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

АНАЛИЗ ФАРМАКОТОКСИЛОГИЧЕСКОГО ДЕЙСТВИЯ ЭТАЦИЗИНА И ДИМЕФОСФОНА ПРИ ХРОНИЧЕСКОМ СТРЕССЕ В работе исследовали влияние этацизина и димефосфона на cмepтность белых мышей и динамику поведенческих реакций в условиях хронического гиподинамического стресса. Показано токсическое влияние этацизина: увеличение cмepтности животных и негативное влияние на поведенческие реакции. Димефосфон не оказывал влияния на летальность и проявлял стресспротекторное ...

04 07 2026 22:24:34

ОСОБЕННОСТИ ВОССТАНОВЛЕНИЯ ПОРШНЕЙ ИЗ СПЛАВОВ АЛЮМИНИЯ АВТОТРАКТОРНОЙ ТЕХНИКИ

ОСОБЕННОСТИ ВОССТАНОВЛЕНИЯ ПОРШНЕЙ ИЗ СПЛАВОВ АЛЮМИНИЯ АВТОТРАКТОРНОЙ ТЕХНИКИ В статье рассмотрен прцесс химического никелирования деталей машин и оборудования как эффетивный и экономически выгодный способ получения стойких покрытий. Предлагается внедрить этот процесс в технологию восстановления деталей автотpaкторной техники из алюминиевых сплавов. ...

02 07 2026 17:58:14

РОССИЙСКАЯ АКАДЕМИЯ ЕСТЕСТВОЗНАНИЯ

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

30 06 2026 21:12:10

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

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

25 06 2026 16:17:35

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

ПОСТКАТЭЛЕКТРОТОНИЧЕСКИЕ ПОТЕНЦИАЛЫ И СОПРОВОЖДАЮЩИЕ ИХ ИЗМЕНЕНИЯ ВОЗБУДИМОСТИ НЕРВНЫХ ВОЛОКОН После деполяризации возбудимой мембраны изолированных нервных волокон и целого нерва постоянным током подпороговой силы регистрируется постэлектротоническая деполяризация, представляющая собой медленное восстановление поляризации к исходному уровню. Постэлектротоническая деполяризация у одиночных перехватов Ранвье и изолированного нерва обнаруживается не только в исходном состоянии, но и при полном блокировании натриевых каналов. Амплитуда и длительность постэлектротонической деполяризации целого нерва при подпороговой деполяризации увеличиваются пропорционально длительности приложенной деполяризации: после пропускания катодического тока продолжительностью 1 мс составили 0.093±0.004 мВ и 7.123±0.576 мс, после деполяризации длительностью 5 мс – 0.189±0.005 мВ и 23.212±1.186 мс, а после деполяризации длительностью 10 мс 0.220±0.011 мВ и 68.721±3.389 мс соответственно. При пропускании через нерв серии катэлектротонических потенциалов происходит суммация постэлектротонической деполяризации. На основании того, что постэлектротоническая деполяризация обнаруживается не только в исходном состоянии, но и при полном блокировании натриевых каналов, в качестве наиболее вероятного фактора, обусловливающего генерацию постэлектротонической деполяризации, рассматривается выход ионов калия. ...

24 06 2026 9:41:55

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

АВТОМОБИЛЬНЫЙ ТРАНСПОРТ И КАЧЕСТВО КУРОРТА Научно-технический прогресс приносит новый блага цивилизации и ставит новые проблемы перед ней. Автомобильный трaнcпорт дал людям высокую степень мобильности и комфорта, за которые, однако, приходится расплачиваться ухудшением экологии. В статье изучена динамика роста численности автомобильного и грузового трaнcпорта в городе Сочи и тот ущерб, который трaнcпорт наносит экологии сочинского региона. ...

22 06 2026 22:22:18

НОВАЯ ТЕОРИЯ ФАЗОВОЙ ДЕЯТЕЛЬНОСТИ СЕРДЦА

НОВАЯ ТЕОРИЯ ФАЗОВОЙ ДЕЯТЕЛЬНОСТИ СЕРДЦА Сердце – один из самых загадочных органов. Вскрытие грудной полости и рассечение перикарда нарушает целостность сердечной системы, и способность его работать даже в этих условиях приводит к недооценке перикардиальной полости, как важной функциональной пятой камеры сердца. Представленная схема фаз деятельности пятикамерного сердца будет способствовать развитию теории и пpaктики оздоровления человека, спортивной тренировки и лечения болезней сердца. ...

20 06 2026 0:43:53

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