Teorii︠a︡ algebraicheskikh struktur: sbornik nauchnykh trudov (mezhduvedomstvennyĭ)

Front Cover

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

КУРГАНСКИЙ В И Метод функциональных диаграмм Синтакси
45
МЕЗЕНЦЕВ А В Подход к автоматизации поиска решений за
65
МУСТАФИН Т Г Мера зависимости между элементами в супер
83
Copyright

1 other sections not shown

Common terms and phrases

абелевых групп Аксиома алгебраически простая модель АЛГЕБРАИЧЕСКИХ СИСТЕМ алгебры логики аргументов артиново кольцо атомная модель биекции букв булева алгебра вектор всех входных условиях генерации тестов гомоморфизм данных дерево дизъюнктивной нормальной форме длины доказана Доказательство достаточно еоли еоть есть звена значений Значит изоморфизм изоморфна имеем имеет место каждого категорична конечно кортежу которых Лемма любого максимальный идеал максимальным метод минимального множество модель теории может можно назовем найдется недвукардинальна некоторого Необходимым Нетрудно Обозначим образом одной операций ОПРЕДЕЛЕНИЕ определим отображение Отсюда Очевидно переменных подгруппе подкольцо подмножество подслово подформул подынтервалов Полагаем поле полна полугрупп получим порождает поэтому предложений представления программы произвольная Пуоть работе равенства радикалы Джекобсона ранговой функции Рассмотрим реализует решения свойства связей обусловленности силу системы Следовательно Следствие следующие условия слова случае смежных классов совместно совокупность соответствие состояний стабильной суперстабильная счетная Теорема теперь типа Тогда существует УДК удовлетворяет уравнений уравновешенное тождество фор форкуется формул вида формулы левых формульного хорошей почти-слабо число эквивалентности элемент является языка

Bibliographic information