Схема

Cтраница 2

Схема пСТ состоит из всех примеров СТ ( - 0, у), где формула ф начинается с отрицания. Схема ЕСТ состоит из всех примеров СТ ( - 0, у), где ф - почти негативная формула. Как мы увидим далее, обе схемы ЕСТ и пСТ уже совместны с НА. [16]

Схема Крипке ( опубликованная в работе Майхилл а [1]) является одним из самых удачных предложений такой формализации. Она позволяет получить все требуемые следствия ( фактически для этого достаточно уже KS), близко соответствует оригинальным рассуждениям Брауэра и не требует расширения аналитического языка новыми предикатами ( например, предикатами, выражающими доказуемость суждений творящим субъектом; о таких предикатах см. ван Роотселаар [1], ван Дален [1]), имеющими весьма экзотическую семантику. [17]

Схема Крипке обладает большой дедуктивной силой. Кратко идею интерпретации можно пояснить следующим образом: погружение EL в интуиционистскую теорию следует проводить с помощью негативной интерпретации Геделя, при этом предварительно EL следует сформулировать в терминах множеств натуральных чисел, а не функций. [18]

Схема скачкообразно переходит во второе состояние, когда транзистор Тг насыщен, а Т2 закрыт. [19]

Схема 5 называется связной, если ее нельзя разбить на два непустых непересекающихся подмножества, не соединенных между собой стрелками. [20]

Схема ( I) дает функцию следования за ( successor function) в качестве одной из первоначальных функций. [21]

Схемы ( I) - ( V), ( а), ( Ь), ( е) и другие, указанные выше примеры схем для определения функций, которые мы до сих пор соглашались называть рекурсиями, наделены двумя чертами: ( i) они выражаются посредством равенств способом, который был проанализирован формально в § 54 ( в частности, для ( I) - ( V)); ( п) они являются, в той или иной форме, определениями с помощью математической индукции, за исключением тривиальных случаев, когда они являются явными определениями. [22]

Схема - П выделена благодаря некоторым свойствам, которые будут описаны ниже. Решение задачи синтеза по этой схеме, если двухвходовые нейроны на втором шаге синтеза имеют структуру, изображенную на табл. 6, а построение ведется по табл. 9 ( при этом NHl и Nk2 имеют одинаковую структуру), мы назовем каноническим решением. [23]

Схема (3.2.7) - (3.2.10) записана в декартовой системе координат. При ее рассмотрении в криволинейной недекартовой системе координат, в частности, в цилиндрической или сферической, возникают вопросы связанные с выбором того или иного способа дискретной аппроксимации интегральной формы уравнений в криволинейных координатах. При этом выделяется класс инвариантных разностных схем, которые основаны на специальном выборе аппроксимации, позволяющей сохранить те или иные дополнительные виды симметрии исследуемого течения. [24]

Способы термостабилизации режимов биполярных транзисторов. [25]

Схема такого типа особенно перспективна при интегральном исполнении усилителя, когда изготовление диодных и транзисторных структур является одной из наиболее отработанных операций. [26]

Разомкнутая структурная схема средств автоматизации лнстоштамповочного производства.| Классификация захватных органов, применяемых в средствах автоматизации и механизации лнстоштамповочного производства. [27]

Схемы, назначение, структура, кинематические и динамические свойства преобразующих или передающих механизмов средств автоматизации я механизации чрезвычайно разнообразны. [28]

Схема ротационной вытяжки роликами с калибровкой. [29]

Схема, показанная на рис. 8, универсальна; она обеспечивает получение довольно высокой размерной точности и высокой производительности. На рис. 9 представлены схемы ротационной вытяжки с разделением суммарного очага деформации. [30]

Страницы: 1 2 3 4 5