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

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

Авторизация

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

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

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

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

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

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

Аннотация:

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

Язык:

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

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

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

ed2k: ed2k stats

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

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

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

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

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

Система остатков, полная      93
Система остатков, симметричная      93 104
Система счисления восьмеричная      78
Система счисления двоичная      78
Система счисления позиционная      77
Система счисления смешанная      79
Система счисления шестнадцатеричная      78
Система числовая, наименьшая неотрицательная      104
Система числовая, наименьшая по абсолютной величине      104
Системы изоморфные      52
Склейка      232
Следствие формулы непосредственное      212
Слово      39
Слово исчисления      212
Слово пустое      39
Сложение логическое      174
Сложение по модулю 2      174
Сложность (1,1)-полюсника      205
Сложность булевой функции      205
Сложность схемы из функциональных элементов      208
Сложность функции      208
Смешанная система счисления      79
Соединение графов      116
Соединение контактов, параллельное      204
Соединение контактов, последовательное      204
Сомножитель      90
Соответствие      17
Соответствие взаимно однозначное      21
Соотношение рекуррентное      167
Сочетание      162
Сочетание с повторением      164
Список дуг      114
Список над множеством      84
Список пустой      84
Список уступчатый      145
Степень вершины      130
Стрелка Пирса      174
Структура      49
Структура смежности      114
Сумма кольцевая      174
Сумма множеств      12
Сумма множеств кольцевая      12
Сумма остатков      93
Сумма списков      85
Суперпозиция функций      177
Супремум      39
Схема -функциональная      208
Схема -функциональная, минимальная      208
Схема аксиом ИВ      213
Схема из функциональных элементов      206
Схема контактов      205
Схема электрическая      204
Схемы аксиом И ${\Pi}^{\Sigma}$       226
Сюръекция      21
Таблица истинности      173 176
Таблица Кэли      50
Тавтология      179
Теорема арифметики основная      90
Теорема Биркгофа      59
Теорема Геделя о полноте      226
Теорема Дедекинда — Пеано      71
Теорема Жегалкина      195
Теорема исчисления      212
Теорема Кантора      29
Теорема Кантора — Бернтштейна      27
Теорема Квайна      188
Теорема Мальцева о компактности      225
Теорема о гомоморфизме      57
Теорема о дедукции      214 226
Теорема о единственности неприводимого разложения      90
Теорема о замене      228
Теорема о непротиворечивости      216
Теорема о полноте      215
Теорема о полноте метода резолюций      219 233
Теорема о сравнении множеств      27
Теорема о существовании неприводимого разложения      90
Теорема о функциональной полноте      185
Теорема о четырех красках      156
Теорема об остатках китайская      97
Теорема Понтрягина — Куратовского      155
Теорема Поста      196
Теорема Стоуна      63
Теорема Ферма малая      95
Теорема Шеннона вторая      183
Теорема Шеннона первая      182
Терм сигнатуры $\sigma$       54
Тождественное отношение      18
Тождество сигнатуры $\Sigma$       58
Толщина графа      156
Транспозиция      161
Универсальное отношение      18
Универсум      12
Универсум алгебраической системы      49
Унификатор      230
Унификатор наиболее общий      230
Уравнение линейное диофантово      88
Уравнение рекуррентное      167
Уравнение рекуррентное, линейное неоднородное      169
Утверждение двойственное      63
Факт      221
Фактор-алгебра      56
Фактор-множество      35
Факториал      25
Фильтр      64
Фильтр главный      64
Фильтр двойственный к идеалу      65
Фильтр Фреше      65
Форма нормальная, дизъюнктивная      180
Форма нормальная, дизъюнктивная, совершенная      181
Форма нормальная, конъюнктивная      180
Форма нормальная, конъюнктивная, совершенная      182
Формула алгебры логики      172
Формула алгебры логики, атомарная      172
Формула алгебры логики, выполнимая      179
Формула алгебры логики, общезначимая      179
Формула алгебры логики, опровержимая      179
Формула алгебры логики, представляющая функцию      176

Формула алгебры логики, тождественно истинная      179
Формула алгебры логики, тождественно ложная      179
Формула бескванторная      228
Формула бескванторная, находящаяся в дизъюнктивной нормальной форме      228
Формула бескванторная, находящаяся в конъюнктивной нормальной форме      228
Формула включений и исключении      166
Формула выводимая в исчислении      212
Формула выводимая из формул      214
Формула доказуемая в исчислении      212
Формула И ${\Pi}^{\Sigma}$       226
Формула исчисления      212
Формула рекуррентная      167
Формула сигнатуры $\sigma$       222
Формула сигнатуры $\Sigma$ , атомарная      222
Формула сигнатуры $\Sigma$ , выполнимая в системе      224
Формула сигнатуры $\Sigma$ , замкнутая      223
Формула сигнатуры $\Sigma$ , истинная      223
Формула сигнатуры $\Sigma$ , ложная      224
Формула сигнатуры $\Sigma$ , находящаяся в пренексной нормальной форме      228
Формула сигнатуры $\Sigma$ , общезначимая      224
Формула сигнатуры $\Sigma$ , тождественно истинная      224
Формулы сигнатуры $\Sigma$ , эквивалентные      227
Формулы эквивалентные      178
Функция      20
Функция $\mathfrak{n}$ -местная      22
Функция алгебры логики      175
Функция биективная      21
Функция булева      175
Функция двоичная      175
Функция двойственная      192
Функция индикаторная      29
Функция инъективная      20
Функция линейная      194
Функция монотонная      194
Функция на      21
Функция переключательная      175
Функция проводимости      205
Функция разложимая      197
Функция разнозначная      20
Функция реализуемая (1,k)-полюсником      205
Функция реализуемая схемой      208
Функция самодвойственная      193
Функция сохраняющая единицу      194
Функция сохраняющая нуль      194
Функция сюръективная      21
Функция частичная      20
Характеристика поля      94
Хорда      146
Целая часть числа      86
Цель      221
Центр графа      125
Цепи покрывающие      133
Цепь      119
Цепь гамильтонова      133
Цепь простая      119
Цепь эйлерова      133
Цикл      119 161
Цикл гамильтонов      133
Цикл простой      120
Цикл фундаментальный      146
Цикл эйлеров      132
Цифра      77
Частичная функция      20
Частичный порядок      37
Частное      87
Частное, пробное      86
Часть графа      114
Часть числа целая      86
Числа взаимно простые      89
Числа Фибоначчи      167
Число базисное      77
Число вещественное      75
Число действительное      75
Число иррациональное      76
Число кардинальное      26
Число комплексное      76
Число натуральное      23
Число перестановок      159
Число планарности графа      156
Число разбиений      164
Число разбиений упорядоченных      164
Число размещений      162
Число размещений с повторениями      163
Число рациональное      73 76
Число с плавающей точкой      82
Число с плавующей точкой, нормализованное      83
Число сочетаний      162
Число сочетаний с повторениями      164
Число хроматическое      153
Число целое      73
Число целое длинное      84
Число целое короткое      84
Число целое неразложимое      90
Число целое простое      90
Число целое разложимое      90
Число целое составное      90
Число цикломатическое      136
Член числа старший      105
Шестнадцатеричная система      78
Штрих Шеффера      174
Эквивалентность      34 173
Эквивалентные (1,1)-полюсники      205
Эксцентриситет вершины      124
Эксцентриситет взвешенный      126
Элемент      10
Элемент максимальный      38
Элемент минимальный      38
Элемент наибольший      38
Элемент наименьший      38
Элемент непосредственно следующий      24
Элемент обратный      50
Элемент покрывающий      41
Элемент функциональный      207
Элементы несравнимые      38
Эндоморфизм      52
Эпиморфизм      52
Ядро гомоморфизма      57
Язык      48

1 2 3

О проекте