Алгоритмы и рекурсивные функции

Front Cover
"Наука," Глав. ред. физико-математической лит-ры, 1986 - Algorithms - 367 pages

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Предисловие
6
Основные понятия
17
Примитивно рекурсивные функции и рекур
49
Copyright

8 other sections not shown

Common terms and phrases

алгебры алфавите алфавитом арифметических ат ах бесконечно будем будет вида вычислимых вычисляет Гёделя Говорят график диофантов диофантово доказательства допустима другой есть жества заданных значений изоморфизм имеет истинна исчисление класс команд конечным числом конфигурации которых креативное курсивно Лемма лишь любых машинное слово машины Тьюринга многочлен может можно называется Например натуральных чисел некоторого нерекурсивное номер нумерации Обозначим образом общерекурсивная функция одно одноместная функция определено относительно п-ок пару подходящего Показать полагаем получим помощи понятие последовательность Поэтому предикат приказ примитивно рекурсивная функция примитивной рекурсии проблема программу продуктивное произвольного просто простые числа Пусть равенства Рассмотрим рекурсивно перечислимых множеств рекурсивное множество решение Робинсон самом свойства семейство системы следует словарная функция случае совокупность всех совпадает Согласно содержит соответствие соотношений состояние существует тезиса Чёрча Теорема теории теории алгоритмов теперь терма тивно рекурсивна тогда удовлетворяет указанного универсальной уравнение условию формулы функ характеристическая функция множества хг хи хп хт хх ции частичная функция частично рекурсивных функций числовых функций элементов является

Bibliographic information