Cтраница 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]