ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
1999, ТОМ 5, ВЫПУСК 1, СТР. 149-192

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

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

Аннотация

Посмотреть как HTML    Посмотреть как рисунок    Посмотреть в формате LaTeX

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

Полнотекстовая версия статьи в формате PostScript (348 Kb)



Главная страница Редколлегия Информация для авторов
Поиск Содержание журнала Объявления

URL страницы: http://mech.math.msu.su/~fpm/rus/99/991/99111h.htm
Изменения вносились 27 апреля 1999