Cтраница 3
Оптимальное значение k может быть найдено при исследовании формулы на максимум. [31]
Можно провести исследование формулы линзы, полностью аналогичное исследованию формулы зеркала. [32]
Комбинаторная теория перечисления ( или, иначе, теория перечисления комбинаторного анализа) занимается в основном нахождением и исследованием формул для точного и асимптотического подсчета элементов в различных классах комбинаторных объектов. Решение конкретной задачи перечисления позволяет установить специфические комбинаторные свойства исходных объектов, проявляющиеся в самой процедуре перечисления или вытекающие из получаемых результатов. [33]
Что касается того, что при г 0 эти интегралы принимают значения р ( г), этот факт устанавливается обычными рассуждениями, проводящимися при исследовании формулы Пауссона, дающей решение задачи Коши для уравнения теплопроводности. [34]
Проблема разрешимости для исчисления предикатов, рассматриваемая с точки зрения теории доказательств, - в дальнейшем мы будем интересоваться именно этим аспектом данной проблемы - касается исследования формул исчисления предикатов на предмет выяснения их выводимости. Общее решение этой проблемы должно было бы состоять в указании какого-либо общего метода, процедуры, с помощью которой относительно любой конкретной формулы исчисления предикатов можно было бы выяснить вопрос о том, является она выводимой в исчислении предикатов или же нет. [35]
В случае, когда для однородного уравнения (1.1), соответствующего уравнению (6.1), задача Коши равномерно корректна, исследование формулы (6.4) значительно облегчается. [36]
Как можно придумать эту формулу ( она называется интегралом Пуассона для уравнения теплопроводности), мы сейчас объяснять не будем. Это объяснение будет дано позднее. А сейчас проведем аккуратное исследование формулы Пуассона, не интересуясь тем, как она была получена. [37]