Полное описание
Верещагин, Н. К.
ГРНТИ УДК 27.03.17 510.522(043)
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): АР95-6409)
Шифр в сводном ЭК: 1ed9ad28015b68b3a2fe960b58756c62
Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный. Верещагин Н.К. Начала теории множеств / Н. К. Верещагин, А. Шень, 1999. - 127 с. - Текст : непосредственный. Успенский В.А. Вводный курс математической логики / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско, 1991. - 136 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Успенский В.А. Вводный курс математической логики / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско, 2007. - 125 с. - Текст : непосредственный. Успенский В.А. Вводный курс математической логики / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско, 2002. - 125 с. - Текст : непосредственный. Верещагин Н.К. Релятивизуемость в структурной теории сложности вычислений : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Н. К. Верещагин, 1995. - 25 с. - Текст : непосредственный. Верещагин Н.К. Колмогоровская сложность и алгоритмическая случайность / Н. К. Верещагин, В. А. Успенский, А. Шень, 2013. - 575 с. - Текст : непосредственный. Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 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 / А. А. Кноп, 2016. - 22 с. - Текст : непосредственный. Воробьев Ф.Ю. О предельных свойствах случайных КНФ : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / Ф. Ю. Воробьев, 2008. - 15 с. - Текст : непосредственный. Рыбалов А.Н. Сложность вычислений в алгебраических системах : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / А. Н. Рыбалов, 2005. - 20 с. - Текст : непосредственный. Файзрахманов М.Х. Тьюринговые скачки в иерархии Ершова : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / М. Х. Файзрахманов, 2011. - 18 с. - Текст : непосредственный. Найденко В.Г. Некоторые вопросы вычислительной сложности и методы решения комбинаторных задач : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / В. Г. Найденко, 1997. - 16 с. - Текст : непосредственный. Рыбалов А.Н. Генерический подход к алгоритмическим проблемам : 01.01.06 - математическая логика, алгебра и теория чисел: автореферат диссертации на соискание ученой степени доктора физико-математических наук / А. Н. Рыбалов, 2019. - 26 с. - Текст : непосредственный. Ишмухаметов Ш.Т. Минимальные покрытия тьюринговых степеней : автореф. дис. .. д-ра физ.-мат. наук: 01.01.06 / Ш. Т. Ишмухаметов, 2003. - 26 с. - Текст : непосредственный. Деменков Е.А. Верхние и нижние оценки на схемную сложность явно заданных булевых функций : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / Е. А. Деменков, 2013. - 10 с. - Текст : непосредственный. Дудаков С.М. Выразительная сила языков первого порядка для конечных алгебраических систем над бесконечными универсумами : автореф. дис. .. д-ра физ.-мат. наук: 01.01.06 / С. М. Дудаков, 2007. - 21 с. - Текст : непосредственный. Ямалеев М.М. Структурные свойства тьюринговых степеней множеств из иерархии Ершова : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / М. М. Ямалеев, 2009. - 11 с. - Текст : непосредственный. Чашкин А.В. О сложности булевых матриц : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. В. Чашкин, 1994. - 12 с. - Текст : непосредственный. Лысиков В.В. Некоторые вопросы теории сложности билинейных отображений : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / В. В. Лысиков, 2013. - 11 с. - Текст : непосредственный. Подольский В.В. Оценки весов персептронов (полиномиальных пороговых булевых функций) : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / В. В. Подольский, 2009. - 18 с. - Текст : непосредственный. Верещагин Н.К. Релятивизуемость в структурной теории сложности вычислений : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Н. К. Верещагин, 1995. - 25 с. - Текст : непосредственный. Дехтярь М.И. Семантика и анализ сложности алгоритмических проблем динамических систем и языков, использующих логическое программирование : автореф. дис. .. д-ра физ.-мат. наук: 05.13.17 / М. И. Дехтярь, 2009. - 35 с. - Текст : непосредственный. Козачинский А.Н. Сравнение коммуникационной, информационной и вопросной сложности : 01.01.06 - математическая логика, алгебра и теория чисел: автореферат диссертации на соискание ученой степени кандидата физико-математических наук / А. Н. Козачинский, 2019. - 18 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
