|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ПсковГУ |
||
Об одном семействе неявно предполных классов, сохраняющих подмножествастатья
- Автор: Старостин М.В.
- Сборник: Проблемы теоретической кибернетики : материалы XX Международной научной конференции (Москва, 5-8 декабря 2024)
- Редакторы: Ложкин Сергей Андреевич, Подымов Владислав Васильевич, Романов Дмитрий Сергеевич
- Год издания: 2025
- Издательство: ООО "МАКС Пресс"
- Местоположение издательства: Москва
- Первая страница: 129
- Последняя страница: 131
- DOI: 10.29003/m4678.978-5-317-07402-9
- Аннотация: В связи с оператором неявной выразимости в работе рассматриваются классы функций k-значной логики, сохраняющие подмножество $E_l$, которые при ограничении на это подмножество совпадают с функциями из фиксированного класса в $P_l$. Получен критерий неявной полноты для таких классов, а также необходимое условие и достаточное условие для неявной предполноты.
- Добавил в систему: Старостин Михаил Васильевич