| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


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

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
В текущей базе данных найдено документов :6
 В других БД по вашему запросу найдено:Сводный каталог библиотек (СГУ, СГТУ, ЦБС) (9)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=алгоритмические проблемы<.>)
Общее количество найденных документов : 6
Показаны документы с 1 по 6
1.

Вид документа : Многотомное издание
Шифр издания : 093518
51.017/С74
Заглавие : Справочная книга по математической логике: В 4 ч. Ч. 3: Теория рекурсии: Пер. с англ. / Под ред. Ершова Ю. Л.
Выходные данные : Москва: Наука. Гл. ред. физ.-мат. лит., 1982
Колич.характеристики :359, [1] с
Примечания : Библиогр.
ISBN (в пер.), Цена Б. и.: 30.00 р.
УДК : 510.57(035.5)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): рекурсии теория--рекурсивные функции--математическая логика--алгоритмические проблемы
Экземпляры : всего : ОХФ(2)
Свободны : ОХФ(2)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 215574
51.01+518.8/К63
Заглавие : Комбинаторика и логика : учебное пособие
Выходные данные : Москва: Бюро "Квантум", 2003
Колич.характеристики :128 c.
Примечания : Прил. к журн."Квант", №1/2003
ISBN, Цена 5-85843-041-4: 103.50 р.
УДК : [510.6+519.1](082)
Предметные рубрики: математика-- математическая логика-- комбинаторный анализ-- теория графов
Ключевые слова (''Своб.индексиров.''): комбинаторика--математическая логика--тьюринга машина--поста машина--алгоритмические проблемы
Экземпляры : всего : ОХФ(2)
Свободны : ОХФ(2)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 246282
51.01(075)+1Н212.2+017.7:1+017.7:51/И20
Автор(ы) : Иванов, Евгений Михайлович
Заглавие : Геделевский аргумент : учебное пособие
Выходные данные : Саратов: Научная книга, 2004
Колич.характеристики :63, [1] с
Примечания : Библиогр.
ISBN, Цена 5-93888-389-X: 35.00 р.
УДК : 130.3(075.8) + 510.2(075.8)
Предметные рубрики: философия-- философия духовной жизни
математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): геделевский аргумент--искусственный интеллект--сознание--метафизика--мозг--мышление--человек и машина--геделя теорема--ум--формализация--смысл--алгоритмические проблемы
Экземпляры : всего : ОХФ(2)
Свободны : ОХФ(2)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 093228
62-507(075)681.142(075)/П 254
Автор(ы) : Пентус, Анна Евгеньевна, Пентус, Мати Рейнович
Заглавие : Математическая теория формальных языков : учеб. пособие
Выходные данные : Москва: Интернет-Ун-т Информ. Технологий: БИНОМ. Лаб. знаний, 2006
Колич.характеристики :247, [1] с
Серия: Основы информатики и математики/ гл. ред. А. В. Михалев
Примечания : Библиогр.: с. 236-239. - Предм. указ.: с. 240-247
ISBN, Цена 5-94774-512-7 (БИНОМ. ЛЗ) (в пер.): 270.00 р.
ISBN, Цена 5-9556-0062-0 (ИНТУИТ.РУ): Б.ц.
УДК : 519.713(075.8) + 004(075.8)
Предметные рубрики: автоматика.кибернетика-- математическая кибернетика
вычислительная техника-- информационные технологии
Ключевые слова (''Своб.индексиров.''): автоматов теория--конечные автоматы--формальные языки--контекстно-свободные языки (кс-языки)--контекстно-свободные грамматики--автоматные языки--алгоритмические проблемы--математическая лингвистика--регулярные выражения
Экземпляры : всего : ОХФ(3), ОУОЕН(24)
Свободны : ОХФ(3), ОУОЕН(24)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 510.5(075.8)/И 269
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Теория алгоритмов : учебное пособие
Выходные данные : Москва: Инфра-М, 2012
Колич.характеристики :317, [3] с
Серия: Высшее образование
Примечания : Библиогр.: с. 306-311 (110 назв.). - Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по специальности 050201.65 - математика
ISBN (в пер.), Цена 978-5-16-005205-2: 231.00 р.
УДК : 510.5(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): алгоритмов теория--тьюринга машина--рекурсивные функции--вычислительная сложность--массовые проблемы--алгоритмические проблемы--гильберта десятая проблема--геделя теорема--тарского теорема--разрешимые множества--перечислимые множества--маркова нормальные алгоритмы
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : 510.5(075.32)/И 269
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Теория алгоритмов : учебное пособие
Выходные данные : Москва: Издательский центр "Академия", 2013
Колич.характеристики :315, [5] с
Серия: Среднее профессиональное образование. Математика и естественно-научные дисциплины
Примечания : Библиогр.: с. 309-314 (107 назв.). - Рекомендовано Федер. гос. автоном. учреждением "Федеральный институт развития образования" (ФГАУ "ФИРО") в качестве учеб. пособия для использования в учеб. процессе образоват. учреждений, реализующих прогр. сред. проф. образования по специальности 230115 "Программирование в компьютерных системах", учеб. дисциплина "Теория алгоритмов"
ISBN (в пер.), Цена 978-5-7695-9362-8: 310.00 р.
УДК : 510.5(075.32)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): алгоритмов теория--тьюринга машина--рекурсивные функции--вычислительная сложность--массовые проблемы--алгоритмические проблемы
Экземпляры :ОХФ-ЧЗ-4(1)
Свободны : ОХФ-ЧЗ-4(1)
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)