Приложение
для AndroidПолное описание
Соколов, Д. О. Сложность решения задачи выполнимости булевых формул алгоритмами, основанными на расщеплении / Д. О. Соколов. - 2014. - 17 с. - Библиогр.: с. 16-17 (6 назв.). - 100 экз. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 27.03.17 | 510.52(043) |
Кл.слова (ненормированные): РЕКУРСИВНЫЕ АЛГОРИТМЫ -- ТЕОРИЯ СЛОЖНОСТИ -- ФУНКЦИЯ ГОЛДРЕЙХА
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар15-702)
Шифр в сводном ЭК: 969965ace0d5df1033d4134749a94fc1
Соколов Д.О. Сложность решения задачи выполнимости булевых формул алгоритмами, основанными на расщеплении / Д. О. Соколов, 2014. - 17 с. - Текст : непосредственный.Соколов О.А. Электроника : учебное пособие / О. А. Соколов, П. С. Назаров, Д. О. Соколов, 2022. - 178 с. - Текст (визуальный) : непосредственный.Соколов О.А. Основы автоматизации управления на транспорте : учебное пособие / О. А. Соколов, Д. О. Соколов, 2022. - 195 с. - Текст (визуальный) : непосредственный.Соколов О.А. Электроника в устройствах автоматики на транспорте : учебное пособие / О. А. Соколов, П. С. Назаров, Д. О. Соколов, 2022. - 195 с. - Текст (визуальный) : непосредственный.
Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 1989. - 187 с. - Текст : непосредственный.HromkoviC J. Design and analysis of randomized algorithms / J. HromkoviC, 2005 r=on-line. - Текст : электронный.Бабенко М.А. Введение в теорию алгоритмов и структур данных : выставочные материалы / М. А. Бабенко, М. В. Левин, 2016. - 139 с. - Текст : непосредственный.Волченков С.Г. Методы построения эффективных алгоритмов / С. Г. Волченков, Ю. В. Богомолов, 2004. - 125 с. - Текст : непосредственный.Алексеев В.Е. Графы. Модели вычислений. Структуры данных / В. Е. Алексеев, В. А. Таланов, 2005. - 307 с. - Текст : непосредственный.Подзоров С.Ю. Верхние полурешетки арифметических нумераций в арифметических m-степеней : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / С. Ю. Подзоров, 2010. - 18 с. - Текст : непосредственный.Булос Д. Вычислимость и логика : монография / Д. Булос, Р. Джеффри, 1994. - 396 c. - Текст : непосредственный.Zakrzewski M. Wprowadzenie w teorie zlozonosci obliczeniowej: W kregu zagadnienia P-NP. / M. Zakrzewski, 1990. - 87 s. - Текст : непосредственный.Гашков С.Б. Арифметика. Алгоритмы. Сложность вычислений / С. Б. Гашков, В. Н. Чубариков, 2005. - 319 с. - Текст : непосредственный.Мир математики : [в 45 т.]. [Т.] 43 : Существуют ли неразрешимые проблемы? Математика, сложность и вычисление : [пер. с исп.] / Л. Ф. Ареан, 2014. - 143 с. - Текст : непосредственный.Сэвидж Д.Э. Сложность вычислений / Д. Э. Сэвидж, 1998. - 368 с. - Текст : непосредственный.Шумова Л.В. Частично-рекурсивные функции и алгоритмы : материалы временных коллективов / Л. В. Шумова, О. Б. Воронина, А. А. Шпонько, 2004. - 58 с. - Текст : непосредственный.Ворожцов А.В. Алгебраические методы определения сложности / А. В. Ворожцов, 2001. - 20 с. - Текст : непосредственный.Орехов Э.Ю. Введение в теорию сложности решения задач : учебное пособие / Э. Ю. Орехов, Ю. В. Орехов, 2008. - 87 с. - Текст : непосредственный.Шурыгин В.А. Сложностный метод теории алгоритмов / В. А. Шурыгин, 2009. - 194 с. - Текст : непосредственный.Мавликасова Г.Ч. Некоторые вопросы обобщенной вычислимости / Г. Ч. Мавликасова, 2000. - 28 с. - Текст : непосредственный.Parameterized and exact computation / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Романов В.Ф. Математическая логика и теория алгоритмов / В. Ф. Романов, 2003. - 23 с. - Текст : непосредственный.Нигматуллин Р.Г. Сложность булевых функций / Р. Г. Нигматуллин, 1991. - 239 c. - Текст : непосредственный.Алферова З.В. Теория алгоритмов, 1973. - 164 с. - Текст : непосредственный.
Показать все результатыРомащенко А.Е. Неравенства для колмогоровской сложности и общая информация : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. Е. Ромащенко, 2000. - 14 c. - Текст : непосредственный.Соколов Д.О. Сложность решения задачи выполнимости булевых формул алгоритмами, основанными на расщеплении / Д. О. Соколов, 2014. - 17 с. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Заказ фрагмента документа ₽