Звідність

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

Звідність — відношення між поняттями, яке у логіці й математиці, що означає можливість редукції (зведення) одного поняття до іншого.

Різновиди звідності[ред. | ред. код]

  • Звідність множин, зведення предикатів за розв'язністю.
  • Звідність множин за переліченістю.
  • Звідність арифметичних функцій за обчислюваністю.
  • Звідність сімейств арифметичних функцій.

По кожній з цих позицій можна визначити відношення еквівалентності.

Література[ред. | ред. код]

Посилання[ред. | ред. код]