Изменения

Перейти к: навигация, поиск

Примитивно рекурсивные функции

8 байт добавлено, 22:58, 2 ноября 2016
Арифметические функции и отношения. Их выразимость в формальной арифметике
{{Определение
|definition=
Арифметическая функция {{--- }} функция <tex>f: N^n \rightarrow N</tex>.Арифметическое отношение {{--- }} <tex>n</tex>-арное отношение, заданное на <tex>N</tex>.
}}
313
правок

Навигация