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