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