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

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

Авторизация

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

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

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

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

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

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

Аннотация:

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

Язык:

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

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

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

ed2k: ed2k stats

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

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

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

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

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

$\mathfrak{n}$ -ка      15
$\mathfrak{n}$ -куб      118
$\mathfrak{n}$ -мерный куб      118
$\mathfrak{n}$ -местная алгебраическая операция      22
$\mathfrak{n}$ -местная функция      22
$\mathfrak{n}$ -местное отношение      16
$\mathfrak{n}$ -местный предикат      16
$\mathfrak{w}$ -расстояние      125
(, $a_{n+1}$ )-маршрут      119
(1,1)-полюсник      204
(1,1)-полюсник, минимальный      205
(1,k)-полюсник      204
1-1-функция      20
1-ячейка      191
E-класс      35
k-полюсная контактная схема      203
k-полюсная сеть      203
Автоморфизм      52
Аксиома бесконечности      44
Аксиома выбора      45
Аксиома замены      44
Аксиома исчисления      212
Аксиома математической индукции      24
Аксиома множества всех подмножеств      44
Аксиома регулярности      44
Аксиома суммы      43
Аксиома существования пары      43
Аксиома существования пары пустого множества      43
Аксиома экстенсиональности      44
Аксиомы Дедекинда — Пеано      23
Аксиомы И ${\Pi}^{\Sigma}$       226
Аксиомы ИВ      213
Аксиомы метрики      124
Аксиомы Цермело — Френкеля      43
Алгебра      49
Алгебра булева      61
Алгебра булевых функций      178
Алгебра Кантора      49
Алгебра компьютерная      82
Алгебра Линденбаума      216
Алгебра отношений      65
Алгебра реляционная      67
Алгебраическая система      49
Алгоритм Дейкстры      127
Алгоритм Евклида      89
Алгоритм Квайна      217
Алгоритм последовательной раскраски      154
Алгоритм редукции      218
Алгоритм унификации      230
Алгоритм Форда — Беллмана      126
Алфавит      39
Алфавит ИВ      213
Алфавит исчисления      212
Антидизъюнкция      174
Антиконъюнкция      174
Аргумент      20
Арифметика модулярная      93
Арифметика остатков      93
Ассоциативность      13 62 178
Ассоциативность композиции      19
Атомарная формула      172
Базис      196
Базис индукции      24
Биекция      21
Бином Ньютона      163
Бит      82
Булеан      12
Булева алгебра      61
Булева функция      175
Булево кольцо      63
Валентность вершины      130
Вектор      37
Вектор значений булевой функции      176
Вектор оснований      104
Вектор остатков      104
Вершина      108
Вершина висячая      130
Вершина графа      108
Вершина достижимая      120
Вершина изолированная      130
Вершина концевая      130
Вершина периферийная      125
Вершина центральная      125
Вершина центральная, взвешенная      126
Вершины взаимно достижимые      123
Вершины смежные      111
Вес вершины      113
Вес дуги      113
Вес маршрута      125
Ветвь остова      146
Включение множества      11
Восьмеричная система      78
Вхождение переменной      186
Вхождение свободное      223
Вхождение связанное      222
Выборка неупорядоченная      162
Выборка неупорядоченная с возвращениями      164
Выборка упорядоченная      162
Выборка упорядоченная с возвращениями      163
Вывод в исчислении I      7 212
Вывод по правилу согласия      220
Вывод резолютивный      219 233
Вывод формулы      212
Выражение исчисления      212
Высказывание      172
Высказывание простое      172
Высказывание сложное      172
Гипотеза      214
Гомоморфизм      51
Гомоморфизм естественный      57
Граница      151
Грань верхняя      39
Грань нижняя      39
Грань точная, верхняя      39
Грань точная, нижняя      39
Граф      108
Граф ациклический      134
Граф бесконтурный      120
Граф бихроматический      154
Граф взвешенный      113
Граф гамильтонов      133
Граф двудольный      154
Граф неориентированный      109
Граф ориентированный      109
Граф планарный      154
Граф полный      118
Граф получаемый отождествлением вершин      115
Граф помеченный      113
Граф разреженный      114
Граф связный      120
Граф сильно связный      120
Графы гомеоморфные      155
Графы изоморфные      112
Группа      50
Группа абелева      50
Группа коммутативная      50
Группа симметрическая      161
Группоид      50
Двоичная система      78
Декартова степень множества      16
Декартово произведение алгебр      58
Декартово произведение множеств      16 58
Декартово произведение отношений      66
Декомпозиция дизъюнктивная, сложная      201
Декомпозиция функции      197
Декомпозиция функции, дизъюнктивная      198
Декомпозиция функции, нондизъюнктивная      198
Декомпозиция функции, простая      199
Декомпозиция функциональная, итеративная      201
Декомпозиция функциональная, множественная      201

Делитель      87
Делитель наибольший общий      88
Дерево      134
Дерево бинарное      145
Дерево остовное      135
Дерево семантическое      216
Дерево упорядоченное      144
Диагональ      18
Диаграмма Хассе      41
Диаграмма Эйлера — Венна      12
Диаметр графа      124
Дизъюнкт      180
Дизъюнкт сигнатуры $\Sigma$       232
Дизъюнкт унитарный позитивный      221
Дизъюнкт Хорновский      221
Дизъюнкт хорновский, негативный      221
Дизъюнкт хорновский, точный      221
Дизъюнктивная нормальная форма      180
Дизъюнктивная нормальная форма, минимальная      187
Дизъюнктивная нормальная форма, совершенная      181
Дизъюнктивная нормальная форма, сокращенная      187
Дизъюнктивная нормальная форма, тупиковая      187
Дизъюнкция      173
Дизъюнкция элементарная      180
Дистрибутивность      13
Длина маршрута      119
Длина слова      39
Доказательство теоремы      212
Домен      66
Дополнение графа      115
Дополнение множества      12
Дополнение функции      178
Дополнение элемента      61
Дробь десятичная      76
Дуга      108
Дуга графа      108
Дуга заходящая в вершину      108
Дуга инцидентная вершине      112
Дуга исходящая из вершины      108
Дуги кратные      109
Единица моноида      50
Единица решетки      59
Единица частично упорядоченного множества      38
Задача коммивояжера      134 139
Задача нахождения остова минимального веса      136
Задача о безопасном хранении ключа      99
Задача о Кенигсбергских мостах      131
Закон двойного отрицания      14 62 178
Закон де Моргана      14 62 178
Закон дистрибутивности      13 62 178
Закон идемпотентности      13 62
Закон нуля и единицы      14 62
Закон поглощения      14 62 178
Замыкание формулы универсальное      233
Значение терма      55
Значение функции      20
Идеал      64
Идеал главный      64
Идемпотентность      13 178
Изображение графа      108
Изображение плоское      154
Изоморфизм      52
Изоморфизм частично упорядоченных множеств      42
Изоморфные системы      52
Изоморфные частично упорядоченные множества      42
Импликанта простая      186
Импликанта формулы      186
Импликанта функции      186
Импликация      173
Инвертор      197
Индукционный шаг      24
Интерпретация      49 173
Инфимум      39
Инцидентор      109
Инъекция      20
Истинность формулы сигнатуры $\Sigma$       223
Источник      126
Исчисление высказываний      213
Исчисление непротиворечивое      213
Исчисление предикатов сигнатуры $\Sigma$       226
Исчисление разрешимое      213
Исчисление формальное      212
Кардинал      26
Каркас графа      135
Карта декомпозиции      199
Карта Карно      189
Квазипорядок      37
Квантор всеобщности      222
Квантор существования      222
Класс функций линейных      194
Класс функций монотонных      194
Класс функций самодвойственных      194
Класс функций сохраняющих единицу      194
Класс функций сохраняющих нуль      194
Класс эквивалентности      35
Классы Поста      194
Кограница      151
Код двоичный      77
Кольцевая сумма графов      116
Кольцевая сумма формул      174
Кольцо булево      63
Кольцо вычетов по модулю $\mathfrak{m}$       93
Кольцо целых чисел      71 73
Комбинаторика      159
Коммутативность      13 62 178
Композиция графов      118
Композиция отношений      19
Компонента связности      120
Компонента связности сильной      120
Компонента сильная      120
Компьютерная алгебра      82
Конгруэнция      56
Конгруэнция единичная      60
Конгруэнция нулевая      60
Конец ребра      109
Конкатенация      50
Константа      22 48 49
Константа 0      177
Константа 1      177
Константный символ      48
Конституента единицы      181
Конституента нуля      181
Контакт      204
Контакт замыкающий      204
Контакт размыкающий      204
Континуум      26
Контур      120
Конфигурация комбинаторная      159
Конъюнкт      180
Конъюнктивная нормальная форма      180
Конъюнктивная нормальная форма, совершенная      182
Конъюнкция      173
Конъюнкция элементарная      180
Координата      15
Координата слова      39
Коранг      136
Корень дерева      137
Корень дерева характеристический      168
Корень дерева, упорядоченного      144
Кортеж      15
Коцикл      148
Коэффициент биномиальный      163
Коэффициент полиномиальный      165
Лемма о рукопожатиях      131
Лес      134
Лес упорядоченный      144
Литера      180
Литера отрезаемая      232
Литера сигнатуры $\Sigma$       232
Литеры контрарные      180

1 2 3

О проекте