Подробность - доказательство
Cтраница 1
 |
Действие f ( eie e2ie. [1] |
Подробности доказательства оставлены для упражнений ( упр. [2]
Подробности доказательства предоставляем читателю. [3]
Опуская подробности доказательства, отметим лишь главные его моменты. [4]
Я не собираюсь входить в подробности доказательства, но если в любое утверждение относительно чисел а, Ь, с, d подставить вместо / 2 число-1 / 2, утверждение останется верным. [5]
Всю эту эпистолу я переписал буквально, выкинув только чрезмерно длинное и утомительное развитие мысли о том, почему столь излишен и даже недопустим и вреден Туркменский университет, но и тут я все содержание аргументации передал, а сократил лишь стилистическое развитие и подробности доказательств. [6]
Чтобы показать, что имеется по крайней мере одно стационарное состояние, построим компактное множество, инвариантное при полупотоке. Подробности доказательства этой теоремы и следствия из нее будут приведены в другой работе. [7]
Это утверждение прямо следует из допущения о конечности В. Подробности доказательства предоставляются читателю в качестве упражнения. [8]
Исходя из нашей новой точки зрения, мы легко можем показать, что конфокальные конические сечения образуют ортогональную сеть кривых. Это нетрудно доказать, но в подробности доказательства мы входить не будем. [9]
Это связано с возможностью доказать диф-ференцируемость функции Г по переменным УГ Жиро в работе [34] указал способ достижения этой цели. Однако он ограничился тем, что дал лишь набросок метода, не входя в подробности доказательства, которое, по крайней мере на первый взгляд, кажется довольно трудоемким. Так как, с другой стороны, можно прийти к этому результату совсем иным способом, который будет изложен в гл. [10]
Однако, если иметь в виду собственно теорию граничных и начально-граничных задач теории термоупругости, нужно сказать, что до сих пор в литературе по большей части встречались лишь отдельные и частные исследования, посвященные этим вопросам. К сожалению, эта работа до сих пор, насколько известно нам, не опубликована в полном виде и из краткого изложения не всегда удается составить полное представление о результатах и, особенно, о подробностях доказательств. [11]
В этом разделе формализуется доказательство предыдущего раздела. Показывается, что если имеется обычная машина Тьюринга S, то можно построить обратимую трехленточную машину Тьюринга R, которая ничем не хуже S при любых стандартных входных данных и в конце вычислений даже превосходит ее, оставляя только эти входные данные и требуемые выходные. Машина Д, как описано выше, производит вычисления в три стадии, третья стадия посвящена описанию работы первой стадии. Если читателя не интересуют подробности доказательства, он может опустить оставшуюся часть этого раздела. [12]
Страницы: 1