Вкладність - Велика Енциклопедія Нафти та Газа, стаття, сторінка 1
Вкладність
Ієрархічна вкладність повинна давати можливість зберігати сумісність та послідовність при розширенні чи розвитку архітектур та спрощувати процес проектування. [1]
Вкладність автомата 91 автомат 91 91 95 очевидна. [2]
Про вкладність деяких узагальнень псевдобулевих алгебр // Докл. [3]
Для ізоморфної вкладності часткової алгебри А в звичайну алгебру квазіпримітивного класу До необхідно і достатньо, щоб на А виконували в слабкому розумінні всі умовні тотожності, що мають місце на всіх звичайних алгебрах класу К. [4]
Еванса про вкладність будь-якої лічильної напівгрупи S в напівгрупу з двома утворюючими 1; при такому вкладенні, якщо S - коєчнопороджена і періодична, то iS може бути мул одруження в періодичну напівгрупу з двома утворюючими. [5]
Останній розглядав вкладність лінійно впорядкованих множин у деякі лексикографічно впорядковані множини. [6]
Є важливий різновид вкладності в сенсі Харро, а саме: 1г Н - містить / 2 в сенсі Харро, якщо для формули А, що є d (/ i), А є Я-повна відповідь на / 2 в сенсі Харро. Ідеальний логік, який приймає пресуппозиції інтеррогативу /2, може отримати бажану відповідь, задавши /i замість /8, якщо /i містить /2 по Харро. [7]
Є важливий різновид вкладності в сенсі Харро, а саме: Уг Н - містить / 2 в сенсі Харро, якщо для формули Л, що є d ( / i), Л є / / - повна відповідь на / 2 в сенсі Харро. [8]
Наступна умова необхідна вкладення напівгрупи Н у групу. [9]
Існування алгоритму для розпізнавання вкладення кінцевих часткових алгебр квазіпримітивного класу К у звичайні алгебри цього класу рівносильне існуваннюалгоритму для вирішення проблеми тотожності у звичайних алгебрах класу К. [10]
Булеан мультимножини, впорядкований за вкладністю. [11]
Крім цього тестового питання про вкладність питання про неї - наскільки швидко можна здійснити вологість одного в інше. [12]
Необхідні та достатні умови для вкладення напівгрупи в групу були знайдені А. І. Мальцевим [39], але вони не давали відповіді на проблему вкладення кілець у тіла. [13]
У роботах [11, 12] отримано критерії ізоморфної вкладності для кінцевих імплікативних напівструктур та структур та псевдобулевих алгебр. Ці критерії засновані на введеному в [11] понятті занурення D-алгебр і зводять вирішення питання про вкладення однієї такої алгебри в іншу до питання про занурення D-алгебр, що представляють їх один в одного. Тому виникає необхідність у вивченні безлічі всіх неізоморфних кінцевих D-алгебр, які повно і мінімально занурюється дана кінцева D-алгебра. Для доказу кінцівки цієї множини та її побудови бажано знати оцінку зверху числа елементів що містяться у ньому D-алгебр. Для D-алгебр із класу З1, описаного в [6], в даній роботі доведено, що якщо D-алгебра Ф повно і мінімально занурюється в D-алгебру Ф, то Ф 2 ф - Ф, де Ф і Ф - потужності множин Ф та Ф відповідно. [14]
Нехай клас моделей К з локальною вкладенням містить К-вільні моделі з будь-яким кінцевим числом вільних щільних породжуючих. [15]