Приложение
для AndroidПолное описание
Подзоров, С. Ю. Однородные булевы алгебры с рекурсивным представлением / С.Ю.Подзоров. - Новосибирск : [б. и.], 1999. - 12 с. - (Препринт / НИИ дискретной математики и информатики(Новосибирск) ; 45). - 100 экз. - Б. ц. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 27.17.21 | 512.563(04) |
Рубрики:
Алгебра логики
Кл.слова (ненормированные): алгебра логики
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Останькович А.А. Смешанная задача с производной по времени в граничном условии для квазилинейных гиперболических уравнений второго и четвертого порядка / А.А.Останькович, 1998. - 14 с. - Текст : непосредственный.Кажихов А.В. Корректность одной модели фазового перехода газ-твердое тело / А.В.Кажихов,И.А.Калиев, 1999. - 32 с. - Текст : непосредственный.Останькович А.А. Смешанная задача с производной по времени в граничном условии для квазилинейной гиперболической системы уравнений второго порядка / А.А.Останькович, 1999. - 9 с. - Текст : непосредственный.Байзаев С. Эллиптические системы с ограниченными коэффициентами на плоскости / С.Байзаев, 1999. - 74 с. - Текст : непосредственный.Ревин Д.О. Две D -теоремы для одного класса конечных групп / Д.О.Ревин, 1999. - 42 с. - Текст : непосредственный.Подзоров С.Ю. Вычислимые классы конструктивизаций 2-конструктивизируемых моделей / С.Ю.Подзоров, 1999. - 11 с. - Текст : непосредственный.Подзоров С.Ю. Однородные булевы алгебры с рекурсивным представлением / С.Ю.Подзоров, 1999. - 12 с. - Текст : непосредственный.Пузаренко В.Г. О теории моделей на наследственно конечных надстройках / В.Г.Пузаренко, 2000. - 18 с. - Текст : непосредственный.Семенова М.В. Разложения в полных решетках / М.В.Семенова, 2000. - 23 с. - Текст : непосредственный.Заварницин А.В. Порядки элементов в накрытиях групп Ln(q) и распознаваемость знакопеременной группы А / А.В.Заварницин, 2000. - 13 с. - Текст : непосредственный.Заварницин А.В. Распознавание по множеству порядков элементов знакопеременных групп степени r+1 и r+2 для простого r / А.В.Заварницин, 2000. - 11 с. - Текст : непосредственный.Шеремет М.С. Неразложимые алгебры в квазимногообразиях частичных алгебр / М.С.Шеремет, 2001. - 26 с. - Текст : непосредственный.Шеремет М.С. Теоремы полноты для логики тождеств Эванса / М.С.Шеремет, 2001. - 12 с. - Текст : непосредственный.
Завадский А.Г. Представления частично упорядоченных множеств конечного роста : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук: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 с. - Текст : непосредственный.
Заказ фрагмента документа ₽