|
Фундаментальная и прикладная математика, 1999, том 5, выпуск 1, страницы 149–192
(Mi fpm373)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
О функциональной системе пучков логических функций
В. В. Кудрявцев Московский государственный университет им. М. В. Ломоносова
Аннотация:
В работе изучаются функциональные системы пучков функций с операциями над ними, индуцируемыми операциями над функциями и автоматами. Исследуется алгоритмическая разрешимость задач о полноте и выразимости для функциональных систем пучков функций.
Ключевые слова:
функциональная система, пучок функций, задача о полноте, задача о выразимости, алгоритмическая разрешимость.
Поступила в редакцию: 01.04.1996
Образец цитирования:
В. В. Кудрявцев, “О функциональной системе пучков логических функций”, Фундамент. и прикл. матем., 5:1 (1999), 149–192
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/fpm373 https://www.mathnet.ru/rus/fpm/v5/i1/p149
|
Статистика просмотров: |
Страница аннотации: | 233 | PDF полного текста: | 103 | Первая страница: | 2 |
|