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

Базы данных


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

Виды поиска

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

Вид документа : Однотомное издание
Шифр издания : 153388
Автор(ы) : Кочетков, Юрий Юрьевич
Заглавие : Вычислимые функции : учеб. пособие
Выходные данные : Москва: [Б. и.], 2008
Колич.характеристики :53, [3] с
Коллективы : Гос. образоват. учреждение высш. проф. образования "Московский государственный институт электроники и математики (технический университет"
Примечания : Библиогр.: с. 53 (3 назв.)
ISBN, Цена 978-5-94506-201-6: 158.84 р.
УДК : 510.57(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): вычислимые функции--рекурсивные функции--вычислительная сложность--перечислимые множества
Найти похожие

2.

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

3.

Вид документа : Однотомное издание
Шифр издания : 518/Т 33
Заглавие : Теория алгорифмов и математическая логика : сборник
Выходные данные : М.: ВЦ АН СССР, 1974
Колич.характеристики :216 с.: ил.; 21 см
Коллективы : Акад. наук СССР, Вычисл. центр (Москва)
Примечания : Библиогр. в конце ст.
Цена : 0.85 р.
ГРНТИ : 27.47 + 27.03
УДК : 518
Предметные рубрики: Математика-- Теория алгоритмов
Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--рекурсивные экстраполяторы--системы равенств--перечислимые множества--псевдочисла--вещественные числа
Аннотация: А. А. Маркову принадлежит ряд фундаментальных исследований в самых различных областях математики, а также механики и теоретической физики. Непреходящее значение этих исследований удостоверено развитием науки. Начиная с 1946 года интересы А. А. Маркова концентрируются в области теории алгорифмов и математической логики. Вклад, внесенный А. А. Марковым в развитие этих областей, общеизвестен. Благодаря усилиям А. А. Маркова сложилось конструктивное направление в математике. А. А. Марков является главой крупной научной школы в этом направлении.
Найти похожие

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

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