АР91-16640 Кожевникова, Г. П. Методы сборочно-конкретизирующего анализа вычислительной сложности алгоритмов и их приложения [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.11 / Г. П. Кожевникова. - Киев, 1991. - 33 с. В надзаг.: АН Украины,Ин-т кибернетики им.В.М.Глушкова. Библиогр.: с. 32-33(23 назв.).
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР95-2168 Чашкин, А. В. О сложности булевых матриц [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. В. Чашкин. - М., 1994. - 12 с. В надзаг.: МГУ им.М.В.Ломоносова,Мех.-мат.фак. Библиогр.: с.12
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР95-6409 Верещагин, Н. К. Релятивизуемость в структурной теории сложности вычислений [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Н. К. Верещагин. - М., 1995. - 25 с В надзаг.: МГУ им. М.В.Ломоносова, Мех.-мат. фак. Библиогр.:с.24-25 (8 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР97-1047 Найденко, В. Г. Некоторые вопросы вычислительной сложности и методы решения комбинаторных задач [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / В. Г. Найденко. - Минск, 1997. - 16 с. В надзаг. : АН Республики Беларусь. Ин-т Математики. Библиогр.:с. 13(11назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР00-9114 Дудаков, С. М. Вычислительная сложность некоторых задач математической логики [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / С. М. Дудаков. - М., 2000. - 17 с. В надзаг. : МГУ им. М.В. Ломоносова. Мех.-мат. фак. Библиогр.:с. 17 (4 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР02-4851 Ромащенко, А. Е. Неравенства для колмогоровской сложности и общая информация [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / А. Е. Ромащенко. - М., 2000. - 14 c. + 100 экз. В надзаг.: Моск. гос. ун-т им. М. В. Ломоносова, Мех.-мат. фак. Библиогр.: с. 14 (5 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР02-6986 Вьюгин, В. В. Применение колмогоровской теории алгоритмической сложности к логическим основам теории вероятностей [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук :01.01.06 / В. В. Вьюгин. - М., 2001. - 19 с. В надзаг.: Моск. гос. ун-т им. М. В. Ломоносова, Мех.-мат. фак. Библиогр.: с. 18-19 (15 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар04-4192 Ишмухаметов, Ш. Т. Минимальные покрытия тьюринговых степеней [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.01.06 / Ш. Т. Ишмухаметов. - Ульяновск, 2003. - 26 с. - 100 экз. Библиогр.: с. 24-26
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар05-1532 Рыбалов, А. Н. Сложность вычислений в алгебраических системах [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / А. Н. Рыбалов. - Омск, 2005. - 20 с. - Библиогр.: с. 17-20(36 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар07-12024 Дудаков, С. М. Выразительная сила языков первого порядка для конечных алгебраических систем над бесконечными универсумами [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.01.06 / С. М. Дудаков. - М., 2007. - 21 с. - Библиогр.: с. 21(9 назв.) В надзаг.: МГУ им. М.В.Ломоносова, Мех.-мат. фак.
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар08-3217 Воробьев, Ф. Ю. О предельных свойствах случайных КНФ [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Ф. Ю. Воробьев. - М., 2008. - 15 с. - Библиогр.: с. 15(6 назв.) В надзаг.: МГУ им. М.В.Ломоносова
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар09-10143 Ямалеев, М. М. Структурные свойства тьюринговых степеней множеств из иерархии Ершова [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / М. М. Ямалеев. - Казань, 2009. - 11 с. - Библиогр.: с. 9-11(21 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар09-21386 Дехтярь, М. И. Семантика и анализ сложности алгоритмических проблем динамических систем и языков, использующих логическое программирование [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 05.13.17 / М. И. Дехтярь. - Переславль-Залесский, 2009. - 35 с. - Библиогр.: с. 30-35(49 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар10-2851 Подольский, В. В. Оценки весов персептронов (полиномиальных пороговых булевых функций) [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / В. В. Подольский. - М., 2009. - 18 с. - Библиогр.: с. 18 (4 назв.) В надзаг.: МГУ им. М.В. Ломоносова, Мех.-мат. фак. Примечание о содержании: Работа относится к области сложности вычислений
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар11-1382 Файзрахманов, М. Х. Тьюринговые скачки в иерархии Ершова [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / М. Х. Файзрахманов. - Казань, 2011. - 18 с. - Библиогр.: с. 18 (5 назв.0
Кл.слова (ненормированные): теория вычислимости -- низкие множества -- вычислимые множества -- теорема робинсона -- скачки по перечислимости Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар12-21730 Чокаев, Б. В. Мультипликативная сложность умножения в алгебрах [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Б. В. Чокаев. - М., 2012. - 16 с. - Библиогр.: с. 15-16 (7 назв.) В надзаг.: МГУ им. М.В. Ломоносова, Фак. вычислит. мат. и кибернетики
Кл.слова (ненормированные): алгебраическая теория сложности -- сложность алгоритмов -- сложность вычислений Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар13-16607 Деменков, Е. А. Верхние и нижние оценки на схемную сложность явно заданных булевых функций [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / Е. А. Деменков. - СПб., 2013. - 10 с. : ил. - Библиогр.: с. 9-10 (4 назв.) В надзаг.: С.-Петербург. гос. ун-т
Кл.слова (ненормированные): сложность вычислений -- булевы функции Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар14-5323 Лысиков, В. В. Некоторые вопросы теории сложности билинейных отображений [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / В. В. Лысиков. - Москва, 2013. - 11 с. - Библиогр.: с. 11. - 75 экз.
Кл.слова (ненормированные): сложность вычислений -- мультилинейная алгебра -- матрицы Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар15-702 Соколов, Д. О. Сложность решения задачи выполнимости булевых формул алгоритмами, основанными на расщеплении [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06, 01.01.09 / Д. О. Соколов. - СПб., 2014. - 17 с. - Библиогр.: с. 16-17 (6 назв.). - 100 экз.
Кл.слова (ненормированные): теория сложности -- рекурсивные алгоритмы -- функция голдрейха Экземпляры всего 1: ХР (1) Свободны: ХР (1) |