Аннотация:
В работе изучаются функциональные системы пучков функций с операциями над ними, индуцируемыми операциями над функциями и автоматами. Исследуется алгоритмическая разрешимость задач о полноте и выразимости для функциональных систем пучков функций.
Ключевые слова:
функциональная система, пучок функций, задача о полноте, задача о выразимости, алгоритмическая разрешимость.
Полный текст:
PDF файл (1621 kB)