Название : Рекурсивные функции
Автор: Петер Р.
Издательство: Москва: ИИЛ
Язык: русский
Год: 1954
Формат: djvu
Размер: 2.9 Мб
Страницы: 264
Описание:
Понятие обще-рекурсивной функции занимает одно из центральных мест во всех современных исследованиях по конструктивной математике. Поэтому является вполне оправданным желание дать этому понятию возможно более полное освещение. Этой цели и служит книга Р.Петер, где в первых пятнадцати параграфах подробно обсуждаются различные более специальные виды "рекурсивных" способов определения числовых функций, а в следующих за общим определением параграфах излагаются основные свойства класса обще-рекурсивных функций, возможные модификации его определения и значение этого класса для различных проблем конструктивной математики.