Поисковый запрос: (<.>R=27.03.17$<.>) |
Общее количество найденных документов : 39
Показаны документы с 1 по 30 |
|
>1. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар14-235
Баранов, Д. В. Эквациональные LP-структуры и их приложения в системах переписывания [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.17 / Д. В. Баранов. - М., 2013. - 15 с. - Библиогр.: с. 14-15 (11 назв.). - 100 экз. В надзаг.: ФГБОУ МГУ им. М.В. Ломоносова
Кл.слова (ненормированные): теория исчислений -- системы переписывания термов
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>2. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар11-1382
Файзрахманов, М. Х. Тьюринговые скачки в иерархии Ершова [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / М. Х. Файзрахманов. - Казань, 2011. - 18 с. - Библиогр.: с. 18 (5 назв.0
Кл.слова (ненормированные): теория вычислимости -- низкие множества -- вычислимые множества -- теорема робинсона -- скачки по перечислимости
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>3. ![](/irbis64r_simplesite/images/printer.jpg)
| АР92-8861
Белякин, Н. В. Теория вычислений с оракулами и рекурсивных иерархий [Текст] : автореферат диссертации на соискание ученой степени д-ра физ-мат.наук:01.01.06 / Н. В. Белякин. - Новосибирск, 1992. - 23 с В надзаг.: Рос.АН,Сиб.отд-ние,Ин-т математики. Библиогр.: с. 22-23(42назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>4. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар09-10143
Ямалеев, М. М. Структурные свойства тьюринговых степеней множеств из иерархии Ершова [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / М. М. Ямалеев. - Казань, 2009. - 11 с. - Библиогр.: с. 9-11(21 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>5. ![](/irbis64r_simplesite/images/printer.jpg)
| АР02-1588
Калимуллин, И. Ш. Структурные свойства верхних полурешеток степеней по перечислимости [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / И. Ш. Калимуллин. - Казань, 2001. - 9 с. В надзаг.: Ин-т математики СО РАН им. С. Л. Соболева. Библиогр.: с. 7-9(24 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>6. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар15-702
Соколов, Д. О. Сложность решения задачи выполнимости булевых формул алгоритмами, основанными на расщеплении [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06, 01.01.09 / Д. О. Соколов. - СПб., 2014. - 17 с. - Библиогр.: с. 16-17 (6 назв.). - 100 экз.
Кл.слова (ненормированные): теория сложности -- рекурсивные алгоритмы -- функция голдрейха
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>7. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар05-1532
Рыбалов, А. Н. Сложность вычислений в алгебраических системах [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / А. Н. Рыбалов. - Омск, 2005. - 20 с. - Библиогр.: с. 17-20(36 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>8. ![](/irbis64r_simplesite/images/printer.jpg)
| АР91-5823
Ахтямов, Р. Б. Сложностные свойства индексных множеств [Текст] : автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.06 / Р. Б. Ахтямов. - Новосибирск, 1991. - 16 с В надзаг.: АН СССР.Сиб.отд-ние.Ин-т математики. Библиогр.: с. 13-16(38назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>9. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар09-21386
Дехтярь, М. И. Семантика и анализ сложности алгоритмических проблем динамических систем и языков, использующих логическое программирование [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 05.13.17 / М. И. Дехтярь. - Переславль-Залесский, 2009. - 35 с. - Библиогр.: с. 30-35(49 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>10. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар09-2901
Батыршин, И. И. Свойства квази-сводимости и иерархии Ершова [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / И. И. Батыршин. - Казань, 2008. - 12 с. - Библиогр.: с. 12(7 назв.) Примечание о содержании: В теории алгоритмов и теории сложности
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>11. ![](/irbis64r_simplesite/images/printer.jpg)
| АР02-2649
Мучник, А. А. Решение некоторых задач теории алгоритмов с использованием игровых методов [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / А. А. Мучник. - М., 2001. - 10 c. + 100 экз. В надзаг.: Моск. гос. ун-т им. М. В. Ломоносова, Мех.-мат. фак. Библиогр. в конце текста (17 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>12. ![](/irbis64r_simplesite/images/printer.jpg)
| АР95-6409
Верещагин, Н. К. Релятивизуемость в структурной теории сложности вычислений [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Н. К. Верещагин. - М., 1995. - 25 с В надзаг.: МГУ им. М.В.Ломоносова, Мех.-мат. фак. Библиогр.:с.24-25 (8 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>13. ![](/irbis64r_simplesite/images/printer.jpg)
| АР02-2600
Витер, Д. А. Примитивно рекурсивная реализуемость и конструктивная теория моделей [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / Д. А. Витер. - М., 2002. - 12 с. В надзаг.: Моск. гос. ун-т им. М. В. Ломоносова, Мех.-мат. фак. Библиогр.: с. 12(4 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>14. ![](/irbis64r_simplesite/images/printer.jpg)
| АР02-6986
Вьюгин, В. В. Применение колмогоровской теории алгоритмической сложности к логическим основам теории вероятностей [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук :01.01.06 / В. В. Вьюгин. - М., 2001. - 19 с. В надзаг.: Моск. гос. ун-т им. М. В. Ломоносова, Мех.-мат. фак. Библиогр.: с. 18-19 (15 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>15. ![](/irbis64r_simplesite/images/printer.jpg)
| АР00-4876
Стрыгин, В. З. Полиномиальные алгоритмы решения переборных задач [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.09, 01.01.06 / В. З. Стрыгин. - М., 2000. - 44 с. : ил. В надзаг. :??? им.М.В.Ломоносова. Фак. вычислит.мат. и кибернетики (ВМиК). Библиогр.:с. 25-27(17 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>16. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар10-2851
Подольский, В. В. Оценки весов персептронов (полиномиальных пороговых булевых функций) [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / В. В. Подольский. - М., 2009. - 18 с. - Библиогр.: с. 18 (4 назв.) В надзаг.: МГУ им. М.В. Ломоносова, Мех.-мат. фак. Примечание о содержании: Работа относится к области сложности вычислений
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>17. ![](/irbis64r_simplesite/images/printer.jpg)
| АР91-6114
Заурбеков, С. С. Оценки алгоритмической сложности некоторых семантических классов предложений [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. С. Заурбеков. - Новосибирск, 1991. - 10 с В надзаг.: Казах.гос.ун-т им.С.М.Кирова. Библиогр.: с. 9-10(13назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>18. ![](/irbis64r_simplesite/images/printer.jpg)
| АР99-4665
Хисамиев, А. Н. Определимость в наследственно конечных допустимых множествах [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / А. Н. Хисамиев. - Новосибирск, 1999. - 12 с. В надзаг. :Новосиб. гос. ун-т. Библиогр.:с. 11-12(17 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>19. ![](/irbis64r_simplesite/images/printer.jpg)
| АР96-6564
Коровина, М. В. Обобщенная вычислимость над полем действительных чисел [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / М. В. Коровина. - Новосибирск, 1996. - 12 с. В надзаг. :Рос.АН.Сиб.отд-ние.Ин-т математики им.С.Л.Соболева. Библиогр.:с. 11-12(15 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>20. ![](/irbis64r_simplesite/images/printer.jpg)
| АР95-2168
Чашкин, А. В. О сложности булевых матриц [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. В. Чашкин. - М., 1994. - 12 с. В надзаг.: МГУ им.М.В.Ломоносова,Мех.-мат.фак. Библиогр.: с.12
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>21. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар08-3217
Воробьев, Ф. Ю. О предельных свойствах случайных КНФ [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Ф. Ю. Воробьев. - М., 2008. - 15 с. - Библиогр.: с. 15(6 назв.) В надзаг.: МГУ им. М.В.Ломоносова
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>22. ![](/irbis64r_simplesite/images/printer.jpg)
| АР98-3680
Ганова, Р. В. Нетрадиционные версии обобщенной вычисляемости с оракулами [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / Р. В. Ганова. - Новосибирск, 1998. - 13 с. Библиогр.:с. 11-13(22 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>23. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар03-266
Солон, Б. Я. Нетотальные степени перечислимости [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.01.06 / Б. Я. Солон. - СПб., 2002. - 32 с. Библиогр.: с. 27-32(52 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>24. ![](/irbis64r_simplesite/images/printer.jpg)
| АР02-4851
Ромащенко, А. Е. Неравенства для колмогоровской сложности и общая информация [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / А. Е. Ромащенко. - М., 2000. - 14 c. + 100 экз. В надзаг.: Моск. гос. ун-т им. М. В. Ломоносова, Мех.-мат. фак. Библиогр.: с. 14 (5 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>25. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар14-5323
Лысиков, В. В. Некоторые вопросы теории сложности билинейных отображений [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / В. В. Лысиков. - Москва, 2013. - 11 с. - Библиогр.: с. 11. - 75 экз.
Кл.слова (ненормированные): сложность вычислений -- мультилинейная алгебра -- матрицы
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>26. ![](/irbis64r_simplesite/images/printer.jpg)
| АР97-1047
Найденко, В. Г. Некоторые вопросы вычислительной сложности и методы решения комбинаторных задач [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / В. Г. Найденко. - Минск, 1997. - 16 с. В надзаг. : АН Республики Беларусь. Ин-т Математики. Библиогр.:с. 13(11назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>27. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар12-21730
Чокаев, Б. В. Мультипликативная сложность умножения в алгебрах [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Б. В. Чокаев. - М., 2012. - 16 с. - Библиогр.: с. 15-16 (7 назв.) В надзаг.: МГУ им. М.В. Ломоносова, Фак. вычислит. мат. и кибернетики
Кл.слова (ненормированные): алгебраическая теория сложности -- сложность алгоритмов -- сложность вычислений
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>28. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар04-4192
Ишмухаметов, Ш. Т. Минимальные покрытия тьюринговых степеней [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.01.06 / Ш. Т. Ишмухаметов. - Ульяновск, 2003. - 26 с. - 100 экз. Библиогр.: с. 24-26
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>29. ![](/irbis64r_simplesite/images/printer.jpg)
| АР96-6214
Бадаев, С. А. Минимальные нумерации [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / С. А. Бадаев. - Новосибирск, 1996. - 18 с. В надзаг. :Рос.АН.Сиб.отд-ние.Ин-т математики. Библиогр.:с. 14-18(45 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>30. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар12-19881
Быкова, В. В. Методы анализа и разработки параметризированных алгоритмов [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 05.13.17 / В. В. Быкова. - Красноярск, 2012. - 35 с. - Библиогр.: с. 31-35 (35 назв.)
Кл.слова (ненормированные): сложность вычислений -- np-трудные задачи -- выбор -- графы -- гиперграфы
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
|
|
|