Функция-преемник

Функция преемника Функция-преемница в математике передает натуральное число следующему, обозначаемая через S.  Функция-преемница является одним из основных компонентов для построения […]

Функция преемника

  • Функция-преемница в математике передает натуральное число следующему, обозначаемая через S. 
  • Функция-преемница является одним из основных компонентов для построения примитивной рекурсивной функции. 
  • Последующие операции также известны как zeration в контексте нулевой гипероперации. 
  • Функция-преемница является частью формального языка, используемого для формулирования аксиом Пеано. 
  • В этой формализации функция-преемница является примитивной операцией над натуральными числами. 
  • Функция-преемница является основой 0-го уровня бесконечной иерархии гиперопераций Гжегорчика. 
  • Это также одна из примитивных функций, используемых для характеристики вычислимости с помощью рекурсивных функций. 

Полный текст статьи:

Функция-преемник — Википедия

Оставьте комментарий

Прокрутить вверх