Приложение
для AndroidПолное описание
Леонтьева, М. Н. Сильная конструктивизируемость булевых алгебр : автореф. дис. ... канд. физ.-мат. наук: 01.01.06 / М. Н. Леонтьева. - 2013. - 15 с. - Библиогр.: с. 12-15 . - Текст : непосредственный.
| ГРНТИ | УДК | |
| 27.17.21 | 512.563(043) |
Кл.слова (ненормированные): ВЫЧИСЛИМЫЕ МОДЕЛИ -- ДИСТРИБУТИВНЫЕ РЕШЕТКИ -- КОНСТРУКТИВНЫЕ МОДЕЛИ
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар13-4305)
Шифр в сводном ЭК: 37fef07af4f5508d0a0a4a002fa795a5
Труды международной конференции "Континуальные алгебраические логики, исчисления и нейроинформатика в науке, технике и экономике" : 13-15 мая 2003 г. . Т. 2 : Алгебраические логики, импликативная и предикатная алгебры выбора в задачах науки и техники, 2003. - 138 с. - Текст : непосредственный.Мальцев И.А. Итеративные алгебры, близкие к транзитивным : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / И. А. Мальцев, 2004. - 26 с. - Текст : непосредственный.Ахметова Н.А. Элементы дискретной математики. Функции алгебры логики. Теория графов. Элементы теории кодирования : выставочные материалы / Н. А. Ахметова, А. Я. Гильмутдинова, З. М. Усманова, 2015. - 120 с. - Текст : непосредственный.Подзоров С.Ю. Верхние полурешетки арифметических нумераций в арифметических m-степеней : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / С. Ю. Подзоров, 2010. - 18 с. - Текст : непосредственный.Первухин М.А. Теоретико-модельные свойства частично упорядоченных полигонов / М. А. Первухин, 2010. - 18 с. - Текст : непосредственный.Семенова М.В. Разложения в полных решетках / М. В. Семенова, 2000. - 23 с. - Текст : непосредственный.Маренич Е.Е. Системы линейных уравнений над решетками / Е. Е. Маренич, В. Е. Маренич, 2007. - 122 с. - Текст : непосредственный.Егоров И.П. О математических структурах / И. П. Егоров, 2016. - 64 с. - Текст : непосредственный.Запатрин Р.Р. Полугрупповая координатизация решеток : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Р. Р. Запатрин, 1999. - 7 с. - Текст : непосредственный.Перязева Ю.В. Минимизация булевых функций в классах бинарных термов и полиномиальных нормальных форм : специальность 05.13.16 "" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / Ю. В. Перязева, 1999. - 18 с. - Текст : непосредственный.Семигродских А.П. Решетки замкнутых классов функций на бесконечном множестве : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. П. Семигродских, 2003. - 16 с. - Текст : непосредственный.Ермолаева Н.Н. Практические занятия по алгебре. Элементы теории множеств, теории чисел, комбинаторики. Алгебраические структуры : выставочные материалы / Н. Н. Ермолаева, В. А. Козынченко, Г. И. Курбатова, 2014. - 111 с. - Текст : непосредственный.Упорядоченные множества и решетки : Межвуз.сб.науч.тр. Вып. 10, 1991. - 125 с. - Текст : непосредственный.Шевелев Ю.П. Высшая математика : Учеб.пособие для студентов техн.вузов, для сред.шк. 5 : Дискретная математикаЧ. 1. Теория множеств. Булева алгебра (для автоматизированной технологии обучения), 1998. - 114 с. - Текст : непосредственный.Measures on Projections and Orthomodular Posets : сборник научных трудов, 1998. - 114 p. - Текст : непосредственный.Лапшин А.Б. Дискретная математика и математическая логика : Учеб. пособие. Ч. 2 : Элементы алгебры логики, 2004. - 32 с. - Текст : непосредственный.Перязев Н.А. Основы теории булевых функций / Н. А. Перязев, 1999. - 110 с. - Текст : непосредственный.Шаранхаев И.К. Слабоповторные булевы функции в предэлементарных базисах : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / И. К. Шаранхаев, 2003. - 11 с. - Текст : непосредственный.Семенова М.В. К теории полудистрибутивных решеток : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / М. В. Семенова, 2000. - 16 с. - Текст : непосредственный.Гуров С.И. Булевы алгебры, упорядоченные множества, решетки. Определения, свойства, примеры / С. И. Гуров, 2013. - 349 с. - Текст : непосредственный.
Показать все результатыМальцев И.А. Итеративные алгебры, близкие к транзитивным : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / И. А. Мальцев, 2004. - 26 с. - Текст : непосредственный.Перязева Ю.В. Минимизация булевых функций в классах бинарных термов и полиномиальных нормальных форм : специальность 05.13.16 "" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / Ю. В. Перязева, 1999. - 18 с. - Текст : непосредственный.Шаранхаев И.К. Слабоповторные булевы функции в предэлементарных базисах : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / И. К. Шаранхаев, 2003. - 11 с. - Текст : непосредственный.Винокуров С.Ф. Операторы в полиномиальных представлениях булевых функций : специальность 01.01.09 "" : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук / С. Ф. Винокуров, 2001. - 27 с. - Текст : непосредственный.Рябец Л.В. Сложность и алгоритмы построения проверяюших тестов и некоторых классов полиномиальных форм булевых функций : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : диссертация на соискание ученой степени канд. физ.-мат. наук / Л. В. Рябец, 2007. - 18 с. - Текст : непосредственный.
Забалуев Р.Н. О средней сложности булевых функций : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / Р. Н. Забалуев, 2004. - 11 c. - Текст : непосредственный.Леонтьева М.Н. Сильная конструктивизируемость булевых алгебр : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / М. Н. Леонтьева, 2013. - 15 с. - Текст : непосредственный.Власов В.Н. Алгоритмические свойства булевых алгебр : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. Н. Власов, 1999. - 16 с. - Текст : непосредственный.Семичева Н.Л. Методы нахождения бесповторных представлений не всюду определенных булевых функций : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / Н. Л. Семичева, 2008. - 15 с. - Текст : непосредственный.Поцелуевская Е.А. Алгоритмы поиска решения задачи об F-выполнимости, основанные на приближении булевых функций к классам Шефера : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / Е. А. Поцелуевская, 2012. - 17 с. - Текст : непосредственный.Зубков О.В. Нахождение, оценка и сравнение числа бесповторных булевых функций в различных базисах : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / О. В. Зубков, 2002. - 17 с. - Текст : непосредственный.Бадмаев С.А. Критерий полноты и замкнутые классы мультифункций в полном частичном ультраклоне ранга 2 : 01.01.09 - дискретная математика и математическая кибернетика: автореферат диссертации на соискание ученой степени кандидата физико-математических наук / С. А. Бадмаев, 2019. - 13 с. - Текст : непосредственный.Чухров И.П. Экстремальные комплексы граней в единичном кубе : автореф. дис. .. д-ра физ.-мат. наук: 01.01.09 / И. П. Чухров, 2013. - 34 с. - Текст : непосредственный.Алаев П.Е. Вычислимость и разрешимость в классе булевых алгебр : автореф. дис. .. д-ра физ.-мат. наук: 01.01.06 / П. Е. Алаев, 2006. - 24 с. - Текст : непосредственный.Когабаев Н.Т. Конструктивные булевы алгебры с выделенными идеалами : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / Н. Т. Когабаев, 2001. - 11 с. - Текст : непосредственный.Куликов А.С. Схемная сложность явно заданных булевых функций : автореф. дис. .. д-ра физ.-мат. наук: 01.01.06 / А. С. Куликов, 2016. - 21 с. - Текст : непосредственный.Казимиров А.С. Операторные преобразования и минимизация полиномиальных представлений булевых функций : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / А. С. Казимиров, 2007. - 15 с. - Текст : непосредственный.Акулов Я.В. О классах булевых функций, выразимых относительно расширенной суперпозиции : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / Я. В. Акулов, 2015. - 13 с. - Текст : непосредственный.Schaller C. Verallgemeinerung der Stone schen Satze : Diss / C.Schaller, 1995. - 155 S. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Заказ фрагмента документа ₽