Cтраница 4
В тех случаях, когда конкретные условия сварочно-монтажных работ не вызывают повышенных требований к сменному темпу продвижения сварочной бригады или диаметр труб невелик, целесообразно использовать элементарную схему организации работ. При элементарном методе потолочная бригада делится на два звена: первое сваривает первый ( корневой) слой, а второе - последующие слои. [46]
Первая группа элементарных методов основана на употреблении неравенств, подобных неравенству Чебышева, но позволяющих оценить поведение некоторой конечной последовательности сумм, а не одной суммы. [47]
![]() |
Затраты на вставку и поиск в таблицах символов. [48] |
Записи в этой таблице представляют приведенное к постоянному коэффициенту время выполнения как функцию от количества элементов в таблице N и размеров таблицы М ( если он отличен от N) для реализаций, в которых новые элементы можно вставлять независимо от наличия в таблице элементов с дублированными ключами. При реализации элементарных методов ( первые четыре строки) время выполнения некоторых операций постоянно, а время выполнения других линейно зависит от количества элементов или размеров таблицы; более сложные методы гарантируют логарифмическую зависимость времени от количества элементов или же постоянство времени выполнения большинства или всех операций. [49]
Трудно указать читателю вполне строгое изложение вопросов обоснования термодинамики. Одним из наиболее удачных элементарных методов является метод Филлипса, изложенный, например, в книге [31], гл. Более полное исследование принадлежит Каратеодори [ Math. [50]
Чтобы защитить классическую математику от интуиционистов, нет надобности стремиться пользоваться меньшим, чем они разрешают. Но естественно придерживаться строго элементарных методов до тех пор, пока они достаточны. Все приведенные в § 13 примеры интуиционистских арифметических рассуждений мы будем считать финитными. Мы увидим, что вплоть до одной отдаленной стадии наших метаматематических исследований будет достаточно интуиционистских методов совсем элементарного рода. Окончательным критерием допустимости некоторого метода в метаматематике должна быть, конечно, его интуитивная убедительность. [51]
Шевалле, но значительно упростив изложение. Именно, он предложил элементарный метод построения фундаментального базиса р-адической расширения относительно поля, что дало ему возможность не пользоваться общей теорией локальных полей. [52]