8 (812) 320-06-69

Каталог

Категории
Высшее образование (16+) (45099)
Высшее образование
Естественные науки (2781)
Естественные науки
Общественные науки (3966)
Общественные науки
Информатика и компьютерные технологии (4986)
Информатика и компьютерные технологии
Инженерное дело (1487)
Инженерное дело
Телекоммуникации, электроника, электротехника и радиотехника (1412)
Телекоммуникации, электроника, электротехника и радиотехника
Строительство. Архитектура (819)
Строительство. Архитектура
Строительство. Архитектура. Журналы (17)
Строительство. Архитектура. Журналы
Бетон и железобетон (3)
Бетон и железобетон
Жилищное строительство (7)
Жилищное строительство
Строительные материалы (7)
Строительные материалы
Юридические науки.Право (4595)
Юридические науки.Право
Отрасли права (2892)
Отрасли права
Гуманитарные науки (6467)
Гуманитарные науки
Иностранные языки (2430)
Иностранные языки
Экономика. Экономические науки (7959)
Экономика. Экономические науки
Образование. Педагогические науки (4139)
Образование. Педагогические науки
Медицина и здравоохранение (994)
Медицина и здравоохранение
Физическая культура и спорт (518)
Физическая культура и спорт
Среднее профессиональное образование (14+) (3380)
Среднее профессиональное образование
Коллекции (49348)
Коллекции
Издательские коллекции (48929)
Издательские коллекции
Проспект (3133)
Проспект
Журналы (1146)
Журналы
Остаться в выбранном разделе
Назад к каталогу

Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции

Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции ISBN 978-5-94057-323-4
ISBN 978-5-94057-323-4
Авторы: 
Верещагин Н. К., Шень А.
Тип издания: 
Учебное пособие
Издательство: 
Москва: МЦНМО
Год: 
2008
Количество страниц: 
192
Аннотация

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции).
Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории алгоритмов. Книга включает около 90 задач различной трудности. Предыдущее издание книги вышло в 2002 г.

Библиографическое описание Скопировать библиографическое описание

Верещагин Н. К. Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции / Н.К. Верещагин, А. Шень. - Москва : МЦНМО, 2008. - 192 с. - ISBN 978-5-94057-323-4. - URL: http://m.ibooks.ru/bookshelf/29320/reading (дата обращения: 27.07.2025). - Текст: электронный.