Представление документа в формате MARC21

Поле Инд. ПП Название Значение
Тип записи a
Библиографический уровень m
001 Контрольный номер RU/MAI/LIB/278449786
005 Дата корректировки 20240628124051.6
020 00 a ISBN 5-900916-39-1
040 a Служба первич. каталог. 10013504
080 00 a Индекс УДК 510.6
080 a Индекс УДК 510.5
090 00 a Полочн. индекс 517
x Авторский знак В 317
e Инвентарный номер (DOS) 1531021
f Сигла хранения (DOS) чзнл
100 10 a Автор Верещагин Н.К.
245 00 a Заглавие Лекции по математической логике и теории алгоритмов
n Номер части/ раздела Ч.3
p Название части/ раздела Вычислимые функции
260 00 a Место издания М
b Издательство МЦНМО
c Дата издания 1999
300 00 a Объем 174 с.
b Иллюстрации/ тип воспроизводства ил.
440 00 a Серия Современные лекционные курсы
504 00 a Библиография Библиогр.:с.166-167(12 назв.)
520 0_ a Аннотация Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории алгоритмов. Книга включает себя около 90 задач различной трудности.
650 00 a Основная рубрика Математическая логика
650 00 a Основная рубрика Алгоритмы
653 0_ a Ключевые слова АЛГОРИТМОВ ТЕОРИЯ
a Ключевые слова ВЫЧИСЛИМЫЕ ФУНКЦИИ
a Ключевые слова МАТЕМАТИЧЕСКАЯ ЛОГИКА
700 10 a Другие авторы Шень А.
901 t Тип документа m
952 a Тип литературы для КСУ ВШ КУпР
c Вид литературы учебное пособие