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

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

blank
blank
blank
Красота
blank
Марченков С.С. — Функциональные системы с операцией суперпозиции
Марченков С.С. — Функциональные системы с операцией суперпозиции



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



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


Название: Функциональные системы с операцией суперпозиции

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

Аннотация:

В книге с единых позиций рассматриваются функциональные системы с
операцией суперпозиции и «традиционными» множествами функций — функций многозначной логики, функций натурального аргумента и автоматных функций. Основное содержание книги концентрируется вокруг двух взаимосвязанных тем: построение и анализ порождающих множеств и проблема полноты. Излагаются ставшие классическими результаты А.В. Кузнецова, СВ. Яблонского и И. Розенберга по проблеме полноты в системе Pk. Приводится целая серия наиболее значимых результатов по другим функциональным системам, которые получены отечественными и зарубежными математиками в последние годы. Многие теоремы даются с не публиковавшимися ранее доказательствами. Для научных сотрудников и преподавателей высшей школы, работающих в области дискретной математики.


Язык: ru

Рубрика: Computer science/Дискретная математика/

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
k-вычисление функции оператором      60
Базис      10
Булева функция      8
Вес функции      80
График перестановки      30
Декартова степень предиката      32
Диаграмма Мура      80
Задержка      90
Замкнутое множество (класс)      10
Замыкание      10
Канонические уравнения      81
Квадрат      52
Класс конечно порожденный      10
Класс предполный      10
Класс Слупецкого      10
Критериальное семейство классов      10
Моделирование функции функцией      90
Нумерационная тройка функций      57
Операция отождествления переменных      9
Операция суперпозиции      9
Полный прообраз предиката      32
Порождение класса функциями      10
Предикат      26
Предикат вполне рефлексивный      31
Предикат вполне симметричный      31
Предикат центральный      31
Реализация функции формулой      9
Семейство предикатов $\mathbf{B}$      31
Семейство предикатов $\mathbf{C}$      31
Семейство предикатов $\mathbf{E}$      31
Семейство предикатов $\mathbf{L}$      30
Семейство предикатов $\mathbf{O}$      30
Семейство предикатов $\mathbf{P}$      30
Состояние диаграммы Мура      80
Сохранение множества функций функцией      20
Сохранение множества чисел функцией      48
Сохранение предиката функцией      27
Ультрафильтр      64
Фильтр булевой алгебры      64
Формула над множеством      8
Функциональная система      4
Функция k-значной логики      8
Функция детерминированная      79
Функция истинностная      88
Функция конечно-автоматная      80
Функция линейная      24
Функция мажоритарная      16
Функция монотонная      24
Функция натурального аргумента      8
Функция ограниченно-детерминированная      80
Функция остаточная      80
Функция самодвойственная      23
Функция селекторная      8
Функция сохраняющая 0      23
Функция универсальная      59
Центр предиката      31
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте