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