Гаврилов Г.П., Сапоженко А.А. — Задачи и упражнения по дискретной математике
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Задачи и упражнения по дискретной математике
Авторы: Гаврилов Г.П., Сапоженко А.А.
Аннотация:
В пособие включены задачи и упражнения по конечнозначным логикам (в том числе по алгебре логики), по теории автоматов, теории алгоритмов, теории графов и сетей, теории кодирования, комбинаторике, минимизации булевых функций и синтезу схем и формул, реализующих булевы функции. Имеются задачи, предназначенные для первоначальной проработки и освоения методов дискретной математики, а также задачи для углубленного изучения предмета.
Орграф203 Орграф транзитивный215 Отрицание x11 Отрицание Лукасевича88 Отрицание Поста88 Отросток в сети223 Ошибка в канале связи245 Паросочетание205 Переменная существенная33 Переменная фиктивная33 Подграф204 Подграф остовный204 Подграф, порожденный подмножеством вершин204 Подразбиение графа205 Подфункция39 Покрытие матрицы290 Полином Жегалкина (по модулю 2)52 Полином по модулю k93 Полустепень захода211 Полустепень исхода211 Префикс (начало) слова103230 Принцип двойственности31 Произведение по модулю k89 Псевдограф203 Псевдограф ориентированный210 Путь в орграфе211 Разветвление машин Тьюринга186 Разность по модулю k89 Разность усеченная89 Ранг элементарной конъюнкции47 Расстояние Хэмминга9 Ребра кратные (параллельные)203210 Связка логическая12 Сеть219 Сеть k-полюсная219 Сеть разложимая223 Система Поста97 Система Россера — Туркетта97 Система функционально полная60 Слово бесконечное102 Слово квазипериодическое102 Слово пустое102180 Сложность д. н. ф.47 Слой булева куба9247 Соединение слов102 Степень вершины графа203 Сток орграфа212 Стрелка Пирса12 Сумма по модулю 212 Сумма по модулю k89 Суперпозиция сетей224 Суперпозиция функций14195 Сфера в булевом кубе241 Схема, реализующая функцию145 Таблица каноническая130 Таблица критериальная81 Теорема Визинга217 Теорема Кёнига205 Теорема о представлении вычислимой функции196 Теорема Пикар97 Теорема Поста (критерий полноты в алгебре логики)81 Теорема Шеннона217 Тест291 Точка сочленения (разделяющая вершина)206 Турнир212 Уравнения канонические128 Форма k-значной функции вторая91 Форма k-значной функции первая91 Форма дизъюнктивная нормальная47 Форма дизъюнктивная нормальная кратчайшая296 Форма дизъюнктивная нормальная минимальная296 Форма дизъюнктивная нормальная совершенная40 Форма дизъюнктивная нормальная сокращенная296 Форма дизъюнктивная нормальная тупиковая296 Форма конъюнктивная нормальная47 Форма конъюнктивная нормальная совершенная40 Формула над множеством связок13 Формула над множеством функциональных символов12 Формула Стирлинга278 Формулы одинакового строения14 Формулы эквивалентные14 Функции конгруэнтные60 Функции равные31 Функции эквивалентные (неразличимые)103 Функция k-значной логики88 Функция k-значной логики элементарная88 Функция k-значной логики, сохраняющая множество92 Функция k-значной логики, сохраняющая разбиение93 Функция k-значной логики, характеристическая второго рода88 Функция k-значной логики, характеристическая первого рода88 Функция k-фактор графа205 Функция автономная (константная, без выхода)123 Функция булева (булевская, алгебры логики)10 Функция булева линейная68 Функция булева монотонная75 Функция булева самодвойственная3164 Функция булева симметрическая21 Функция булева шефферова81 Функция булева элементарная11 Функция булева, двойственная к функции31 Функция булева, сохраняющая константу72 Функция Вебба89 Функция выходов127179 Функция вычислимая196 Функция детерминированная103 Функция ограниченно-детерминированная103 Функция переходов127179 Функция проводимости312 Функция, реализуемая формулой13 Центр графа223 Цепь в графе204 Цикл в булевом кубе242 Цикл в графе204 Число кликовое216 Число реберно-хроматическое216 Число хроматическое216 Шар в булевом кубе241 Штрих Шеффера12 Эквивалентность машин Тьюринга181 Эквиваленция12 Элемент единичной задержки151 ]х[ — минимальное целое число, не меньшее x64
-сеть 
|
|
О проекте