Полное описание
Подольский, В. В.
ГРНТИ УДК 27.17.21 512.563(043) 27.03.17 510.522(043)
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар10-2851)
Шифр в сводном ЭК: 1afda7a38e5a978866c0ce7a97cc9a01
Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 1989. - 187 с. - Текст : непосредственный. HromkoviC J. Design and analysis of randomized algorithms / J. HromkoviC, 2005 r=on-line. - Текст : электронный. Труды международной конференции "Континуальные алгебраические логики, исчисления и нейроинформатика в науке, технике и экономике" : 13-15 мая 2003 г. . Т. 2 : Алгебраические логики, импликативная и предикатная алгебры выбора в задачах науки и техники, 2003. - 138 с. - Текст : непосредственный. Бабенко М.А. Введение в теорию алгоритмов и структур данных : выставочные материалы / М. А. Бабенко, М. В. Левин, 2016. - 139 с. - Текст : непосредственный. Мальцев И.А. Итеративные алгебры, близкие к транзитивным : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / И. А. Мальцев, 2004. - 26 с. - Текст : непосредственный. Ахметова Н.А. Элементы дискретной математики. Функции алгебры логики. Теория графов. Элементы теории кодирования : выставочные материалы / Н. А. Ахметова, А. Я. Гильмутдинова, З. М. Усманова, 2015. - 120 с. - Текст : непосредственный. Волченков С.Г. Методы построения эффективных алгоритмов / С. Г. Волченков, Ю. В. Богомолов, 2004. - 125 с. - Текст : непосредственный. Алексеев В.Е. Графы. Модели вычислений. Структуры данных / В. Е. Алексеев, В. А. Таланов, 2005. - 307 с. - Текст : непосредственный. Подзоров С.Ю. Верхние полурешетки арифметических нумераций в арифметических m-степеней : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / С. Ю. Подзоров, 2010. - 18 с. - Текст : непосредственный. Первухин М.А. Теоретико-модельные свойства частично упорядоченных полигонов / М. А. Первухин, 2010. - 18 с. - Текст : непосредственный. Семенова М.В. Разложения в полных решетках / М. В. Семенова, 2000. - 23 с. - Текст : непосредственный. Булос Д. Вычислимость и логика : монография / Д. Булос, Р. Джеффри, 1994. - 396 c. - Текст : непосредственный. Zakrzewski M. Wprowadzenie w teorie zlozonosci obliczeniowej: W kregu zagadnienia P-NP. / M. Zakrzewski, 1990. - 87 s. - Текст : непосредственный. Маренич Е.Е. Системы линейных уравнений над решетками / Е. Е. Маренич, В. Е. Маренич, 2007. - 122 с. - Текст : непосредственный. Гашков С.Б. Арифметика. Алгоритмы. Сложность вычислений / С. Б. Гашков, В. Н. Чубариков, 2005. - 319 с. - Текст : непосредственный. Егоров И.П. О математических структурах / И. П. Егоров, 2016. - 64 с. - Текст : непосредственный. Запатрин Р.Р. Полугрупповая координатизация решеток : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Р. Р. Запатрин, 1999. - 7 с. - Текст : непосредственный. Перязева Ю.В. Минимизация булевых функций в классах бинарных термов и полиномиальных нормальных форм : специальность 05.13.16 "" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / Ю. В. Перязева, 1999. - 18 с. - Текст : непосредственный. Мир математики : [в 45 т.]. [Т.] 43 : Существуют ли неразрешимые проблемы? Математика, сложность и вычисление : [пер. с исп.] / Л. Ф. Ареан, 2014. - 143 с. - Текст : непосредственный. Семигродских А.П. Решетки замкнутых классов функций на бесконечном множестве : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. П. Семигродских, 2003. - 16 с. - Текст : непосредственный. Показать все результаты Мальцев И.А. Итеративные алгебры, близкие к транзитивным : специальность 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.06 / А. А. Кноп, 2016. - 22 с. - Текст : непосредственный. Семичева Н.Л. Методы нахождения бесповторных представлений не всюду определенных булевых функций : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / Н. Л. Семичева, 2008. - 15 с. - Текст : непосредственный. Воробьев Ф.Ю. О предельных свойствах случайных КНФ : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / Ф. Ю. Воробьев, 2008. - 15 с. - Текст : непосредственный. Поцелуевская Е.А. Алгоритмы поиска решения задачи об F-выполнимости, основанные на приближении булевых функций к классам Шефера : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / Е. А. Поцелуевская, 2012. - 17 с. - Текст : непосредственный. Рыбалов А.Н. Сложность вычислений в алгебраических системах : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / А. Н. Рыбалов, 2005. - 20 с. - Текст : непосредственный. Файзрахманов М.Х. Тьюринговые скачки в иерархии Ершова : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / М. Х. Файзрахманов, 2011. - 18 с. - Текст : непосредственный. Зубков О.В. Нахождение, оценка и сравнение числа бесповторных булевых функций в различных базисах : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / О. В. Зубков, 2002. - 17 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
