В настоящее время имеется довольно много классов элементарных функций. Некоторые из них определены 40 - ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Марченков С.С. Элементарные рекурсивные функции


В настоящее время имеется довольно много классов элементарных функций. Некоторые из них определены 40 - 50 лет назад и заняли прочное положение в теории рекурсивных функций. Все эти классы имеют индуктивные определения и замкнуты относительно операции суперпозиции и некоторых других эффективных операций. В предлагаемой читателю книге изучаются следующие классы элементарных функций: класс функций, элементарных по Сколему, класс функций, элементарных по Кальмару, начальные классы иерархии Гжегорчика и классы, обобщающие классы Гжегорчика. Кроме того, подробно исследован класс ограниченно арифметических предикатов, который представляет собой фундамент для большинства классов элементарных функций.

(cкачать страницу)

Смотреть книгу на libgen

В настоящее время имеется довольно много классов элементарных функций.  Некоторые из них определены 40 - 50 лет назад и заняли прочное положение в теории рекурсивных функций.  Все эти классы имеют индуктивные определения и замкнуты относительно операции суперпозиции и некоторых других эффективных операций.  В предлагаемой читателю книге изучаются следующие классы элементарных функций:  класс функций,  элементарных по Сколему,  класс функций,  элементарных по Кальмару,  начальные классы иерархии Гжегорчика и классы,  обобщающие классы Гжегорчика.  Кроме того,  подробно исследован класс ограниченно арифметических предикатов,  который представляет собой фундамент для большинства классов элементарных функций.