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

Базы данных


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

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

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
рекурсии теория -- рекурсивные функции -- математическая логика -- алгоритмические проблемы
Экземпляры всего: 2
ОХФ (2)
Найти похожие
2.
A882421-ОХФ, A882422-ОХФ
   
    Комбинаторика и логика [Текст] : учебное пособие. - Москва : Бюро "Квантум", 2003. - 128 c. - ISBN 5-85843-041-4 : 103.50 р.
Прил. к журн."Квант", №1/2003
УДК
[510.6+519.1](082)

Рубрики: математика--математическая логика--комбинаторный анализ--теория графов

Кл.слова (ненормированные):
комбинаторика -- математическая логика -- Тьюринга машина -- Поста машина -- алгоритмические проблемы
Экземпляры всего: 2
ОХФ (2)
Найти похожие
3.
A884402-ОХФ, A884403-ОХФ
    Иванов, Евгений Михайлович.
    Геделевский аргумент [Текст] : учебное пособие / Е. М. Иванов. - Саратов : Научная книга, 2004. - 63, [1] с. - Библиогр. - ISBN 5-93888-389-X : 35.00 р.
УДК
130.3(075.8)
510.2(075.8)

Рубрики: философия--философия духовной жизни

   математика--математическая логика

Кл.слова (ненормированные):
геделевский аргумент -- искусственный интеллект -- сознание -- метафизика -- мозг -- мышление -- человек и машина -- Геделя теорема -- ум -- формализация -- смысл -- алгоритмические проблемы
Держатели документа:
ЗНБ СГУ
Экземпляры всего: 2
ОХФ (2)
Найти похожие
4.
Учебные отделы, A966687-ОХФ, A966688-ОХФ, A966689-ОХФ,
    Пентус, Анна Евгеньевна.
    Математическая теория формальных языков [Текст] : учеб. пособие / А. Е. Пентус, М. Р. Пентус. - Москва : Интернет-Ун-т Информ. Технологий : БИНОМ. Лаб. знаний, 2006. - 247, [1] с. - (Основы информатики и математики / гл. ред. А. В. Михалев). - Библиогр.: с. 236-239. - Предм. указ.: с. 240-247. - ISBN 5-94774-512-7 (БИНОМ. ЛЗ) (в пер.). - ISBN 5-9556-0062-0 (ИНТУИТ.РУ) : 270.00 р., 300.00 р., 336.00 р.
УДК
519.713(075.8)
004(075.8)

Рубрики: автоматика.кибернетика--математическая кибернетика

   вычислительная техника--информационные технологии

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


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

Рубрики: математика--математическая логика

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

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
алгоритмов теория -- Тьюринга машина -- рекурсивные функции -- вычислительная сложность -- массовые проблемы -- алгоритмические проблемы
Экземпляры всего: 1
ОХФ-ЧЗ-4 (1)
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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