RUS  ENG
Полная версия
ЖУРНАЛЫ // Фундаментальная и прикладная математика // Архив

Фундамент. и прикл. матем., 1999, том 5, выпуск 1, страницы 149–192 (Mi fpm373)

Эта публикация цитируется в 1 статье

О функциональной системе пучков логических функций

В. В. Кудрявцев

Московский государственный университет им. М. В. Ломоносова

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

Ключевые слова: функциональная система, пучок функций, задача о полноте, задача о выразимости, алгоритмическая разрешимость.

УДК: 519.716

Поступила в редакцию: 01.04.1996



Реферативные базы данных:


© МИАН, 2024