АР96-5583 Ашаев, И. В. Алгоритмическая вычислимость над произвольными алгебраическими системами [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / И. В. Ашаев. - Омск, 1996. - 11 с. В надзаг. :Омский гос.ун-т. Библиогр.:с. 10-11
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР96-6214 Бадаев, С. А. Минимальные нумерации [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / С. А. Бадаев. - Новосибирск, 1996. - 18 с. В надзаг. :Рос.АН.Сиб.отд-ние.Ин-т математики. Библиогр.:с. 14-18(45 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР96-6564 Коровина, М. В. Обобщенная вычислимость над полем действительных чисел [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / М. В. Коровина. - Новосибирск, 1996. - 12 с. В надзаг. :Рос.АН.Сиб.отд-ние.Ин-т математики им.С.Л.Соболева. Библиогр.:с. 11-12(15 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР98-3084 Березнюк, С. Л. Алгебраические свойства полурешеток сводимостей [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / С. Л. Березнюк. - Новосибирск, 1998. - 18 с. Библиогр.:с. 14-18(26 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР98-3680 Ганова, Р. В. Нетрадиционные версии обобщенной вычисляемости с оракулами [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / Р. В. Ганова. - Новосибирск, 1998. - 13 с. Библиогр.:с. 11-13(22 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР99-4665 Хисамиев, А. Н. Определимость в наследственно конечных допустимых множествах [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / А. Н. Хисамиев. - Новосибирск, 1999. - 12 с. В надзаг. :Новосиб. гос. ун-т. Библиогр.:с. 11-12(17 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР00-4876 Стрыгин, В. З. Полиномиальные алгоритмы решения переборных задач [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.09, 01.01.06 / В. З. Стрыгин. - М., 2000. - 44 с. : ил. В надзаг. :??? им.М.В.Ломоносова. Фак. вычислит.мат. и кибернетики (ВМиК). Библиогр.:с. 25-27(17 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР02-1588 Калимуллин, И. Ш. Структурные свойства верхних полурешеток степеней по перечислимости [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / И. Ш. Калимуллин. - Казань, 2001. - 9 с. В надзаг.: Ин-т математики СО РАН им. С. Л. Соболева. Библиогр.: с. 7-9(24 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР02-2649 Мучник, А. А. Решение некоторых задач теории алгоритмов с использованием игровых методов [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / А. А. Мучник. - М., 2001. - 10 c. + 100 экз. В надзаг.: Моск. гос. ун-т им. М. В. Ломоносова, Мех.-мат. фак. Библиогр. в конце текста (17 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар03-266 Солон, Б. Я. Нетотальные степени перечислимости [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.01.06 / Б. Я. Солон. - СПб., 2002. - 32 с. Библиогр.: с. 27-32(52 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар03-11176 Мизин, Д. А. Алгоритмы, основанные на прикладной символической динамике [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.18 / Д. А. Мизин. - СПб., 2003. - 14 с. Библиогр.: с. 13-14
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар03-13550 Стукачев, А. И. Вычислимость в допустимых множествах [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / А. И. Стукачев. - Новосибирск, 2002. - 15 с. Библиогр.: с. 12-15(40 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар07-13178 Иванов, Д. И. Слабо импликативно и комбинаторно селекторные множества [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / Д. И. Иванов. - Екатеринбург, 2007. - 13 с. : ил. - Библиогр.: с. 11-13(23 назв.) Примечание о содержании: РЖ 1999 №6 А84
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар09-2901 Батыршин, И. И. Свойства квази-сводимости и иерархии Ершова [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / И. И. Батыршин. - Казань, 2008. - 12 с. - Библиогр.: с. 12(7 назв.) Примечание о содержании: В теории алгоритмов и теории сложности
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар09-10303 Притыкин, Ю. Л. Алгоритмические свойства последовательностей, близких к периодическим [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / Ю. Л. Притыкин. - М., 2009. - 17 с. - Библиогр.: с. 17(6 назв.) В надзаг.: МГУ им. М.В. Ломоносова, Мех.-мат. фак.
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар09-10308 Калимуллин, И. Ш. Алгоритмические сводимости счетных алгебраических систем [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.01.06 / И. Ш. Калимуллин. - Казань, 2009. - 30 с. - Библиогр.: с. 27-30
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар10-16836 Подзоров, С. Ю. Верхние полурешетки арифметических нумераций в арифметических m-степеней [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.01.06 / С. Ю. Подзоров. - Новосибирск, 2010. - 18 с. - Библиогр.: с. 16-18 (42 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар12-19881 Быкова, В. В. Методы анализа и разработки параметризированных алгоритмов [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 05.13.17 / В. В. Быкова. - Красноярск, 2012. - 35 с. - Библиогр.: с. 31-35 (35 назв.)
Кл.слова (ненормированные): сложность вычислений -- np-трудные задачи -- выбор -- графы -- гиперграфы Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар13-5050 Оспичев, С. С. Алгебраические и структурные свойства полурешеток Роджерса в иерархии Ершова [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / С. С. Оспичев. - Новосибирск, 2013. - 20 с. - Библиогр.: с. 16-20 (51 назв.)
Кл.слова (ненормированные): частично вычислимые функции -- теория вычислимости -- теория нумераций Экземпляры всего 1: ХР (1) Свободны: ХР (1) |