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

Базы данных


Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

Область поиска
В текущей базе данных найдено документов :1
 В других БД по вашему запросу найдено:Электронный каталог (1)
Формат представления найденных документов:
полный информационныйкраткий
Поисковый запрос: (<.>KL=Тарского теорема<.>)
Общее количество найденных документов : 1
1.

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

 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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