Подробное описание документа
Марченков С. С.
Элементарные рекурсивные функции / Марченков С. С. - М. : Изд-во МЦНМО, 2003. - 111 с. - Библиогр.:
Книга написана на основе курсов лекций, которые автор читал на факультете Вычислительной математики и кибернетики МГУ. В книге собраны основные классы «элементарных» рекурсивных функций, изучаемые втеории алгоритмов. Приведены различные определения этих классов, установлены соотношения включения между ними. Получены разнообразные канонические представления элементарных функций, указаны эффективные операции, сохраняющие элементарность функций, получены оценки сложности вычисления элементарных функций.
Книга адресована студентам и аспирантам математических факультетов, изучающим теорию алгоритмов.
510.57 Вычислимые (рекурсивные) функции4 экз.
- Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
- Преподавательский абонемент ауд.313, ГУК, ауд. 313
- Читальный зал ауд.305л, УЛК, ауд. 305л
- Читальный зал ауд.313, ГУК, ауд. 313