Original P27 (ege23.doc)

 

Verification of comprehension the core idea of P27 Solution via Mapping Method ( second one proposed in ege23.doc )

 Проверка понимания основной идеи решения P27  с помощью метода сопоставления  (второй предложенный в ege23.doc). Рассмотрим следующую систему в логических переменных

(x1 v x2) ^ (x1^x2 =>x3) ^ ((x1 =>y1) =>z1)=1

(x2 v x3) ^ (x2^x3 =>x4) ^ ((x2 =>y2) =>z2)=1

(x3 v x4) ^ (x3^x4 =>x5) ^ ((x3 =>y3) =>z3)=1

(x4 v x5) ^ (x4 =>y4) ^ ((x5 =>y5) =>z5) =1

Сначала мы строим диаграмму между x1x2 и x2x3, отслеживая все пары битов y1z1 в более сложной ситуации, чем в P27 (четыре комбинации для рассмотрения {00,01,10,11}).  Имея в виду соответствие бит x2 слева и справа. Во-вторых, мы строим диаграмму между x4x5 и y4y5, отслеживая все пары битов z5 {0,1}.

Convolution operators in C^n

 Определение

Теорема 1

Почему в теореме достаточности важно требование FT есть функция вполне регуляного роста

Ключ к ответу

Вычисление некоторых несобственных интегралов 1-го рода

 Источник https://kpfu.ru/docs/F1855528304/complex.pdf (стр.89-90)

Пусть f(z) аналитична всюду, в верхней полуплоскости включая действительную ось, за исключением конечного
числа особых точек a1, . . . , an, лежащих сверху от действительной оси. Пусть бесконечно удаленная точка является нулем функции f(z) порядка не менее 2. 

Тогда имеет место формула

The complex inverse trigonometric and hyperbolic functions

References

http://scipp.ucsc.edu/~haber/ph116A/arc_11.pdf