Нумерація (математика)

В теорії обчислень нумерація - це присвоєння натуральних номерів множині об'єктів таких як раціональні числа, графи, чи слова в деякій мові. Нумерації можуть використовуватись для передачі поняття обчислюваності і пов'язаних з нею, які формально означені на натуральних числах за допомогою обчислюваних функцій, на ширші класи об'єктів.

Див. також

• Нумерація Геделя
• Нумерація Кантора

Посилання

• V.A. Uspenskiĭ, A.L. Semenov Algorithms: Main Ideas and Applications (1993 Springer) pp. 98ff.