Библиотека Омского государственного университета им. Ф.М. Достоевского

Электронные ресурсы

Базы данных

Электронный каталог - результаты поиска

Вид поиска

Электронный каталог

Статьи из журналов: 2001-2014

Труды ОмГУ

История ОмГУ

Сводный каталог периодических изданий вузовских библиотек г.Омска

Область поиска

в найденном

Найдено в других БД:

Труды ОмГУ (64)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>R=27.03.17$<.>)

Общее количество найденных документов : 71
Показаны документы с 1 по 20

1-20 21-40 41-60 61-71

   В18
   А 955

    Ахо, Альфред.
    Построение и анализ вычислительных алгоритмов / А. Ахо, Дж. Хопкрофт, Дж. Ульман; Пер. с англ. А. О. Слисенко. - М. : Мир, 1979. - 535, [1] с. : ил. ; 23 см. - Библиогр.: с. 502-513. - Имен. указ.: с. 516-518. - Предм. указ.: с. 519-532. - Пер. изд.: The Design and Analysis of Computer Algorithms / A. V. Aho, J. E. Hopcroft, J. D. Ullman (1976). - 26000 экз.. - (в пер.) : 2.60 р., 39.00 р.

ГРНТИ

27.47.21

27.03.17

ББК В185.8 + В127
Рубрики: Алгоритмы--Решения на ЭВМ
Алгоритмов теория

Держатели документа:
Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А

Доп.точки доступа:
Хопкрофт, Дж.; Ульман, Дж.; Слисенко, А. О. \пер.\
Экземпляры всего: 3
ЕА (3)
Свободны: ЕА (3)
Найти похожие

   В12
   Г 850

    Грин, Дэниел.
    Математические методы анализа алгоритмов / Д. Грин, Д. Кнут; Пер. со 2-го англ. изд. Б. Б. Походзея. - М. : Мир, 1987. - 119, [1] с. ; 22 см. - Библиогр.: с. 111-113. - Указ.: с. 116-119. - Пер. изд. : Mathematics for the Analysis of Algorithms / Daniel H. Greene, Donald E. Knuth. - 2 Ed. - 1982. - 10000 экз.. - 0.55 р.
    Содержание:
Биномиальные тождества . - С .8-17
Рекуррентные соотношения . - С .18-37
Операторные методы . - С .38-48
Асимптотический анализ . - С .49-82

ГРНТИ

27.03.17

ББК В127я73
Рубрики: Алгоритмы--Методы анализа--Учебные издания

Держатели документа:
Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А

Доп.точки доступа:
Кнут, Дональд; Походзей, Б. Б. \пер.\; Greene, Daniel H. ; Knuth, Donald E.
Экземпляры всего: 2
ЕА (2)
Свободны: ЕА (2)
Найти похожие

   В12
   К 450

    Китаев, А.
    Классические и квантовые вычисления / А. Китаев, А. Шень, М. Вялый. - М. : МЦНМО ; М. : ЧеРо, 1999. - 191 с. : ил. ; 23 см. - (Новые математические дисциплины). - Авт. на корешке не указ. - Библиогр.: с. 186-188. - Предм. указ.: с. 189-191. - 1500 экз.. - ISBN 5-900916-35-9 (в пер.). - ISBN 985-6595-04-5 : 91.87 р.

ГРНТИ

27.03.17

29.05.03

ББК В12я41 + В314.1я41
Рубрики: Вычисления классические
Вычисления квантовые

Держатели документа:
Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А

Доп.точки доступа:
Шень, А.; Вялый, М.
Экземпляры всего: 1
ЕА (1)
Свободны: ЕА (1)
Найти похожие

   В1
   В 949

    Вычислительные системы : сб. науч. тр. / Рос. акад. наук. Сиб. отд-ние. Ин-т математики им. С. Л. Соболева. - Новосибирск : Б. и., 1968 - . - ISSN 0568-661X.
   [Вып.] 156 : Структурные алгоритмические свойства вычислимости / [Редкол.: Ю. Л. Ершов, С. С. Гончаров (науч. ред.) и др.]. - 1996. - 152 с. : табл., граф. ; 20 см. - Библиогр. в конце ст. - 350 экз.. - 1500.00 р.
    Содержание:
Коровина, М. В. Новый подход к вычислимости вещественнозначных функций / М. В. Коровина, О. В. Кудинов. - С .3-23
Коровина, М. В. Об универсальной рекурсивной функции и абстрактных машинах на вещественных числах со списочной надстройкой / М. В. Коровина. - С .24-43
Хисамиев, А. Н. Е-нумерация и Е-определимость в HWм / А. Н. Хисамиев. - С .44-58
Пинус, А. Г. Об условных термах и торжествах на универсальных алгебрах / А. Г. Пинус. - С .59-78
Височан, А. Л. Существование расширений в немонотонных системах / А. Л. Височан. - С .79-89
Алаев, Павел Евгеньевич. Однородность в итерированных моделях / П. Е. Алаев. - С .90-122
Трофимов, А. В. Типы изоморфизма суператомных булевых алгебр с выделенным идеалом / А. В. Трофимов. - С .123-147

ГРНТИ

27.03.17

ББК В1я54 + В127я54
Рубрики: Математика--Сборники
Алгоритмов теория--Сборники

Держатели документа:
Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А

Доп.точки доступа:
Гончаров, С. С. \ред.\; Гусев, В. Д. \ред.\; Ершов, Ю. Л. \ред.\; Евреинов, Э. В. \ред.\; Завьялов, Юрий Семенович \ред.\; Загоруйко, Н. Г. \ред.\; Косарев, Ю. Г. \ред.\; Мирошниченко, В. Л. \ред.\; Скоробогатов, В. А. \ред.\; Фадеев, С. И. \ред.\; Российская академия наук, Сибирское отделение(Новосибирск). Институт математики им. С. Л. Соболева(Новосибирск)
Экземпляры всего: 1
ЕА (1)
Свободны: ЕА (1)
Найти похожие

   В1
   В 949

    Вычислительные системы : сб. науч. тр. / Рос. акад. наук. Сиб. отд-ние. Ин-т математики им. С. Л. Соболева. - Новосибирск : Б. и., 1968 - . - ISSN 0568-661X.
   [Вып.] 165 : Структурные и сложностные проблемы вычислимости / [Редкол.: Ю. Л. Ершов, С. С. Гончаров (науч. ред.) и др.]. - 1999. - 208 с. : табл., граф. ; 20 см. - Библиогр. в конце ст. - 220 экз.. - 5.00 р.
    Содержание:
Пинус, А. Г. Об условно рационально эквивалентных алгебрах / А. Г. Пинус. - С .3-30
Хисамиев, А. Н. О резольвентных и внутренне перечислимых моделях / А. Н. Хисамиев. - С .31-35
Щукин, А. Г. Принцип редукции для иерархий регулярных беззвездных языков / А. Г. Щукин. - С .36-47
Латкин, Е. И. К архитектуре "Химического компьютера" / Е. И. Латкин. - С .48-83
Латкин, Е. И. Абстрактный функционал, органичивающий алгоритмическую сложность для линейного, полиномиального и других схожих классов / Е. И. Латкин. - С .84-111
Корольков, Ю. Д. Представление моделей формульными деревьями / Ю. Д. Корольков. - С .112-126
Добрица, В. П. О группах с нечеткими операциями / В. П. Добрица, Г. Э. Яхьяева. - С .127-138
Когабаев, Н. Т. Универсальная нумерация вычислительных булевых алгебр с выделенным идеалом / Н. Т. Когабаев. - С .139-152
Пузаренко, В. Г. Обобщенные нумерации и теорема Фридберга / В. Г. Пузаренко. - С .153-176
Власов, В. Н. Обобщение метода иерархий Фейнера / В. Н. Власов. - С .177-188
Гайлит, М. В. Вычислимые классы конструктивных булевых алгебр / М. В. Гайлит. - С .189-202

ГРНТИ

27.03.17

ББК В1я54 + В12я54 + В127я54
Рубрики: Математика--Сборники
Вычислений теория--Сборники
Алгоритмов теория--Сборники

Держатели документа:
Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А

Доп.точки доступа:
Гончаров, С. С. \ред.\; Гусев, В. Д. \ред.\; Ершов, Ю. Л. \ред.\; Евреинов, Э. В. \ред.\; Завьялов, Юрий Семенович \ред.\; Загоруйко, Н. Г. \ред.\; Косарев, Ю. Г. \ред.\; Мирошниченко, В. Л. \ред.\; Скоробогатов, В. А. \ред.\; Фадеев, С. И. \ред.\; Российская академия наук, Сибирское отделение(Новосибирск). Институт математики им. С. Л. Соболева(Новосибирск)
Экземпляры всего: 1
ЕА (1)
Свободны: ЕА (1)
Найти похожие

   В16
   К 172

    Калинина, Елизавета Александровна.
    Теория исключения : Учеб. пособие [для вузов] / Е. А. Калинина, А. Ю. Утешев ; С.-Петерб. гос. ун-т. - СПб. : Изд-во СПбГУ, 2002. - 71, [1] с. : ил. ; 21 см. - Библиогр.: с. 70-71. - 150 экз.. - ISBN 5-7997-0419-3 : 38.00 р.

ГРНТИ

27.03.17

ББК В16я73
Рубрики: Исключения теория--Учебные издания
Анализ математический--Учебные издания

Держатели документа:
Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А

Доп.точки доступа:
Утешев, Александр Юрьевич; Санкт-Петербургский государственный университет (СПб.)
Экземпляры всего: 1
ЕА (1)
Свободны: ЕА (1)
Найти похожие

   В16
   М 195

    Малла, Стефан.
    Вэйвлеты в обработке сигналов : учеб. пособие для вузов / С. Малла ; пер. со 2-го англ. изд. Я. М. Жилейкина. - М. : Мир, 2005. - 658 с. : ил. ; 25 см. - Библиогр.: с. 641-657. - Предм. указ.: с. 658-665. - Пер. изд. : A wavelet tour of signal processing / Stephane Mallat. - 1500 экз.. - ISBN 5-03-003691-1 (в пер.). - ISBN 0-12-466606-4 : 130.00 р.
    Содержание:
Введение в мир прерывистых непериодических сигналов . - С .19-38
Королевство Фурье . - С .39-61
Дискретная революция . - С .62-86
Время встречается с частотой . - С .87-144
Каркасы . - С .145-182
Вэйвлет-зум (приближение и удаление объектов) . - С .183-240
Вэйвлет-базисы . - С .241-344
Вэйвлет-пакеты и локальные косинусные базисы . - С .345-400
О задачах аппроксимации . - С .401-460
Оценки - это аппроксимации . - С .461-554
Преобразование кодирования . - С .555-622

ГРНТИ

27.03.17

ББК В161.5я73
Рубрики: Вэйвлеты--Учебные издания

Держатели документа:
Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А

Доп.точки доступа:
Жилейкин, Я. М. \пер.\; Mallat, Stephane
Экземпляры всего: 1
ЕА (1)
Свободны: ЕА (1)
Найти похожие

   В12
   А 456


    Алгоритмы: построение и анализ : [учебник] / Т. Кормен [и др. ; пер. с англ. И. В. Красикова и др.]. - 2-е изд. - М. : Вильямс, 2005. - 1290 с. : ил. ; 24 см. - Библиогр.: с. 1257-1276. - Предм. указ.: с. 1277-1290. - Из содерж.:Основы ; Сортировка и порядковая статистика ; Структуры данных ; Усовершенствованные методы разработки и анализа ; Сложные структуры данных ; Алгоритмы для работы с графами ; Избранные темы. - Пер. изд. : Introduction to Algorithms / T. H. Cormen, C. E. Leiserson, R. L. Rivest. - 2th. - London. - 3000 экз.. - ISBN 5-8459-0857-4 (в пер.). - ISBN 0-07-013151-1

ГРНТИ

27.03.17

ББК В127я7-1 + З973.26-018я7-1
Рубрики: Алгоритмы--Методы анализа--Учебные издания
Алгоритмы--Построение--Учебные издания

Держатели документа:
Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А

Доп.точки доступа:
Кормен, Томас; Лейзерсон, Чарльз; Ривест, Рональд; Штайн, Клиффорд; Красиков, И. В. \пер.\; Орехова, Н. А. \пер.\; Романов, В. Н. \пер.\; Cormen, Thomas H.; Leiserson, Charles E.; Rivest, Ronald L.
Экземпляры всего: 2
ЕА (2)
Свободны: ЕА (2)
Найти похожие

   В12
   А 980

    Ашаев, Игорь Викторович.
    Основы теории алгоритмов : учеб. пособие [для студентов мат. спец. вузов] / И. В. Ашаев ; [д-р физ.-мат. наук, проф. В. Н. Ремесленников] ; Ом. гос. ун-т им. Ф. М. Достоевского. - Омск : Изд-во ОмГУ, 2006. - 171, [1] с. : рис. ; 21 см. - Библиогр.: с. 172. - В надзаг. также: Федер. агентство по образованию. - 150 экз.. - ISBN 5-7779-0702-4 : 127.63 р.
    Содержание:
Используемые обозначения и общематематические понятия . - С .8
Алгоритмы и вычислимые функции . - С .9-43
Универсальные машины и функции . - С .44-68
Неразрешимые проблемы . - С .69-79
Рекурсивные и рекурсивно перечислимые множества . - С .80-104
Теорема о неподвижной точке . - С .105-108
Сводимости . - С .109-139
Арифметическая иерархия . - С .140-171

ГРНТИ

27.03.17

ББК В127я73
Рубрики: Алгоритмов теория--Учебные издания

Держатели документа:
Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А

Доп.точки доступа:
Ремесленников, Владимир Никанорович \рец.\; Омский государственный университет им. Ф. М. Достоевского (Омск)
Экземпляры всего: 78
ДФ (1), ЕА (77)
Свободны: ДФ (1), ЕА (77)
Найти похожие

10.

   В12
   Б 484

    Березнюк, Станислав Леонидович.
    Алгебраические свойства полурешеток сводимостей [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / С. Л. Березнюк ; [Рос. акад. наук, Сиб. отд-ние, Ин-т математики им. С. Л. Соболева]. - Новосибирск, 1998. - 17, [1] с. ; 20 см. - Библиогр.: с. 14-[18]. - 100 экз.. -

ГРНТИ

27.03.17

ББК В127
Рубрики: Сводимость алгоритмическая--Авторефераты диссертаций
Вычислимых нумераций теория--Авторефераты диссертаций

Держатели документа:
Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А

Доп.точки доступа:
Российская академия наук, Сибирское отделение (Новосибирск). Институт математики им. С. Л. Соболева НБО
Свободных экз. нет
Найти похожие

11.

   В12
   В 145

    Вайценавичюс, Римантас Юозас Витаутович.
    Главные нумерации вычислимых функционалов на допустимых множествах [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / Р. Ю. В. Вайценавичюс ; Акад. наук СССР, Сиб. отд-ние, Ин-т математики. - Новосибирск, 1990. - 11 с. ; 20 см. - Библиогр.: с. 11. - 100 экз.. -

ГРНТИ

27.03.17

ББК В127
Рубрики: Алгоритмов теория--Авторефераты диссертаций

Держатели документа:
Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А

Доп.точки доступа:
Академия наук СССР, Сибирское отделение (Новосибирск). Институт математики НБО
Свободных экз. нет
Найти похожие

12.

   В12
   Г 194

    Ганов, Валерий Александрович.
    Моделирование оснований математических теорий [Текст] : Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук: (01.01.06) / В. А. Ганов ; Рос. акад. наук, Сиб. отд-ние, Ин-т математики им. С. Л. Соболева. - Новосибирск, 2003. - 21 с. ; 20 см. - Библиогр.: с. 20-21. - 100 экз.. -

ГРНТИ

27.03.17

ББК В127
Рубрики: Вычисления с оракулами--Авторефераты диссертаций

Держатели документа:
Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А

Доп.точки доступа:
Российская академия наук, Сибирское отделение (Новосибирск). Институт математики им. С. Л. Соболева НБО
Свободных экз. нет
Найти похожие

13.

   В14
   И 988

    Иыуду, Наталья Куставна.
    Стандартные базисы и распознаваемость свойств алгебр, заданных копредставлением : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / Н. К. Иыуду ; Моск. гос. ун-т им. М. В. Ломоносова, Мех.-мат. фак. - М., 1996. - 14 с. ; 21 см. - Библиогр.: с. 14. -

ГРНТИ

27.17

27.03.17

ББК В144.5 + В127
Рубрики: Алгебры ассоциативные--Авторефераты диссертаций
Алгоритмические задачи--Авторефераты диссертаций

Держатели документа:
Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А

Доп.точки доступа:
Московский государственный университет им. М. В. Ломоносова (М.). Механико-математический факультет НБО
Свободных экз. нет
Найти похожие

14.

   В12
   И 975

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

ГРНТИ

27.03.17

ББК В127
Рубрики: Сводимость тьюринговая--Авторефераты диссертаций
Алгоритмическая сводимость--Авторефераты диссертаций

Держатели документа:
Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А

Доп.точки доступа:
Ульяновский государственный университет (Ульяновск) НБО
Свободных экз. нет
Найти похожие

15.

   В12
   К 215

    Каратабанова, Сорейя Жубаниязовна.
    Нижние оценки алгоритмической сложности и структура семантических классов предложений [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / С. Ж. Каратабанова ; Каз. нац. ун-т им. аль-Фараби. - Алматы, 1999. - 18 с. ; 21 см. - Библиогр.: с. 17-18. - 100 экз.. -

ГРНТИ

27.03.17

ББК В12
Рубрики: Алгоритмы--Вычислимые функции--Авторефераты диссертаций

Держатели документа:
Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А

Доп.точки доступа:
Казахский национальный университет им. аль-Фараби (Алматы) НБО
Свободных экз. нет
Найти похожие

16.

   В12
   К 681

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

ГРНТИ

27.03.17

27.17.27

ББК В127
Рубрики: Логика математическая--Вычислимость--Авторефераты диссертаций

Держатели документа:
Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А

Доп.точки доступа:
Российская академия наук, Сибирское отделение (Новосибирск). Институт математики им. С. Л. Соболева НБО
Свободных экз. нет
Найти похожие

17.

   В12
   М 801

    Морозов, Андрей Сергеевич.
    Группы вычислимых автоморфизмов [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.01.06 / А. С. Морозов ; Акад. наук СССР, Сиб. отд-ние, Ин-т математики. - Новосибирск, 1990. - 15 с. ; 20 см. - Библиогр.: с. 13-15. - 100 экз.. -

ГРНТИ

27.03.17

27.17.17

ББК В127 + В144.3
Рубрики: Алгоритмов теория--Авторефераты диссертаций
Группы вычислимых автоморфизмов--Авторефераты диссертаций

Держатели документа:
Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А

Доп.точки доступа:
Академия наук СССР, Сибирское отделение (Новосибирск). Институт математики НБО
Свободных экз. нет
Найти похожие

18.

   В12
   М 929

    Мучник, Андрей Альбертович.
    Решение некоторых задач теории алгоритмов с использованием игровых методов [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / А. А. Мучник ; Моск. гос. ун-т им. М. В. Ломоносова, Мех.-мат. фак. - М., 2001. - 9 с. ; 21 см. - Библиогр.: с. 9. - 100 экз.. -

ГРНТИ

27.03.17

ББК В127
Рубрики: Алгоритмов теория--Игры--Авторефераты диссертаций

Держатели документа:
Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А

Доп.точки доступа:
Московский государственный университет им. М. В. Ломоносова (М.). Механико-математический факультет НБО
Свободных экз. нет
Найти похожие

19.

   В12
   П 130

    Пак, Бён ХА.
    Субрекурсивная реализуемость и логика предикатов [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / Б. Х. Пак ; Моск. гос. ун-т им. М. В. Ломоносова, Мех.-мат. фак. - М., 2003. - 12 с. ; 21 см. - Библиогр.: с. 12. - 100 экз.. -

ГРНТИ

27.03.17

ББК В127
Рубрики: Логика математическая--Конструктивный анализ--Авторефераты диссертаций

Держатели документа:
Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А

Доп.точки доступа:
Московский государственный университет им. М. В. Ломоносова (М.). Механико-математический факультет НБО
Свободных экз. нет
Найти похожие

20.

   В12
   П 442

    Подзоров, Сергей Юрьевич.
    Вычислимость и конструктивность в ограниченных фрагментах теорий [Текст] : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук: (01.01.06) / С. Ю. Подзоров ; Новосиб. гос. ун-т. - Новосибирск, 1999. - 8 с. ; 21 см. - Библиогр.: с. 7-8. - 80 экз.. -

ГРНТИ

27.03.19

27.03.17

ББК В127
Рубрики: Логика математическая--Вычислимость--Авторефераты диссертаций

Держатели документа:
Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А

Доп.точки доступа:
Новосибирский государственный университет (Новосибирск) НБО
Свободных экз. нет
Найти похожие

1-20 21-40 41-60 61-71

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