Приложение
для AndroidПолное описание
Власов, В. Н. Конструктивизируемость булевых алгебр элементарной характеристики (1,0,1) / В.Н.Власов. - Новосибирск : [б. и.], 1998. - 40 с. : ил. - (Препринт / НИИ математико-информационных основ обучения(Новосибирск) ; 37)). - 100 экз. - Б. ц. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 27.17.21 | 512.563(04) |
Рубрики:
Алгебра логики
Кл.слова (ненормированные): алгебра -- логик
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Белкин Д.В. О конечных решетках квазимногообразий модулей над конечными кольцами / Д.В.Белкин, 1995. - 21 c. - Текст : непосредственный.Куликов Н.А. О хроматических многочленах графов / Н.А.Куликов, 1995. - 12 c. - Текст : непосредственный.Брюханов О.В. Генетика универсальных групп Шевалле над некоторыми коммутативными кольцами / О.В.Брюханов, 1995. - 13 c. - Текст : непосредственный.Кортава Л.Г. Интенсивное обучение основам информатики в интегрированной информационной среде СУНЦ НГУ / Л.Г.Кортава, 1995. - 21 c. - Текст : непосредственный.Кудинов О.В. Проблема описания автоустойчивых моделей / О.В.Кудинов, 1995. - 16 c. - Текст : непосредственный.Гончаров С.С. Семейства с одноэлементной полурешеткой Роджерса / С.С.Гончаров,С.А.Бадаев, 1996. - 26 с. - Текст : непосредственный.Амаглобели М.Г. Нильпотентные А-группы ступени 2 / М.Г.Амаглобели,В.Н.Ремесленников, 1996. - 19 с. - Текст : непосредственный.Сверчков С.Р. Йордановы S-тождества от трех переменных / С.Р.Сверчков, 1996. - 43 с. - Текст : непосредственный.Ершов Ю.Л. Theory of numberings / Ю.Л.Ершов, 1996. - 37 p. - Текст : непосредственный.Гончаров С.С. Обобщенно-вычислимые нумерации и нетривиальные полурешетки Роджерса / С.С.Гончаров,А.Сорби, 1996. - 27 с. - Текст : непосредственный.Сверчков С.Р. Примеры неспециальных йордановых алгебр Бернштейна / С.Р.Сверчков, 1997. - 39 с. - Текст : непосредственный.Березнюк С. Расположение собственно степеней / С. Березнюк, Р. Кулз, А. Сорби, 1997. - 20 с. - Текст : непосредственный.Сверчков С.Р. S-сложность йордановых многообразий / С.Р.Сверчков, 1997. - 28 с. - Текст : непосредственный.Hentzel I. On exceptional nil of index 3 jordan algebras / I. Hentzel, D. Jacobs, С. Сверчков, 1997. - 29 p. - Текст : непосредственный.Ершов Ю.Л. О d-пространствах / Ю.Л.Ершов, 1997. - 18 с. - Текст : непосредственный.Амаглобели М.Г. G-тождества нильпонентных групп / М.Г.Амаглобели, 1997. - 18 с. - Текст : непосредственный.Ленюк С.В. Фильтры в решетках квазимногообразий групп / С.В.Ленюк, 1997. - 10 с. - Текст : непосредственный.Ленюк С.В. Фильтры в решетках многообразий ANc групп / С.В.Ленюк, 1998. - 10 с. - Текст : непосредственный.Арзикулов Ф.Н. Вероятностные меры и состояния на AJW и AW алгебрах и йордановы алгебры измеримых операторов / Ф.Н.Арзикулов, 1998. - 41 с. - Текст : непосредственный.Прокудина Л.Л. Оценка эффективности и инвестиционной привлекательности региональных рисковых проектов / Л.Л.Прокудина, 1998. - 33 с. - Текст : непосредственный.
Показать все результатыЗавадский А.Г. Представления частично упорядоченных множеств конечного роста : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук: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 с. - Текст : непосредственный.
Показать все результатыAlgebraic logic / сост. H. Andreka, 1991. - VI,746 p. p. - Текст : непосредственный.Schmidt G. Relations and graphs : Discrete mathematics for computer scientists / G.Schmidt,T.Str@:ohlein, 1993. - VIII,301 p. p. - Текст : непосредственный.Волгин Л.И. Свойства и законы двоичной булевой алгебры на множестве комплексных и действительных чисел: АМ-алгебра и ее применения : Лекция по курсу "Лог. основы и модели нейрон. сетей" / Л.И.Волгин, 1994. - 36 c. - Текст : непосредственный.Обухов В.Е. Логические уравнения и прикладные задачи / В.Е.Обухов,В.В.Павлов, 1992. - 187 c. - Текст : непосредственный.Rijke M.de The logic peirce algebras / M.de Rijke, 1994. - 23 p. - Текст : непосредственный.Pinus A.G. Constructions of boolean algebras / A.G.Pinus, 1994. - 208 c. - Текст : непосредственный.Волгин Л.И. Свойства и законы двоичной булевой алгебры на множестве комплексных и действительных чисел: АМ-алгебра и ее применения : Лекция по курсу "Лог. основы и модели нейрон. сетей" / Л.И.Волгин, 1995. - 38 c. - Текст : непосредственный.Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный.Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный.Schaller C. Verallgemeinerung der Stone schen Satze : Diss / C.Schaller, 1995. - 155 S. - Текст : непосредственный.Волгин Л.И. АМ-алгебра и ее применения : Две лекции по курсу "Логические основы и модели нейронных сетей" / Л.И.Волгин, 1997. - 51 с. - Текст : непосредственный.Гончаров С.С. Счетные булевы алгебры и разрешимость / С.С.Гончаров, 1996. - 361 с. - Текст : непосредственный.Липачева Е.В. Группы рекурсивных автоморфизмов и полугруппы частичных автоморфизмов булевых алгебр / Е.В.Липачева, 1996. - 37 с. - Текст : непосредственный.Гороховская Н.Г. О понятии "быть свободной алгеброй" в HF-логике / Н.Г.Гороховская,В.Н.Ремесленников, 1995. - 21 c. - Текст : непосредственный.Алаев П.Е. Сложные булевы алгебры с малым рангом / П.Е.Алаев, 1998. - 12 с. - Текст : непосредственный.Винокуров С.Ф. Полиномиальные разложения булевых функций по образам неоднородных операторов / С.Ф.Винокуров,Н.А.Перязев, 1998. - 24 с. - Текст : непосредственный.Перязев Н.А. Слабоповторные булевы функции в бинарном базисе / Н.А.Перязев, 1998. - 12 с. - Текст : непосредственный.Власов В.Н. Конструктивизируемость булевых алгебр элементарной характеристики (1,0,1) / В.Н.Власов, 1998. - 40 с. - Текст : непосредственный.Romanski S. Algorytm wyszukiwania minimalnych punktow monotonicznej funkcji boolowskiej i jego zastosowania / S.Romanski, 1991. - 100 s. - Текст : непосредственный.Шевелев, Ю. П. Высшая математика : Учеб.пособие для студентов техн.вузов, для сред.шк. 5 : Дискретная математикаЧ. 1. Теория множеств. Булева алгебра (для автоматизированной технологии обучения), 1998. - 114 с. - Текст : непосредственный.
Показать все результатыПальчунов Д.Е. Алгебра Линденбаума-Тарского булевых алгебр с выделенными идеалами / Д.Е.Пальчунов, 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 с. - Текст : непосредственный.
Заказ фрагмента документа ₽