Escriba un algoritmo de computadora para comprobar si una función de un conjunto finito a otro es inyectiva. Suponga la existencia de un algoritmo ...

Escriba un algoritmo de computadora para comprobar si una función de un conjunto finito a otro es inyectiva. Suponga la existencia de un algoritmo independiente para calcular los valores de la función.