Аннотация
Брошюра знакомит читателя с алгоритмически вычислимыми функциями натурального аргумента — рекурсивными функциями. Вначале изучается простейший тип рекурсивных функций — примитивно рекурсивные функции. Затем происходит расширение круга вычислимых функций: рассматриваются частично определенные вычислимые функции, а также всюду определенные вычислимые функции, не являющиеся примитивно рекурсивными. В заключение определяются абстрактные вычислительные устройства — машины Тьюринга, и класс функций, вычислимых на машинах Тьюринга, связывается с классом частично рекурсивных функций. Для школьников старших классов и студентов ВУЗов, знакомящихся с основами теории алгоритмов.
Скачать
|