Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Марченков С.С. — Замкнутые классы булевых функций
Марченков С.С. — Замкнутые классы булевых функций



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Замкнутые классы булевых функций

Автор: Марченков С.С.

Аннотация:

В книге рассмотрен круг проблем, связанных с замкнутыми классами булевых функций (классами Поста). Изложено новое компактное доказательство конечной порождаемости всех классов Поста и дано описание решетки классов Поста. Рассмотрено предикатное задание классов Поста и приведено определение классов Поста в терминах некоторых стандартных предикатов. Изложены основы теории Галуа для алгебры булевых функций. Введены булевы вектор-функции, с использованием соответствий Галуа решена проблема полноты для класса всех булевых вектор-функций. Рассмотрены некоторые `сильные` операторы замыкания, которые приводят к конечным решеткам замкнутых классов.


Язык: ru

Рубрика: Математика/Алгебра/Математическая логика/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 2000

Количество страниц: 126

Добавлена в каталог: 14.05.2005

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
n-график      57 88
S-замыкание      117
Базис замкнутого класса      11
Булев предикат      46
Булева вектор-функция      78
Булева функция      7
Булева функция n-местная      7
Диагональ      46
Диагональ основная      86
Замкнутое множество (класс) булевых функций      9
Замкнутое множество булевых предикатов      50
Замыкание      9
Замыкание Галуа      56 57
Замыкание параметрическое      108
Итеративная алгебра Поста      10
Класс конечно порожденный      10
Класс максимальный      18
Класс минимальный      62 65 91
Класс Поста      9
Класс предполный      18
Класс Слупецкого      82
Конъюнкция предикатов      48
Лемма о нелинейной функции      17
Лемма о немонотонной функции      16
Лемма о несамодвойственной функции      16
Набор, не превосходящий другого набора      13
Параметрическая выразимость      108
Переменная несущественная      7
Переменная существенная      7 79
Переменная типа $i_j$      86
Переменная фиктивная      7
Полином Жегалкина      15
Полное множество      10
Порождающее множество      10
Порядок замкнутого класса      11
Порядок конечной системы функций      11
Порядок функции      11
Предикат k-основный      85
Предикат вполне рефлексивный      101
Предикат минимальный      63
Предикат минимальный k-основный      91
Предикат полный      46
Предикат пустой      46
Предикат стандартный      58 63 89
Предикат, реализуемый формулой      50
Предикат, содержащийся в другом предикате      46
Принцип двойственности      12
Проекция предиката      47
Равенство функций      8
Расширение предиката      46
Соответствие Галуа      56
Суперпозиция      9
Теорема о разложении по переменной      12
Теорема о функциональной полноте      18
Теория Галуа      57
Терм      107
Формула над множеством булевых предикатов      49
Формула над множеством булевых функций      8
Функция двойственная      11
Функция линейная      15
Функция монотонная      13
Функция самодвойственная      11
Функция селекторная      8
Функция характеристическая      26
Функция, не превосходящая другой функции      19
Функция, реализуемая формулой      8
Функция, сохраняющая k-основный предикат      86
Функция, сохраняющая константу 0      15
Функция, сохраняющая константу 1      15
Функция, сохраняющая предикат      51
Функция, удовлетворяющая условию $0^m$      29
Функция, удовлетворяющая условию $0^{\infty}$      19
Ширина предиката      51
Эквивалентность предикатов      46
Элементарная формула языка Par      107
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте