Совокупность - формула
Cтраница 3
Если в исчислении высказываний формула В выводима из совокупности формул Г и А, то из Г выводима формула А Э В. [31]
Поэтому характеристическая функция % о ( п) совокупности канонических формул, истинных на К, примитивно рекурсивна. Но тогда и характеристическая функция % о ( а ( п)) совокупности всех замкнутых формул, истинных на К, будет примитивно рекурсивна, что и требовалось. [32]
Таким образом, нагрузку в точке подвеса штанг определяют совокупностью формул (10.88), (10.89) для участков начальных деформаций и (10.80), (10.81) для остальных участков хода с учетом (10.90), (10.91) и непрерывности функции нагрузки в течение цикла. [33]
Алгоритм, используемый для решения данной задачи, представляет собой совокупность формул, уравнений, логических условий; должны быть точно указаны характеристики массивов информации, возможные варианты решения в зависимости от исходных данных и промежуточных результатов. [34]
К и Хо, представленное табл. 11, будем рассматривать совокупность формул ( 130) и ( 131) как параметрическую связь между Ср и Ср0 через параметр А. [35]
 |
Общая блок-схема алгоритма маршрута обработки ступенчатых валов. [36] |
При построений любой станочной операции математическая модель предусматривается в виде совокупности формул, уравнений неравенств, отображающих закономерности, присущие реальному технологическому процессу. [37]
Алюмосиликаты имеют сложный состав, пбэтому вместо единой формулы обычно приводят совокупность формул окислов, составляющих это соединение, например полевой шпат К2О - А12О3 - 6SiO2; каолин ( белая глина) А12О3 - 25Ю2 - 2Н2О и др. Каолин составляет основу глин. В глине, кроме того, обычно содержатся различные примеси, в частности соединения железа, сообщающие ей желтовато-бурую окраску. [38]
Таким образом, математической моделью ( математическим описанием процесса) называется совокупность формул ( а также таблиц, графиков), количественно описывающая зависимости между различными параметрами процесса. [39]
Таким образом, математической моделью ( математическим описанием процесса) называется совокупность формул, а также таблиц, графиков, количественно описывающая зависимости между различными параметрами процесса. [40]
Алюмосиликаты имеют сложный состав, поэтому вместо единой формулы обычно приводят совокупность формул окислов, составляющих это соединение, например полевой шпат КаО - А12О3 - 68Ю2; каолин ( белая глина) А12Оз 2SiO2 2Н2О и др. Каолин составляет основу глин. В глине, кроме того, обычно содержатся различные примеси, в частности соединения железа, сообщающие ей желтовато-бурую окраску. [41]
Алюмосиликаты имеют сложный состав, поэтому вместо единой формулы обычно приводят совокупность формул окислов, составляющих это соединение, например полевой шпат К2О - А12О3 - 6SiO2; каолин ( белая глина) А12О3 - 2SiO2 - 2Н2О и др. Каолин составляет основу глин. В глине, кроме того, обычно содержатся различные примеси, в частности соединения железа, сообщающие ей желтовато-бурую окраску. [42]
Прежде всего, А. Н. Колмогоров возражает против формализма Гильберта, согласно которому математика есть только совокупность формул, которые пишутся по определенным правилам и не должны иметь реального содержания. Как математика, так и логика являются, с его-точки зрения, содержательными науками. Иначе они не могут претендовать на значимость в применении к действительности. [43]
Таким образом, мы не можем обойтись заменами для е-термов, непосредственно фигурирующих в заданной нам совокупности формул. Тем не менее можно без труда указать путь, позволяющий удовлетворить перечисленным выше требованиям: выход будет заключаться в том, что необходимые замены для е-термов мы будем осуществлять в виде некоторой производимой изнутри шагооб разной редукции. [44]
Таким образом, для выводов, осуществляемых с помощью схем ( Si) - ( S5) в рамках как угодно ограниченной совокупности формул, содержащей импликацию и конъюнкцию, действует теорема о посылках. Используя этот факт, можно сравнительно просто доказать, что с помощью схем ( Si) - ( S5), применяемых к I-K - формулам, может быть выведена любая позитивно тождественная I-K - формула. Искомое доказательство распадается на три части. [45]
Страницы: 1 2 3 4