|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Москинова И.Г. — Дискретная математика. Математика для менеджера в примерах и упражнениях |
|
|
|
| Предметный указатель |
Сложение по модулю 2 (исключающее «ИЛИ», неравнозначность) 114 132—133
Смежность, смежности отношение; смежности матрица 202
Совершенная дизъюнктивная нормальная форма (СДНФ) 138 144
Совершенная конъюнктивная нормальная форма (СКНФ) 145
Соответствие 78—79
Соответствие между предикатами, отношениями и функциями 170—171
Соответствие обратное 85
Составное отношение см. «Композиция отношений»
Список ребер графа 202
Способы задания графа 198 201—202
Способы логических функций 133
Способы множеств 11—13
Способы операций, в т.ч.бинарных, унарных 92—93
Способы отношений бинарных 35—36
Способы прямого произведения 27
Способы функций 86
Сравнение векторов по предпочтению: правило 28—29
Сравнимость по отношению порядка 51
Стандартный метод установления эквивалентности логических формул 133
Степень (локальная) вершины 197
Суграф 211
Суждение см. «Высказывание«
Сумма графов 211
Сумма прямая 211
Суперпозиция 86 133
Схемы логически правильных рассуждений (правила рассуждений) 121—124
Сюръективность 78
ТИ-формула см.Формула тождественно истинная 150 184
Тип алгебры, модели 99
Тип вершины 224
Тип функции 85
ТЛ-формула см Формула тождественно ложная 184
Транзитивного замыкания вычисление: процедура 56
Транзитивное замыкание 56
Транзитивности правило 122
Транзитивность 43
Умозаключение см. «Рассуждение»
Упрощение формул булевой алгебры: процедуры 144
Условие импликации см. «Посылка импликации»
Условие рассуждения см. «Посылка рассуждения»
Утверждение см. «Высказывание»
Утверждения-отрицания правило 122
Формальная логика см. «Логика математическая»
Формула 86
| Формула алгебры логики 130
Формула булева 137
Формула выполнимая 184
Формула выполнимая в области 184
Формула инфиксная 93
Формула логики высказываний 114
Формула логики предикатов 169 171
Формула префиксная 93
Формула тождественно истинная (общезначимая) 150 184
Формула тождественно истинная в области 184
Формула тождественно ложная (противоречивая) 184
Формула тождественно ложная в области 184
Функционально полная логическая система (базис) 137
Функциональность (однозначность) 79
Функция 78 85—86
Функция двойственная, самодвойственная 145—146
Функция логическая (алгебры логики) 131
Функция обратная 85
Характеристическая функция множества 162
Характеристическое свойство элементов 12
Центр графа 216
Цепь, ориентированная; ориентированная простая 216
Цепь, цепь простая 215
Цикл, цикл простой 215
Циклический маршрут 215
Цикломатическое число 224
Частичная определенность 78
Часть графа 210—211
Штрих Шеффера 132
Эйлеров граф, цикл 216
Эйлерова цепь 216—217
Эквивалентности система классов 50
Эквивалентность (отношение эквивалентности) 50
Эквивалентность (равносильность) формул логики высказываний 133
Эквивалентность (эквиваленция, равнозначность) 50
Эквивалентность формул логики высказываний предикатов 188
Эквивалентные преобразования 142—146
Эквивалентные соотношения (законы) алгебры булевой функций логических 121 142—146
Эквивалентные соотношения алгебры булевой функций логических множеств 157—158
Эквивалентные соотношения логики предикатов 188—191
Экспортации правило 123
Элемент множества 10
«ИЛИ» исключающее: функция, операция см. «Сложение по модулю 2»
«ИЛИ»: функция, операция см. «Дизъюнкция»
«И» функция, операция см. «Конъюнкция»
|
|
|
| Реклама |
|
|
|
|
|
О проекте