Поисковый запрос: (<.>K=сложность вычислений<.>) |
Общее количество найденных документов : 5
Показаны документы с 1 по 5 |
>1. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар11-22970
Гирш, Э. А. Сложность пропозициональной логики [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.01.06 / Э. А. Гирш. - СПб., 2011. - 31 с. - Библиогр.: с. 29-31 (19 назв.)
Кл.слова (ненормированные): математическая логика -- алгоритмы -- тавтологии -- сложность вычислений
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>2. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар12-21730
Чокаев, Б. В. Мультипликативная сложность умножения в алгебрах [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Б. В. Чокаев. - М., 2012. - 16 с. - Библиогр.: с. 15-16 (7 назв.) В надзаг.: МГУ им. М.В. Ломоносова, Фак. вычислит. мат. и кибернетики
Кл.слова (ненормированные): алгебраическая теория сложности -- сложность алгоритмов -- сложность вычислений
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>3. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар12-19881
Быкова, В. В. Методы анализа и разработки параметризированных алгоритмов [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 05.13.17 / В. В. Быкова. - Красноярск, 2012. - 35 с. - Библиогр.: с. 31-35 (35 назв.)
Кл.слова (ненормированные): сложность вычислений -- np-трудные задачи -- выбор -- графы -- гиперграфы
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>4. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар13-16607
Деменков, Е. А. Верхние и нижние оценки на схемную сложность явно заданных булевых функций [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / Е. А. Деменков. - СПб., 2013. - 10 с. : ил. - Библиогр.: с. 9-10 (4 назв.) В надзаг.: С.-Петербург. гос. ун-т
Кл.слова (ненормированные): сложность вычислений -- булевы функции
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>5. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар14-5323
Лысиков, В. В. Некоторые вопросы теории сложности билинейных отображений [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / В. В. Лысиков. - Москва, 2013. - 11 с. - Библиогр.: с. 11. - 75 экз.
Кл.слова (ненормированные): сложность вычислений -- мультилинейная алгебра -- матрицы
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
|
|