Приложение
для AndroidПолное описание
Зайнетдинов, Д. Х. Предельно монотонная сводимость и ее структурные свойства : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / Д. Х. Зайнетдинов. - Казань : [б. и.], 2016. - 23 с. - Библиогр.: с. 18-23 (47 назв.). - 120 экз. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 27.03.45 | 510.522(043) |
Кл.слова (ненормированные): монотонные множества -- математическая логика -- теория вычислимых структур -- классическая теория вычислимости
Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)
Ахтямов Р.Б. Сложностные свойства индексных множеств : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.06 / Р. Б. Ахтямов, 1991. - 16 с. - Текст : непосредственный.Заурбеков С.С. Оценки алгоритмической сложности некоторых семантических классов предложений : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. С. Заурбеков, 1991. - 10 с. - Текст : непосредственный.Белякин Н.В. Теория вычислений с оракулами и рекурсивных иерархий : Автореферат диссертации на соискание ученой степени д-ра физ-мат.наук:01.01.06 / Н. В. Белякин, 1992. - 23 с. - Текст : непосредственный.Чашкин А.В. О сложности булевых матриц : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. В. Чашкин, 1994. - 12 с. - Текст : непосредственный.Верещагин Н.К. Релятивизуемость в структурной теории сложности вычислений : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Н. К. Верещагин, 1995. - 25 с. - Текст : непосредственный.Ашаев И.В. Алгоритмическая вычислимость над произвольными алгебраическими системами : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / И. В. Ашаев, 1996. - 11 с. - Текст : непосредственный.Бадаев С.А. Минимальные нумерации : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / С. А. Бадаев, 1996. - 18 с. - Текст : непосредственный.Коровина М.В. Обобщенная вычислимость над полем действительных чисел : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / М. В. Коровина, 1996. - 12 с. - Текст : непосредственный.Найденко В.Г. Некоторые вопросы вычислительной сложности и методы решения комбинаторных задач : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / В. Г. Найденко, 1997. - 16 с. - Текст : непосредственный.Ганова Р.В. Нетрадиционные версии обобщенной вычисляемости с оракулами : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / Р. В. Ганова, 1998. - 13 с. - Текст : непосредственный.Хисамиев А.Н. Определимость в наследственно конечных допустимых множествах : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / А. Н. Хисамиев, 1999. - 12 с. - Текст : непосредственный.Стрыгин В.З. Полиномиальные алгоритмы решения переборных задач : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.09, 01.01.06 / В. З. Стрыгин, 2000. - 44 с. - Текст : непосредственный.Дудаков С.М. Вычислительная сложность некоторых задач математической логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / С. М. Дудаков, 2000. - 17 с. - Текст : непосредственный.Калимуллин И.Ш. Структурные свойства верхних полурешеток степеней по перечислимости : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / И. Ш. Калимуллин, 2001. - 9 с. - Текст : непосредственный.Витер Д.А. Примитивно рекурсивная реализуемость и конструктивная теория моделей : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / Д. А. Витер, 2002. - 12 с. - Текст : непосредственный.Мучник А.А. Решение некоторых задач теории алгоритмов с использованием игровых методов : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / А. А. Мучник, 2001. - 10 c. - Текст : непосредственный.Солон Б.Я. Нетотальные степени перечислимости : автореф. дис. .. д-ра физ.-мат. наук : 01.01.06 / Б. Я. Солон, 2002. - 32 с. - Текст : непосредственный.Мизин Д.А. Алгоритмы, основанные на прикладной символической динамике : автореф. дис. .. канд. физ.-мат. наук : 05.13.18 / Д. А. Мизин, 2003. - 14 с. - Текст : непосредственный.Стукачев А.И. Вычислимость в допустимых множествах : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / А. И. Стукачев, 2002. - 15 с. - Текст : непосредственный.Ишмухаметов Ш.Т. Минимальные покрытия тьюринговых степеней : автореф. дис. .. д-ра физ.-мат. наук : 01.01.06 / Ш. Т. Ишмухаметов, 2003. - 26 с. - Текст : непосредственный.
Показать все результатыКожевникова Г.П. Методы сборочно-конкретизирующего анализа вычислительной сложности алгоритмов и их приложения : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.11 / Г. П. Кожевникова, 1991. - 33 с. - Текст : непосредственный.Чашкин А.В. О сложности булевых матриц : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. В. Чашкин, 1994. - 12 с. - Текст : непосредственный.Верещагин Н.К. Релятивизуемость в структурной теории сложности вычислений : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Н. К. Верещагин, 1995. - 25 с. - Текст : непосредственный.Найденко В.Г. Некоторые вопросы вычислительной сложности и методы решения комбинаторных задач : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / В. Г. Найденко, 1997. - 16 с. - Текст : непосредственный.Дудаков С.М. Вычислительная сложность некоторых задач математической логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / С. М. Дудаков, 2000. - 17 с. - Текст : непосредственный.Ишмухаметов Ш.Т. Минимальные покрытия тьюринговых степеней : автореф. дис. .. д-ра физ.-мат. наук : 01.01.06 / Ш. Т. Ишмухаметов, 2003. - 26 с. - Текст : непосредственный.Сложность вычислений в алгебраических системах : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / А. Н. Рыбалов, 2005. - 20 с. - Текст : непосредственный.Дудаков С.М. Выразительная сила языков первого порядка для конечных алгебраических систем над бесконечными универсумами : автореф. дис. .. д-ра физ.-мат. наук : 01.01.06 / С. М. Дудаков, 2007. - 21 с. - Текст : непосредственный.Воробьев Ф.Ю. О предельных свойствах случайных КНФ : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / Ф. Ю. Воробьев, 2008. - 15 с. - Текст : непосредственный.Структурные свойства тьюринговых степеней множеств из иерархии Ершова : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / М. М. Ямалеев, 2009. - 11 с. - Текст : непосредственный.Дехтярь М.И. Семантика и анализ сложности алгоритмических проблем динамических систем и языков, использующих логическое программирование : автореф. дис. .. д-ра физ.-мат. наук : 05.13.17 / М. И. Дехтярь, 2009. - 35 с. - Текст : непосредственный.Оценки весов персептронов (полиномиальных пороговых булевых функций) : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / В. В. Подольский, 2009. - 18 с. - Текст : непосредственный.Тьюринговые скачки в иерархии Ершова : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / М. Х. Файзрахманов, 2011. - 18 с. - Текст : непосредственный.Мультипликативная сложность умножения в алгебрах : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / Б. В. Чокаев, 2012. - 16 с. - Текст : непосредственный.Верхние и нижние оценки на схемную сложность явно заданных булевых функций : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / Е. А. Деменков, 2013. - 10 с. - Текст : непосредственный.Некоторые вопросы теории сложности билинейных отображений : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / В. В. Лысиков, 2013. - 11 с.Соколов Д.О. Сложность решения задачи выполнимости булевых формул алгоритмами, основанными на расщеплении : автореф. дис. .. канд. физ.-мат. наук : 01.01.06, 01.01.09 / Д. О. Соколов, 2014. - 17 с. - Текст : непосредственный.Зайнетдинов Д.Х. Предельно монотонная сводимость и ее структурные свойства : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / Д. Х. Зайнетдинов, 2016. - 23 с.Кноп А.А. Сложность эвристических вычислений и интерактивных протоколов : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / А. А. Кноп, 2016. - 22 с.Рыбалов А.Н. Генерический подход к алгоритмическим проблемам : 01.01.06 - математическая логика, алгебра и теория чисел : автореферат диссертации на соискание ученой степени доктора физико-математических наук / А. Н. Рыбалов, 2019. - 26 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽