|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Классы элементарных рекурсивных функцийкнига
- Автор: Марченков С.С.
- Год издания: 2016
- Место издания: М.: Физматлит Москва
- Объём: 136 страниц (9,4 печатных листов)
- ISBN: 978-5-9221-1714-2
- Тираж: 300 экз.
- Монография
- Аннотация: Книга написана на основе курсов лекций, которые автор читал на факультете вычислительной математики и кибернетики МГУ имени М.В.Ломоносова. В книге собраны основные классы <<элементарных>> рекурсивных функций, которые изучаются в теории рекурсивных функций. Среди них классы функций, базирующиеся на ограниченно арифметических предикатах, классы функций, элементарных по Сколему и по Кальмару, классы функций иерархии Гжегорчика. Приведены различные определения рассматриваемых классов, установлены соотношения включения между ними. Получены разнообразные канонические представления элементарных функций, в том числе с использованием только операции суперпозиции. Введен ряд эффективных операций, сохраняющих элементарность функций из заданных классов. В терминах сложности вычислений на абстрактных вычислительных устройствах охарактеризовано большое семейство классов элементарных функций. Много места в книге уделено решению проблемы существования конечных базисов по суперпозиции в классах элементарных функций. Книга содержит большое число задач и тем для дальнейших исследований. Книга ориентирована на широкий круг читателей: студентов и аспирантов математических факультетов, изучающих теорию алгоритмов и выбирающих темы для самостоятельных исследований, научных сотрудников и преподавателей высшей школы, желающих познакомиться с разнообразными классами элементарных рекурсивных функций и работающими в этой области методами.
- Добавил в систему: Марченков Сергей Серафимович