Cтраница 1
Использование утверждения 4.2.2 позволяет алгоритмизировать выбор варианта размещения программных модулей и информационных массивов, максимизирующего значение коэффициента готовности СОД РВ. [1]
У с использованием утверждения 1.2. Это также легко следует из симплициальной гомотопической теории, поскольку V (, q) является стягиваемым полным симплициальным множеством. [2]
Этот механизм обеспечивает использование всевозможных непрямых утверждений, важных с точки зрения тактики разговора, в частности соблюдения правил вежливости. Ответ нарушает максиму количества и рассчитан на то, что адресат установит не выраженное прямо значение сказанного Это вас не касается. [3]
Важно понимать, что использование блокирующего утверждения блокирует некоторый путь прохождения модели, а не вопросы, относящиеся к этому пути. [4]
Ясно, что риск использования непроверяемых утверждений при принятии решений может оказаться слишком большим. [5]
Ошибка этого рассуждения заключается в использовании недосказанного утверждения: оно молчаливо предполагает, что точки С и С различны. Приводимое рассуждение не исключает того случая, когда точки С и С совпадают, а это сводит на нет всю его доказательную силу. [6]
Доказательство этого факта невозможно привести без использования утверждения 1 или какого-либо аналогичного рассуждения. [7]
Хотя в языке Си и отсутствует возможность использования утверждений, эту возможность легко реализовать с помощью препроцессора транслятора с языка Си. Опыт использования реализованных таким образом утверждений в языке Си показывает, что их использование несложно и облегчает отладку программ. [8]
Наиболее широко распространенная техника отладки программ базируется на использовании утверждений о состоянии вычислений в различных точках программы. Последние исследования показали, что еще более полезно и удобно ассоциировать утверждения с определенными переменными, а не с определенными точками программы. [9]
Под термином утверждение будем понимать выражение, вставляемое в текст программы, которое должно иметь значение истина в тот момент, когда управление достигает той точки программы, куда вставлено это выражение. Использование утверждений может облегчить отладку программ, улучшить их удобочитаемость, а в ряде случаев и обеспечить улучшение объектного кода, генерируемого транслятором с некоторого языка программирования. [10]
Реклама также может рассматриваться как вводящая в заблуждение, если она содержит верное утверждение, склоняющее потребителя к неверному выводу о том, что такое утверждение не может быть применимо к конкурирующей продукции. Например, использование утверждения без жира на бутылке с кленовым сиропом может привести потребителя к заключению, что другие виды сиропа содержат жир. [11]
Исследовательским прототипом называют систему, которая решает представительный класс задач приложения, но может быть неустойчива в работе и не полностью проверена. При наличии развитых инструментальных средств ( ИС) для разработки исследовательского прототипа требуется примерно 2 - 4 месяца. Исследовательский прототип обычно имеет в базе знаний не больше 50 общих исполняемых утверждений; при использовании только частных утверждений их количество возрастает в 3 - 10 раз. [12]
У еЛ не может быть нулевым, если eft не равно нулю. Однако в условиях рассматриваемой сходимости вектор У eft должен сходиться) к нулю, откуда вытекает, что eft и, следовательно, eft также должен сходиться к нулю. Поскольку вй начинается с положительного значения и никогда не убывает, отсюда следует, что afe должен сходиться к разделяющему вектору. Более того, при использовании вышеприведенного утверждения решение фактически получается после конечного числа шагов. [13]
Под термином утверждение будем понимать выражение, вставляемое в текст программы, которое должно иметь значение истина в тот момент, когда управление достигает той точки программы, куда вставлено это выражение. Использование утверждений может облегчить отладку программ, улучшить их удобочитаемость, а в ряде случаев и обеспечить улучшение объектного кода, генерируемого транслятором с некоторого языка программирования. Опыт использования языка Евклид [186] показывает, что использование утверждений намного облегчает отладку программ. [14]
Голосованием проблемы измерений не решают, это так же бессмысленно, как устанавливать голосованием авторство картины или истинность теоремы. Проверка может быть только инструментальной. Если инструментальная проверка невозможна, то экспертные оценки непроверяемы. Использование утверждений, истинность или ложность которых не установлена, недопустимо. Причины несоответствия мнения эксперта реальному положению дел разнообразны. [15]