• Язык
 

Классы элементарных рекурсивных функций


Дисциплина: Математическая логика и теория алгоритмов

Год издания: 2017
Издательство: Физматлит
Объем (стр.): 136
ISBN: 978-5-9221-1714-2

Постраничный просмотр для данной книги Вам недоступен.

Книга доступна только по подписке.

Выгрузить: RusMarc / RusMarc (UTF8)
В книге представлены основные классы элементарных рекурсивных функций, изучаемых в теории рекурсивных функций. Приведены различные определения исследуемых классов, установлены соотношения включения между ними. В терминах сложности вычислений получено описание большого числа классов элементарных функций. Для ряда классов дано решение проблемы существования конечных базисов по суперпозиции.
Для студентов и аспирантов математических факультетов, изучающих теорию алгоритмов, а также научных сотрудников и преподавателей высшей школы.

Отзывы: нет