Год выпуска: 2010 Автор: С. С. Марченков Издательство: Либроком Страниц: 48 ISBN: 978-5-397-00971-3
Описание
В настоящем издании рассматриваются четыре элементарные арифметические функции: x + y, x/y = max (x - y, 0), [x/y] (целая часть от деления x на y) и 2x. Доказывается, что данные функции образуют базис по суперпозиции в классе функций, элементарных по Кальмару - самом первом и самом широком классе элементарных рекурсивных функций. Брошюра адресована широкому кругу математиков, прежде всего специалистам по теории алгоритмов, теории чисел, комбинаторике и алгебре.
