|
Вестник Московского университета. Серия 1: Математика. Механика, 2016, номер 4, страницы 33–38
(Mi vmumm164)
|
|
|
|
Математика
Полные системы одноместных предикатов для классов Поста
С. В. Быковская Московский государственный университет имени М. В. Ломоносова, механико-математический факультет
Аннотация:
Рассматривается задача о полноте систем одноместных предикатов, заданных на конечных множествах. Получены критерии полноты произвольной системы одноместных предикатов относительно произвольных множеств булевых функций.
Ключевые слова:
одноместные предикаты, замыкание систем предикатов относительно замкнутых классов булевых функций, полнота систем предикатов.
Поступила в редакцию: 19.02.2016
Образец цитирования:
С. В. Быковская, “Полные системы одноместных предикатов для классов Поста”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2016, № 4, 33–38; Moscow University Mathematics Bulletin, 71:4 (2016), 161–165
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vmumm164 https://www.mathnet.ru/rus/vmumm/y2016/i4/p33
|
Статистика просмотров: |
Страница аннотации: | 98 | PDF полного текста: | 39 | Список литературы: | 28 |
|