Формулировка - утверждение
Cтраница 1
Формулировка утверждений для предиката сжать / 4 весьма естественно следует из анализа состояний данной задачи. Искусство программиста заключается в умелом использовании анализа состояний для выяснения того, какие аргументы следует взять дл процедуры, а также в выборе подходящего представления для этих аргументов. Первое состояние предполагает наличие аргумента, который должен быть счетчиком уже введенных букв. [1]
Такая формулировка утверждения позволяет проверять правильность базы данных. [2]
При формулировке утверждений зквиаффинной геометрии, относящихся к площадям, необходимо соблюдать определенную осторожность. Например, доказанное выше следствие о площади эллипса, как оно сформулировано, не принадлежит эквиаффин-ной геометрии, поскольку в нем фигурируют длины полуосей а и Ь, смысла в эквиаффинной геометрии не имеющие. [3]
В процессе формулировки гипотетических утверждений и обобщений, необходимо соотносить их с отобранными индикаторами, чтобы собранные в последующем социологические данные обеспечивали эмпирическую проверку гипотез. [4]
 |
Аксиомы преобразования утверждений при обратном просмотре. [5] |
Сложность с формулировкой индуктивных утверждений в том, что нужно описать все осмысленные инвариантные условия. [6]
Теперь мы найдем алгебраическую формулировку утверждения, что в некотором вещественном или комплексном нормированном пространстве ( Е, ) длины трех сторон невырожденного треугольника определяют длины трех медиан. [7]
Соответствующие изменения в формулировках утверждений очевидны. [8]
Заметим, что не всякая формулировка классического утверждения конструктивно осмысленна. Например, утверждение для всякого множества А его мощность меньше мощности множества всех подмножеств множества X в таком виде не проходит в К-конструктивизме даже для множества натуральных чисел. [9]
В первом разделе отмечалось, что формулировка индуктивных утверждений внутри каждого цикла - это, вероятно, самое тяжелое бремя в доказательстве правильности программы. Несколько исследовательских работ было посвящено попытке автоматизировать генерацию индуктивных утверждений. [10]
То же самое относится и к формулировке утверждений. [11]
Найту принадлежит самая ранняя из известных мне формулировок утверждения о делимости; возможно, благодаря его влиятельности именно она стала источником более явных тавтологических формулировок. Он утверждал: Если бы объемы всех элементов, составляющих комбинации факторов производства, обладали безграничной изменчивостью, а продукт в свою очередь обладал бы такой же делимостью, то очевидно, что комбинация одного размера работала бы точно так же, как и любого другого, аналогично составленного. Такое предположение является очевидным, только если игнорировать воздействие делимых факторов на производительность; другими словами, если обойти вопрос об экономии от масштаба производства. [12]
Пусть теперь число р обладает указанным в формулировке утверждения ( П) свойством. [13]
В дальнейшем будем часто опускать слово локальный при формулировке утверждений, связанных с понятием локального экстремума. [14]
Хотя язык PL довольно богат, его возможности в формулировке утверждений и отношений ограничены. [15]
Страницы: 1 2 3