О необходимых условиях бесповторности функций над Z3тезисы доклада