Главная страница

Базы данных


- результаты поиска

Вид поиска

Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=27.03.17$<.>)
Общее количество найденных документов : 39
Показаны документы с 1 по 30
 1-30    31-39 
1.
Ар09-10143

    Ямалеев, М. М.
    Структурные свойства тьюринговых степеней множеств из иерархии Ершова [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / М. М. Ямалеев. - Казань, 2009. - 11 с. - Библиогр.: с. 9-11(21 назв.)

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
2.
Ар09-8762

    Волков, С. А.
    Конечные базисы по суперпозиции в классах элементарных рекурсивных функций [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / С. А. Волков. - М., 2009. - 16 с. - Библиогр.: с. 16(5 назв.)
В надзаг.: МГУ им. М.В. Ломоносова

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
3.
Ар09-10308

    Калимуллин, И. Ш.
    Алгоритмические сводимости счетных алгебраических систем [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.01.06 / И. Ш. Калимуллин. - Казань, 2009. - 30 с. - Библиогр.: с. 27-30

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
4.
Ар09-10303

    Притыкин, Ю. Л.
    Алгоритмические свойства последовательностей, близких к периодическим [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / Ю. Л. Притыкин. - М., 2009. - 17 с. - Библиогр.: с. 17(6 назв.)
В надзаг.: МГУ им. М.В. Ломоносова, Мех.-мат. фак.

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
5.
Ар09-2901

    Батыршин, И. И.
    Свойства квази-сводимости и иерархии Ершова [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / И. И. Батыршин. - Казань, 2008. - 12 с. - Библиогр.: с. 12(7 назв.)
Примечание о содержании: В теории алгоритмов и теории сложности
ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
6.
Ар04-4192

    Ишмухаметов, Ш. Т.
    Минимальные покрытия тьюринговых степеней [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.01.06 / Ш. Т. Ишмухаметов. - Ульяновск, 2003. - 26 с. - 100 экз.
Библиогр.: с. 24-26

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
7.
Ар03-13550

    Стукачев, А. И.
    Вычислимость в допустимых множествах [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / А. И. Стукачев. - Новосибирск, 2002. - 15 с.
Библиогр.: с. 12-15(40 назв.)

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
8.
Ар08-3217

    Воробьев, Ф. Ю.
    О предельных свойствах случайных КНФ [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Ф. Ю. Воробьев. - М., 2008. - 15 с. - Библиогр.: с. 15(6 назв.)
В надзаг.: МГУ им. М.В.Ломоносова

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
9.
Ар05-1532

    Рыбалов, А. Н.
    Сложность вычислений в алгебраических системах [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / А. Н. Рыбалов. - Омск, 2005. - 20 с. - Библиогр.: с. 17-20(36 назв.)

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
10.
Ар09-21386

    Дехтярь, М. И.
    Семантика и анализ сложности алгоритмических проблем динамических систем и языков, использующих логическое программирование [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 05.13.17 / М. И. Дехтярь. - Переславль-Залесский, 2009. - 35 с. - Библиогр.: с. 30-35(49 назв.)

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
11.
Ар14-235

    Баранов, Д. В.
    Эквациональные LP-структуры и их приложения в системах переписывания [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.17 / Д. В. Баранов. - М., 2013. - 15 с. - Библиогр.: с. 14-15 (11 назв.). - 100 экз.
В надзаг.: ФГБОУ МГУ им. М.В. Ломоносова

ГРНТИ
УДК

Кл.слова (ненормированные):
теория исчислений -- системы переписывания термов

Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
12.
Ар13-16607

    Деменков, Е. А.
    Верхние и нижние оценки на схемную сложность явно заданных булевых функций [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / Е. А. Деменков. - СПб., 2013. - 10 с. : ил. - Библиогр.: с. 9-10 (4 назв.)
В надзаг.: С.-Петербург. гос. ун-т

ГРНТИ
УДК

Кл.слова (ненормированные):
сложность вычислений -- булевы функции

Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
13.
Ар15-702

    Соколов, Д. О.
    Сложность решения задачи выполнимости булевых формул алгоритмами, основанными на расщеплении [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06, 01.01.09 / Д. О. Соколов. - СПб., 2014. - 17 с. - Библиогр.: с. 16-17 (6 назв.). - 100 экз.

ГРНТИ
УДК

Кл.слова (ненормированные):
теория сложности -- рекурсивные алгоритмы -- функция голдрейха

Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
14.
Ар14-5323

    Лысиков, В. В.
    Некоторые вопросы теории сложности билинейных отображений [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / В. В. Лысиков. - Москва, 2013. - 11 с. - Библиогр.: с. 11. - 75 экз.

ГРНТИ
УДК

Кл.слова (ненормированные):
сложность вычислений -- мультилинейная алгебра -- матрицы

Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
15.
Ар12-19881

    Быкова, В. В.
    Методы анализа и разработки параметризированных алгоритмов [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 05.13.17 / В. В. Быкова. - Красноярск, 2012. - 35 с. - Библиогр.: с. 31-35 (35 назв.)

ГРНТИ
УДК

Кл.слова (ненормированные):
сложность вычислений -- np-трудные задачи -- выбор -- графы -- гиперграфы

Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
16.
Ар10-16836

    Подзоров, С. Ю.
    Верхние полурешетки арифметических нумераций в арифметических m-степеней [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.01.06 / С. Ю. Подзоров. - Новосибирск, 2010. - 18 с. - Библиогр.: с. 16-18 (42 назв.)

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
17.
Ар10-2851

    Подольский, В. В.
    Оценки весов персептронов (полиномиальных пороговых булевых функций) [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / В. В. Подольский. - М., 2009. - 18 с. - Библиогр.: с. 18 (4 назв.)
В надзаг.: МГУ им. М.В. Ломоносова, Мех.-мат. фак.
Примечание о содержании: Работа относится к области сложности вычислений
ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
18.
Ар12-21730

    Чокаев, Б. В.
    Мультипликативная сложность умножения в алгебрах [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Б. В. Чокаев. - М., 2012. - 16 с. - Библиогр.: с. 15-16 (7 назв.)
В надзаг.: МГУ им. М.В. Ломоносова, Фак. вычислит. мат. и кибернетики

ГРНТИ
УДК

Кл.слова (ненормированные):
алгебраическая теория сложности -- сложность алгоритмов -- сложность вычислений

Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
19.
Ар11-1382

    Файзрахманов, М. Х.
    Тьюринговые скачки в иерархии Ершова [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / М. Х. Файзрахманов. - Казань, 2011. - 18 с. - Библиогр.: с. 18 (5 назв.0

ГРНТИ
УДК

Кл.слова (ненормированные):
теория вычислимости -- низкие множества -- вычислимые множества -- теорема робинсона -- скачки по перечислимости

Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
20.
Ар03-11176

    Мизин, Д. А.
    Алгоритмы, основанные на прикладной символической динамике [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.18 / Д. А. Мизин. - СПб., 2003. - 14 с.
Библиогр.: с. 13-14

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
21.
АР96-6214

    Бадаев, С. А.
    Минимальные нумерации [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / С. А. Бадаев. - Новосибирск, 1996. - 18 с.
В надзаг. :Рос.АН.Сиб.отд-ние.Ин-т математики. Библиогр.:с. 14-18(45 назв.)

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
22.
АР96-5583

    Ашаев, И. В.
    Алгоритмическая вычислимость над произвольными алгебраическими системами [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / И. В. Ашаев. - Омск, 1996. - 11 с.
В надзаг. :Омский гос.ун-т. Библиогр.:с. 10-11

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
23.
АР97-1047

    Найденко, В. Г.
    Некоторые вопросы вычислительной сложности и методы решения комбинаторных задач [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / В. Г. Найденко. - Минск, 1997. - 16 с.
В надзаг. : АН Республики Беларусь. Ин-т Математики. Библиогр.:с. 13(11назв.)

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
24.
АР96-6564

    Коровина, М. В.
    Обобщенная вычислимость над полем действительных чисел [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / М. В. Коровина. - Новосибирск, 1996. - 12 с.
В надзаг. :Рос.АН.Сиб.отд-ние.Ин-т математики им.С.Л.Соболева. Библиогр.:с. 11-12(15 назв.)

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
25.
АР95-6409

    Верещагин, Н. К.
    Релятивизуемость в структурной теории сложности вычислений [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Н. К. Верещагин. - М., 1995. - 25 с
В надзаг.: МГУ им. М.В.Ломоносова, Мех.-мат. фак. Библиогр.:с.24-25 (8 назв.)

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
26.
АР91-6114

    Заурбеков, С. С.
    Оценки алгоритмической сложности некоторых семантических классов предложений [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. С. Заурбеков. - Новосибирск, 1991. - 10 с
В надзаг.: Казах.гос.ун-т им.С.М.Кирова. Библиогр.: с. 9-10(13назв.).

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
27.
АР91-5823

    Ахтямов, Р. Б.
    Сложностные свойства индексных множеств [Текст] : автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.06 / Р. Б. Ахтямов. - Новосибирск, 1991. - 16 с
В надзаг.: АН СССР.Сиб.отд-ние.Ин-т математики. Библиогр.: с. 13-16(38назв.).

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
28.
АР95-2168

    Чашкин, А. В.
    О сложности булевых матриц [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. В. Чашкин. - М., 1994. - 12 с.
В надзаг.: МГУ им.М.В.Ломоносова,Мех.-мат.фак. Библиогр.: с.12

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
29.
АР92-8861

    Белякин, Н. В.
    Теория вычислений с оракулами и рекурсивных иерархий [Текст] : автореферат диссертации на соискание ученой степени д-ра физ-мат.наук:01.01.06 / Н. В. Белякин. - Новосибирск, 1992. - 23 с
В надзаг.: Рос.АН,Сиб.отд-ние,Ин-т математики. Библиогр.: с. 22-23(42назв.).

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
30.
АР98-3680

    Ганова, Р. В.
    Нетрадиционные версии обобщенной вычисляемости с оракулами [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / Р. В. Ганова. - Новосибирск, 1998. - 13 с.
Библиогр.:с. 11-13(22 назв.)

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
 1-30    31-39 

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)