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

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

blank
blank
blank
Красота
blank
Гаврилов Г.П., Сапоженко А.А. — Задачи и упражнения по дискретной математике
Гаврилов Г.П., Сапоженко А.А. — Задачи и упражнения по дискретной математике



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



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


Название: Задачи и упражнения по дискретной математике

Авторы: Гаврилов Г.П., Сапоженко А.А.

Аннотация:

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


Язык: ru

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

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

ed2k: ed2k stats

Издание: третье, переработанное

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
$\pi$-сеть      224
Автомат без входа      147
Автомат без выхода      146
Алгоритм Квайна      297
Алфавит входной      103
Алфавит выходной      103
Алфавит кодирующий      230
Алфавит машины Тьюринга внешний      182
Алфавит машины Тьюринга внутренний      182
Арность функционального символа      10
Базис замкнутого класса      60
Базис схемы      311
Буква (символ) алфавита      102
Вектор значений булевой функции      11
Вектор коэффициентов полинома      53
Вершины графа смежные      203
Вес набора      9
Вес о.-д. функции      103
Глубина формулы      30
Грань булева куба      290
Грань плоского графа      216
Граф      203
Граф k-связный      206
Граф двудольный      205
Граф кубический      205
Граф направленный      210
Граф однородный (регулярный)      205
Граф ориентированный      210
Граф планарный      215
Граф полный      205
Граф пустой (вполне несвязный)      205
Граф связный      204
Графы гомеоморфные      205
Графы изоморфные      204
Дерево      205
Дерево бесконечное информативное      104
Дерево корневое      219
Дерево растущее      212
Деревья одинаковые      220
Диаметр графа      204
Дизъюнкция      12
Дизъюнкция над множеством переменных      47
Дизъюнкция элементарная      47
Длина д. н. ф.      47
Длина к. н. ф.      47
Длина маршрута      204 211
Длина слова      102
Длина теста      291
Дополнение графа      205
Замыкание множества функций      60
Знак условного равенства      181
Зона работы машины Тьюринга      181
Избыточность кода      235
Импликанта      296
Импликанта простая      78 296
Импликанта ядровая      296
Импликация      12 89
Интервал функции максимальный      296
Интервал функции ядровый      296
Инцидентность вершины и ребра      203
Источник орграфа      212
Итерация машины Тьюринга      186
Класс вычислимых функций      196
Класс общерекурсивных функций      196
Класс предполный      60
Класс примитивно рекурсивных функций      196
Класс функционально замкнутый      60
Класс частично рекурсивных функций      196
Код алфавитный      230
Код дерева      220
Код набора основной машинный      190
Код набора решетчатый      191
Код префиксный      231
Композиция машин Тьюринга      186
Компонента связности графа      204
Конденсация орграфа      212
Контакт замыкающий      312
Контакт размыкающий      312
Контур в орграфе      211
Конфигурация машины Тьюринга      179
Конъюнкция      11
Конъюнкция над множеством переменных      47
Конъюнкция элементарная      47
Конъюнкция элементарная монотонная      52
Критерий планарности      216
Критерий Саломаа      97
Критерий Слупецкого      97
Критерий Яблонского      97
Лемма Бернсайда      274
Лемма о нелинейной функции      68
Лемма о немонотонной функции      75
Лемма о несамодвойственной функции      64
Лес      205
Максимум x и y      89
Маршрут в графе      204
Маршрут в орграфе      211
Метод Блейка      296
Метод минимизирующих карт      298
Метод Нельсона      297
Метод неопределенных коэффициентов      53 94
Метод Хэмминга      245
Минимум x и y      89
Мультиграф      203
Мультиграф ориентированный      210
Мультиграф планарный      215
Набор булев (двоичный)      9
Набор булев, предшествующий набору      10
Наборы булевы противоположные      9
Наборы булевы соседние      9
Наборы булевы сравнимые      10
Неравенство Чебышева      279
Объединение графов      205
Оператор, порожденный функциями      120
Операция введения обратной связи      146
Операция минимизация      196
Операция объединения д. функций      147
Операция отождествления переменных      33 146
Операция примитивной рекурсии      195
Операция разветвления выхода      149
Операция суперпозиции      147
Операция удаления выходной переменной      146
Орграф      203
Орграф транзитивный      215
Отрицание x      11
Отрицание Лукасевича      88
Отрицание Поста      88
Отросток в сети      223
Ошибка в канале связи      245
Паросочетание      205
Переменная существенная      33
Переменная фиктивная      33
Подграф      204
Подграф остовный      204
Подграф, порожденный подмножеством вершин      204
Подразбиение графа      205
Подфункция      39
Покрытие матрицы      290
Полином Жегалкина (по модулю 2)      52
Полином по модулю k      93
Полустепень захода      211
Полустепень исхода      211
Префикс (начало) слова      103 230
Принцип двойственности      31
Произведение по модулю k      89
Псевдограф      203
Псевдограф ориентированный      210
Путь в орграфе      211
Разветвление машин Тьюринга      186
Разность по модулю k      89
Разность усеченная      89
Ранг элементарной конъюнкции      47
Расстояние Хэмминга      9
Ребра кратные (параллельные)      203 210
Связка логическая      12
Сеть      219
Сеть k-полюсная      219
Сеть разложимая      223
Система Поста      97
Система Россера — Туркетта      97
Система функционально полная      60
Слово бесконечное      102
Слово квазипериодическое      102
Слово пустое      102 180
Сложность д. н. ф.      47
Слой булева куба      9 247
Соединение слов      102
Степень вершины графа      203
Сток орграфа      212
Стрелка Пирса      12
Сумма по модулю 2      12
Сумма по модулю k      89
Суперпозиция сетей      224
Суперпозиция функций      14 195
Сфера в булевом кубе      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
Функция булева самодвойственная      31 64
Функция булева симметрическая      21
Функция булева шефферова      81
Функция булева элементарная      11
Функция булева, двойственная к функции      31
Функция булева, сохраняющая константу      72
Функция Вебба      89
Функция выходов      127 179
Функция вычислимая      196
Функция детерминированная      103
Функция ограниченно-детерминированная      103
Функция переходов      127 179
Функция проводимости      312
Функция, реализуемая формулой      13
Центр графа      223
Цепь в графе      204
Цикл в булевом кубе      242
Цикл в графе      204
Число кликовое      216
Число реберно-хроматическое      216
Число хроматическое      216
Шар в булевом кубе      241
Штрих Шеффера      12
Эквивалентность машин Тьюринга      181
Эквиваленция      12
Элемент единичной задержки      151
]х[ — минимальное целое число, не меньшее x      64
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте