Библиотека Российской академии наук (БАН)

Базы данных


Электронный каталог (ЭК) Библиотеки Российской академии наук (БАН) - результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полныйкраткийкарточка БАН
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Гамова, Алла Николаевна$<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.2001к/22237

Гамова, Алла Николаевна .
Математическая логика и теория алгоритмов : учеб. пособие для студентов и аспирантов мат. фак. ун-та / А. Н. Гамова ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Изд-во Сарат. ун-та, 1999. - 75,[1] с. ; 21 см.. - Библиогр.: с. 76. - ISBN 5-292-02362-0.
ББК 22.12я73
Рубрики: Математическая логика
   Алгоритмы

Доп.точки доступа: Гамова, Алла Николаевна
Найти похожие


2.2002к/5185

Гамова, Алла Николаевна .
Математическая логика и теория алгоритмов : учеб. пособие для студентов мех.-мат. фак. и фак. компьютер. наук и информ. технологий / А. Н. Гамова ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - 2-е изд., доп. - Саратов : Изд-во Сарат. ун-та, 2000. - 78,[1] с. : ил. ; 21 см.. - Библиогр.: с. 79. - ISBN 5-292-02515-1.
ББК 22.12я73
Рубрики: Математическая логика
   Алгоритмы

Доп.точки доступа: Гамова, Алла Николаевна
Найти похожие


3.2002к/15022

Гамова, Алла Николаевна .
Формальная логика : учеб. пособие для студентов и аспирантов фак. гуманитар. и соц. наук / А. Н. Гамова ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Изд-во Сарат. ун-та, 2001. - 71,[1] с. ; 21 см.. - Библиогр.: с. 72. - ISBN 5-292-02589-5.
ББК 87.4я73 Ю4я73-1
Рубрики: Логика
Доп.точки доступа: Гамова, Алла Николаевна
Найти похожие


4.2017к/38166

Гамова, Алла Николаевна .
Сложность вычислений : учебное пособие для студентов и магистров факультета компьютерных наук и информационных технологий / А. Н. Гамова ; Саратовский гос. ун-т им. Н. Г. Чернышевского. - Саратов : Изд-во Саратовского ун-та, 2015. - 79, [2] с. : ил., табл. ; 21 см. - Библиогр.: с. 81. - 100 экз.. - ISBN 978-5-292-04343-0.
ББК В127я73-1
Рубрики: Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Теория алгоритмов, рекурсивные функции -- Конструктивный анализ
   Вычисления

Найти похожие