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

Базы данных


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

Виды поиска

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

    Кочетков, Юрий Юрьевич.
    Вычислимые функции [Текст] : учеб. пособие / Ю. Ю. Кочетков ; Гос. образоват. учреждение высш. проф. образования "Московский государственный институт электроники и математики (технический университет". - Москва : [Б. и.], 2008. - 53, [3] с. - Библиогр.: с. 53 (3 назв.). - ISBN 978-5-94506-201-6 : 158.84 р.
УДК

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

Кл.слова (ненормированные):
вычислимые функции -- рекурсивные функции -- вычислительная сложность -- перечислимые множества
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского



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

2.

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

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

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

3.

   
    Теория алгорифмов и математическая логика [Текст] : сборник / Акад. наук СССР, Вычислит. центр ; под ред.: Б. А. Кушнера, Н. М. Нагорного. - М. : ВЦ АН СССР, 1974. - 216 с. : ил. ; 21 см. - Библиогр. в конце ст. - 0.85 р.
ГРНТИ
УДК

Рубрики: Математика--Теория алгоритмов

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


Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- РЕКУРСИВНЫЕ ЭКСТРАПОЛЯТОРЫ -- СИСТЕМЫ РАВЕНСТВ -- ПЕРЕЧИСЛИМЫЕ МНОЖЕСТВА -- ПСЕВДОЧИСЛА -- ВЕЩЕСТВЕННЫЕ ЧИСЛА
Аннотация: А. А. Маркову принадлежит ряд фундаментальных исследований в самых различных областях математики, а также механики и теоретической физики. Непреходящее значение этих исследований удостоверено развитием науки. Начиная с 1946 года интересы А. А. Маркова концентрируются в области теории алгорифмов и математической логики. Вклад, внесенный А. А. Марковым в развитие этих областей, общеизвестен. Благодаря усилиям А. А. Маркова сложилось конструктивное направление в математике. А. А. Марков является главой крупной научной школы в этом направлении.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Кушнер, Б. А.
Нагорный, Н. М.
Найти похожие

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

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