Приложение
для AndroidПолное описание
Гороховская, Н. Г. Об определимости понятия "быть свободной алгеброй" в бесконечных логиках / Н.Г.Гороховская. - Омск : [б. и.], 1996. - 21 с. - (Препринт / Институт информационных технологий и прикладной математики(Омск) ; 25)). - 50 экз. - Б. ц. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 27.17.21 | 512.563(04) |
Рубрики:
Алгебры
Кл.слова (ненормированные): алгебра
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Мясников А.Г. Степенные группы 1: основы теории и тензорные пополнения / А.Г.Мясников,В.Н.Ремесленников, 1993. - 25 c. - Текст : непосредственный.Харлампович О. Logical languages and axioms for groups with a length function / О. Харлампович, A. Myasnikov, V. Remeslennikov , 1995. - 8 p. - Текст : непосредственный.Амаглобели М. О перестановочности функтора тензорного пополнения с основными групповыми операциями / М.Амаглобели, 1992. - 11 c. - Текст : непосредственный.Мясников А.Г. Exponential groups 1: foundations of the theory and tensor completion / А.Г.Мясников,В.Н.Ремесленников, 1993. - 25 p. - Текст : непосредственный.Мясников А.Г. Exponential groups: interated tree extensions of centralizer / А.Г.Мясников,В.Н.Ремесленников, 1994. - 36 p. - Текст : непосредственный.Зубков А.Н. On the procedure of calculation of the invariants of an adjoint action of classical groups / А.Н.Зубков, 1993. - 19 p. - Текст : непосредственный.Зубков А.Н. Endomorphisms of tensor products of exterior powers and procesi hypothesis / А.Н.Зубков, 1993. - 16 p. - Текст : непосредственный.Амаглобели М.Г. Степенные группы 11: группы, точные при тензорном пополнении / М.Г.Амаглобели,В.Н.Ремесленников, 1993. - 20 c. - Текст : непосредственный.Baumslag G. Residually hyperbolic groups / G. Baumslag, A. Myasnikov, V. Remeslennikov, 1995. - 37 p. - Текст : непосредственный.Гороховская Н.Г. Об определимости понятия "быть свободной алгеброй" в бесконечных логиках / Н.Г.Гороховская, 1996. - 21 с. - Текст : непосредственный.Мясников А. Exponential groups / А.Мясников,В.Ремесленников, 1996. - 17 p. - Текст : непосредственный.Гороховская Н.Г. О понятии "быть свободной алгеброй" в HF-логике / Н.Г.Гороховская,В.Н.Ремесленников, 1995. - 21 c. - Текст : непосредственный.
Завадский А.Г. Представления частично упорядоченных множеств конечного роста : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. Г. Завадский, 1991. - 19 с. - Текст : непосредственный.Адаричева К.В. Строение решеток подполурешеток : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / К. В. Адаричева, 1990. - 12 с. - Текст : непосредственный.Молчанов В.А. Нестандартные приложения алгебры соответствий : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / В. А. Молчанов, 1994. - 28 с. - Текст : непосредственный.Власов В.Н. Алгоритмические свойства булевых алгебр : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. Н. Власов, 1999. - 16 с. - Текст : непосредственный.Липачева Е.В. Рекурсивные и частичные автоморфизмы булевых алгебр : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Е. В. Липачева, 1997. - 13 с. - Текст : непосредственный.Репницкий В.Б. Представление решеток решетками подалгебр : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / В. Б. Репницкий, 1997. - 27 с. - Текст : непосредственный.Зуев Ю.А. Вероятностные методы в пороговой логике : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.09 / Ю. А. Зуев, 1998. - 21 с. - Текст : непосредственный.Запатрин Р.Р. Полугрупповая координатизация решеток : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Р. Р. Запатрин, 1999. - 7 с. - Текст : непосредственный.Перязева Ю.В. Минимизация булевых функций в классах бинарных термов и полиномиальных нормальных форм : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / Ю. В. Перязева, 1999. - 18 с. - Текст : непосредственный.Ильин С.Н. Строение обратимых матриц над упорядоченными алгебраическими системами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Н. Ильин, 1999. - 16 с. - Текст : непосредственный.Кириченко К.Д. Бесповторные и слабоповторные булевы функции в предэлементарных базисах : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / К. Д. Кириченко, 2000. - 14 с. - Текст : непосредственный.Семенова М.В. К теории полудистрибутивных решеток : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / М. В. Семенова, 2000. - 16 с. - Текст : непосредственный.Сафин К.Л. Идеалы итеративных алгебр : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / К. Л. Сафин, 2000. - 12 с. - Текст : непосредственный.Когабаев Н.Т. Конструктивные булевы алгебры с выделенными идеалами : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / Н. Т. Когабаев, 2001. - 11 с. - Текст : непосредственный.Назырова Ю.А. Слойно проективные решетки : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / Ю. А. Назырова, 2001. - 13 с. - Текст : непосредственный.Балюк А.С. Сложность булевых функций в классах полиномиальных форм : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / А. С. Балюк, 2002. - 18 с. - Текст : непосредственный.Гайдуков А.И. Стягиваемые булевы функции и минимизация в нормальных формах : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / А. И. Гайдуков, 2002. - 14 с. - Текст : непосредственный.Зубков О.В. Нахождение, оценка и сравнение числа бесповторных булевых функций в различных базисах : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / О. В. Зубков, 2002. - 17 с. - Текст : непосредственный.Степанова А.А. Теоретико-модельные свойства полигонов : автореф. дис. .. д-ра физ.-мат. наук : 01.01.06 / А. А. Степанова, 2003. - 21 с. - Текст : непосредственный.Шаранхаев И.К. Слабоповторные булевы функции в предэлементарных базисах : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / И. К. Шаранхаев, 2003. - 11 с. - Текст : непосредственный.
Показать все результатыCarlson J.F. Tensor factorizations of group algebras and modules / J.F.Carlson,L.G.Kovacs, 1994. - 24 p. - Текст : непосредственный.Gilbert J.E. Clifford algebras and dirac operators in harmonic analysis / J.E.Gilbert,M.A.M.Murray, 1991. - 334 мкф. - Текст : непосредственный.Erdmann K. Deformations of group algebras / K.Erdmann, 1994. - 6 p. - Текст : непосредственный.Erdmann K. Some tensor-indecomposable modular group algebras. A projective geometry problem related to tensor factorizations of group algebras ; / L. G. Kovacs ; K.Erdmann,L.G.Kovacs, 1994. - 5,5 p. p. - Текст : непосредственный.Гамильтон У.Р. Оптика. Динамика. Кватернионы : Избранные труды / У. Р. Гамильтон ; Отв. ред. Л. С .Полак, 1994. - 560 c. - Текст : непосредственный.Farb B. Noncommutative algebra / B.Farb,R.K.Dennis, 1993. - 223 p. - Текст : непосредственный.Hahn A.J. Quadratic algebras, Clifford algebras, and arithmetic Witt groups / A.J.Hahn, 1994. - XI,286 p. p. - Текст : непосредственный.Bovdi V. Symmetric units in modular group algebras / V.Bovdi,L.G.Kovacs,S.K.Sehgal, 1995. - 5 p. - Текст : непосредственный.Slinko A. Linearly compact algebras and coalgebras / A.Slinko, 1995. - 13 p. - Текст : непосредственный.Muller J. Zerlegungszahlen fur generische Iwahori-Hecke-Algebren von exzeptionellem Typ : Diss. / J.Muller, 1995. - 198 S. - Текст : непосредственный.Molev A. Factorial supersymmetric Schur functions and super Capelli identities / A.Molev, 1996. - 39 p. - Текст : непосредственный.Neumann B.H. Commutator laws in algebraic systems / B.H.Neumann, 1996. - 8 p. - Текст : непосредственный.Гороховская Н.Г. Об определимости понятия "быть свободной алгеброй" в бесконечных логиках / Н.Г.Гороховская, 1996. - 21 с. - Текст : непосредственный.Филиппов В.Т. Ниль-элементы индекса 2 в алгебрах Мальцева / В.Т.Филиппов, 1996. - 18 с. - Текст : непосредственный.Hazewinkel M. The Leibniz-Hopf algebra and Lyndon words / M.Hazewinkel, 1996. - 7 p. - Текст : непосредственный.Сверчков С.Р. Йордановы S-тождества от трех переменных / С.Р.Сверчков, 1996. - 43 с. - Текст : непосредственный.Сверчков С.Р. Примеры неспециальных йордановых алгебр Бернштейна / С.Р.Сверчков, 1997. - 39 с. - Текст : непосредственный.Сверчков С.Р. S-сложность йордановых многообразий / С.Р.Сверчков, 1997. - 28 с. - Текст : непосредственный.Зайди О. Разрешимые и полупростые алгебры Бола / О.Зайди,Е.Н.Кузьмин, 1993. - 26 с. - Текст : непосредственный.Hentzel I. On exceptional nil of index 3 jordan algebras / I. Hentzel, D. Jacobs, С. Сверчков, 1997. - 29 p. - Текст : непосредственный.
Показать все результатыПальчунов Д.Е. Алгебра Линденбаума-Тарского булевых алгебр с выделенными идеалами / Д.Е.Пальчунов, 1994. - 42 c. - Текст : непосредственный.Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный.Гороховская Н.Г. Об определимости понятия "быть свободной алгеброй" в бесконечных логиках / Н.Г.Гороховская, 1996. - 21 с. - Текст : непосредственный.Липачева Е.В. Группы рекурсивных автоморфизмов и полугруппы частичных автоморфизмов булевых алгебр / Е.В.Липачева, 1996. - 37 с. - Текст : непосредственный.Гороховская Н.Г. О понятии "быть свободной алгеброй" в HF-логике / Н.Г.Гороховская,В.Н.Ремесленников, 1995. - 21 c. - Текст : непосредственный.Алаев П.Е. Сложные булевы алгебры с малым рангом / П.Е.Алаев, 1998. - 12 с. - Текст : непосредственный.Власов В.Н. Конструктивизируемость булевых алгебр элементарной характеристики (1,0,1) / В.Н.Власов, 1998. - 40 с. - Текст : непосредственный.Подзоров С.Ю. Однородные булевы алгебры с рекурсивным представлением / С.Ю.Подзоров, 1999. - 12 с. - Текст : непосредственный.Стрыгин В.З. Полиноминальный алгоритм минимизации случайных ("почти всех") булевых функций / В.З.Стрыгин, 1992. - Текст : непосредственный.Стрыгин В.З. Классы булевых функций, имеющих полиномиальные алгоритмы минимизации / В.З.Стрыгин, 1990. - 77 с. - Текст : непосредственный.Разработка на базе позиционной алгебры логики алгоритмов задачи о выполнимости и их статистическое исследование / О.М.Москаленко,И.В.Петров,М.И.Тельпиз,В.И.Шевченко, 1990. - 35 с. - Текст : непосредственный.
Заказ фрагмента документа ₽