Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики

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

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

Название: Элементы дискретной математики

Авторы: Судоплатов С.В., Овчинникова Е.В.

Аннотация:

Учебник включает семь разделов: основы теории множеств, алгебраические системы, числовые системы, теория графов, комбинаторика, алгебра логики, формальные исчисления.

Язык:

Рубрика: Математика/

Серия: Сделано в холле

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

Маршрут      119
Маршрут кратчайший      126
Маршрут циклический      119
Математика непрерывная      8
Математика прерывная      8
Матрица бинарного отношения      31
Матрица весов      113
Матрица достижимости      123
Матрица инцидентности      112
Матрица Квайна      188
Матрица контрдостижимости      123
Матрица программируемая логическая      209
Матрица расстояний      124
Матрица связности      123
Матрица смежности      111
Матрица соединений      209
Матрица фундаментальных разрезов      150
Матрица фундаментальных циклов      147
Метод бинарный      95
Метод Квайна      187
Метод резолюций в ИВ      218
Метод резолюций для хорновских дизъюнктов      220
Многообразие      58
Многочлен характеристический      168
Множества равномощные      26
Множества равные      11
Множества совпадающие      11
Множества эквивалентные      26
Множество      10
Множество бесконечное      26
Множество бесконечное континуальное      26
Множество бесконечное счетное      26
Множество вплоне упорядоченное      39
Множество вычетов      93
Множество действительных чисел      75
Множество коконечное      64
Множество комплексных чисел      76
Множество конечное      26
Множество коциклов фундаментальное      149
Множество линейно упорядоченное      38
Множество натуральных чисел      23 24
Множество пустое      12
Множество рассогласований      230
Множество рацинальных чисел      73
Множество строго включенное      12
Множество универсальное      12
Множество формул ИВ      213
Множество формул исчисления      212
Множество формул противоречивое      216
Множество формул сигнатуры $\Sigma$ выполнимое      225
Множество формул сигнатуры $\Sigma$ локально выполнимое      225
Множество формул сигнатуры $\Sigma$ унифицируемое      230
Множество фундаментальных циклов      146
Множество целых чисел      73
Множество целых чисел по модулю $\mathfrak{m}$       93
Множество частично упорядоченное      38
Множество-степень      12
Модель      49
Модель множества формул      225
Моноид      50
Мономорфизм      52
Мощность алгебраической системы      49
Мощность множества      26
Мультиграф      109
Мультиграф реберный      153
Мультиграф смешанный      110
Мультиграф эйлеров      132
Мультиграфы изоморфные      112
Мультиплексор      208
Набор длины $\mathfrak{n}$       15
Набор остатков стандартный      104
Набор цепей, покрывающих граф      133
Наибольший общий делитель      88
Наименьшее общее кратное      89
Неорграф      109
Неорграф ациклический      120
Неорграф связный      120
Неорграф соответствующий данному орграфу      110
Неравенство Бернулли      25
Неравенство треугольника      124
Нормальная форма дизъюнктивная      180
Нормальная форма дизъюнктивная, минимальная      187
Нормальная форма дизъюнктивная, сокращенная      187
Нормальная форма дизъюнктивная, тупиковая      187
Нормальная форма конъюнктивная      180
Носитель алгебраической системы      49
Нуль решетки      59
Нуль частично упорядоченного множества      38
Область значения      18
Область определения      18
Образ гомоморфный      52
Образ множества      19 22
Обратное отношение      19
Обхват графа      120
Обход графа по глубине      137
Обход графа по ширине      138
Объединение графов      116
Объединение конгруэнций      60
Объединение множеств      12
Объединение отношений      65
Объединение функций      178
Объединение элементов решетки      59
Ограничение отображения      22
Операция $\mathfrak{n}$ -местная      22
Операция ассоциативная      50
Операция бинарная      22
Операция возведения в степень      27
Операция выбора      67
Операция добавления вершины      114
Операция добавления дуги      114
Операция кольцевого сложения      63
Операция кольцевого умножения      63
Операция конкатенации      50
Операция логическая      173
Операция отождествления вершин      115
Операция подразбиения ребра      155
Операция проекции      67
Операция сложения      24 27
Операция соединения      684
Операция стягивания дуги      115
Операция удаления вершины      115
Операция удаления дуги      115
Операция умножения      24 27
Операция унарная      22
Определение индукционное      24
Орграф      109
Ортогональные подпространства      152
Основание счисления      77
Остаток      87
Остов графа      135
Отношение      16
Отношение $\mathfrak{n}$ -местное      16
Отношение антисимметричное      33
Отношение бинарное      17
Отношение на множестве      17
Отношение обратное      19
Отношение Парето      38
Отношение полное      18
Отношение рефлексивное      33
Отношение симметричное      33
Отношение тождественное      18
Отношение транзитивное      33
Отношение унарное      17
Отношение универсальное      18
Отношение эквивалентности      34
Отношения совместимые      65
Отображение      20
Отрицание      173
Перевод дробных чисел      81
Перевод целых чисел      80

Переменная логическая      172
Переменная свободная      223
Переменная связанная      223
Переменные пропозициональные      213
Пересечение графов      116
Пересечение конгруэнций      60
Пересечение множеств      12
Пересечение отношений      65
Пересечение функций      178
Пересечение элементов решетки      59
Перестановка      159
Перешеек      132
Период дроби      76
Петля      111
Плоское изображение графа      154
Поглощение      14
Подалгебра      54
Подграф      114
Поддерево левое      146
Поддерево правое      146
Поддерево упорядоченное      144
Подмножество      11
Подмножество собственное      12
Подмодель      54
Подпространства ортогональные      152
Подсистема      53
Подсистема порожденная множеством      54
Подстановка множества      21 160
Подстановка пустая      229
Подстановка сигнатуры $\Sigma$       229
Подформула      222
Покрытие множества      15
Поле действительных чисел      75
Поле комплексных чисел      76
Поле конечное      94
Поле рациональных чисел      73
Поле характеристики нуль      94
Полином Жегалкина      195
Полином линейный      195
Полином нелинейный      195
Полное отношение      18
Полугруппа      50
Полустепень захода      131
Полустепень исхода      131
Полюс      203
Полюс входной      204
Полюс выходной      204
Пометка      113
Порядок двойственный      37
Порядок лексикографический      40
Порядок линейный      38
Порядок полный      39
Порядок строгий      37
Порядок частичный      37
Последователь      114
Последователь вершины      111
Последовательность      22
Последовательность возвратная      168
Последовательность фундаментальная      75
Поток в сети      148
Правила вывода И ${\Pi}^{\Sigma}$       226
Правило вывода      212
Правило вывода в ИВ      214
Правило заключения      214
Правило произведения      28
Правило согласия      220
Правило степени      28
Правило суммы      28
Предикат      16
Предикат на множестве      17
Предложение сигнатуры $\Sigma$       223
Предпорядок      37
Представление со смешанными основаниями      105
Предшественник вершины      111
Принцип двойственности для булевых алгебр      63
Принцип двойственности для булевых функций      193
Принцип математической индукции      24
Принцип полного упорядочения      45
Принцип полной индукции      25
Принцип трансфинитной индукции      45
Програмируемая логическая матрица      209
Проекция      20
Произведение алгебр      58
Произведение бинарных отношений      19
Произведение векторов внутреннее      151
Произведение графов      116
Произведение множеств      12
Произведение множеств декартово      16 58
Произведение множеств прямое      16
Произведение остатков      94
Произведение отношений декартово      66
Произведение списков      85
Произведение элементарное      186
Прообраз множества      19
Противоречие      179
Путь      120
Радиус взвешенный      126
Радиус графа      125
Разбиение множества      15
Разбиение упорядоченное      164
Разложение Шеннона      182
Размещение      162
Размещение с повторением      163
Разность множеств      12
Разность множеств симметрическая      12
Разность отношений      66
Разрез графа      148
Разрез графа простой      148
Разрез графа фундаментальный      149
Ранг коциклический      136
Ранг циклический      136
Раскраска вершин графа      153
Раскраска ребер мультирафа      153
Распределение вершин      113
Распределение дуг      113
Распределение меток      113
Расстояние      124
Расстояние взвешенное      125
Реализация декомпозиционная      197
Резольвента бинарная      232
Резольвента дизъюнктов      219 233
Решение общее      168
Решение частное      169
Решетка      59
Решетка дистрибутивная      60
Решетка конгруэнций      60
Решетка подсистем      60
Решетка элементов &      209
Решето Эратосфена      92
Свойство      17
Свойство делимости      87
Свойство евклидовости      87
Связка      173
Сегмент начальный замкнутый      43
Сегмент начальный открытый      43
Сеть      148
Сеть k-полюсная      203
Сигнатура      48
Сигнатура предикатная      49
Сигнатура функциональная      49
Символ вспомогательный      213
Символ логический      213
Система      49
Система аксиом ZFC      45
Система аксиом независимая      216
Система алгебраическая      49
Система булевых функций, полная      194
Система Дедекинда — Пеано      71
Система остатков, наименьших по абсолютной величине      93
Система остатков, неотрицательных      93

1 2 3

О проекте