Звідність

Не слід плутати з терміном «Звітність». Наприклад, Фінансова звітність.

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

Різновиди звідності:
1. Звідність множин, зведення предикатів за розв'язністю,
2. Звідність множин за переліченістю,
3. Звідність арифметичних функцій за обчислюваністю,
4. Звідність сімейств арифметичних функцій.
По кожній з цих позицій можна визначити відношення еквівалентності.

Приклад

Множина А еквівалентна за розв'язністю множині В, якщо В зводиться до А і навпаки.

Література

Посилання

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.