Подстановка - константа
Cтраница 1
Подстановка констант и любое отождествление переменных приводит к уменьшению числа нулей. [1]
 |
Потенциалы ионизации V. атомов и молекул в вольтах. [2] |
После подстановки констант находим для водорода Vi 13 5 в. Значение для Не не может быть получено таким путем, так как притяжение электрона двумя положительными зарядами ядра частично экранируется другим электроном. Но энергия, требующаяся для удаления второго электрона из однократно ионизованного Не, может быть точно определена. В этом случае Z 2, n и из (3.26) для процесса Не - Не получаем Vi 4 - 13 5 54 s, что находится в согласии с опытными данными. Этот вывод, однако, не является правильным, так как экранировка электростатического поля ядра оставшимся электроном не может быть вычислена таким простым способом. [3]
После подстановки констант вещества, а также значений р ( т, и Т, In Л оказывается величиной, зависящей лишь от In / p), поэтому она и будет представлена ниже графически. Величина Pi / Poo, отвечающая значению In И - 0, должна сопоставляться с найденным в эксперименте критическим значением, при котором наступает образование капелек. [4]
Операция подстановки констант вместо переменных в дополнительных разъяснениях, по-видимому, не нуждается. [5]
Если ( при подстановке словарных констант вместо всех переменных термов Т, Т2) выполняется равенство Т Т2, то либо х является началом слова х2, либо наоборот. [6]
Заметим еще, что подстановка константы 1 вместо всякой отличной от 0 константы делает 20 наиболее сильной из возможных систем в том, что касается тождеств, содержащих константы. Единственная интерпретация [ /, для которой система 20 истинна, это булево кольцо ( 0, 1 с операциями И и ИЛИ. Таким образом, для нижних оценок в системе 2о имеются; только аналоги с содержательным смыслом. [7]
Здесь видны пределы метода подстановки констант и исключения элементов. Значимость этого метода убывает с ростом длины простых импликантов. Кроме того, в общем случае трудно надеяться, что один элемент Л участвует в вычислении лишь одного простого импликанта. [8]
Оставшиеся операции: отождествление переменных, подстановки констант и ограниченной рекурсии - не представляют никаких трудностей. [9]
Заметим, что мы исключаем предикаты равенства путем подстановки констант в. [10]
Другой способ, позволяющий получать предложения, состоит в подстановке констант на места свободных вхождений переменных. [11]
Легко видеть, что любая пороговая функция от п переменных может быть получена подстановкой констант вместо переменных из функции голосования, зависящей не более чем от 2л переменных. [12]
Все остальные требуемые функции Sn m Л - системы могут быть получены из / подстановками констант вместо некоторых переменных из различных непересекающихся пар квазилинейных переменных. Заметим, однако, что последний путь не является эффективным с точки зрения схемной реализации. [13]
То же самое можно сказать и о принципе ( 4) - при резольвирова-нии по связи, содержащей подстановку константы вместо переменной, мы получаем в результате дизъюнкт, содержащий константные термы. Подобный дизъюнкт имеет, во-первых, малое число связей, а во-вторых, может быть эффективно использован при резольвировании. [14]
Для произвольного полного базиса В обозначим через В множество всех функций из F, которые можно получить из функций базиса В подстановкой констант и переименованием ( в том числе отождествлением) переменных. [15]
Страницы: 1 2