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