Москинова И.Г. — Дискретная математика. Математика для менеджера в примерах и упражнениях :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Москинова И.Г. — Дискретная математика. Математика для менеджера в примерах и упражнениях

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

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

Название: Дискретная математика. Математика для менеджера в примерах и упражнениях

Автор: Москинова И.Г.

Аннотация:

Пособие содержит основные понятия теории множеств, логики, теории графов в иллюстрациях и поясняющих примерах, адаптированных к потребностям менеджмента и управления. Может быть использовано как развернутый справочник для менеджера по современным формализованным представлениям.
Для студентов вузов, обучающихся по экономическим и управленческим специальностям и направлениям. Представляет интерес для преподавателей и аспирантов, менеджеров-аналитиков, управленческих консультантов и пользователей компьютерных технологий в менеджменте.

Язык:

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

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

ed2k: ed2k stats

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

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

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

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

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

Аксиомы      121
Алгебра      99—103
Алгебра булева      102 136—138 156—157
Алгебра булева векторов двоичных      103 156
Алгебра булева множеств      102 156
Алгебра булева функций логических      137 156
Алгебра Жегалкина      138
Алгебра логики      111 30—133
Алгебраическая структура (алгебраическая система)      100
Алфавит      31
Алфавит языков логики      114
Антирефлексивность      43
Антисимметричность      43
Аргумент функции      85
Арифметика натуральных чисел      184
Ассоциативность      91—92 143
Базис (функционально полная логическая система)      137
Блейка — Порецкого метод      39
Булеан      13
Вектор      26—29
Вектора длина (размерность)      27—29
Вектора компоненты (координаты)      27
Вершина графа      196
Вершина достижимая      216
Вершина кониевая      223
Вершины связанные      215
Вершины смежные      196—197
Ветвь вершины      223
Взаимная однозначность      79
Взаимно однозначное соответствие между графом и бинарным отношением      211
Всюду (полностью) определенность      78
Высказывание (утверждение, суждение)      111—113
Высказывание переменное      171
Высказывание простое (элементарное)      111—113
Высказывание сложное (составное)      111—113
Гамильтонов граф      217
Гамильтонов цикл      217
Гамильтонова цель      217
Гипотеза      см. «Посылка рассуждения»
Гомоморфизм      100—103
Гомоморфизм алгебр, моделей, алгебраических структур      100—103
Граф      196—198
Граф ациклический      216
Граф конечный      196—198
Граф неориентированный (н-граф)      197
Граф ориентированный (орграф)      197
Граф покрывающий      211
Граф полный      197
Граф пустой      197
Граф связный      215—216
Граф связный сильно      216
Графа компоненты связные; связные сильно      215—216
Графы, пересекающиеся по вершинам      211
Графы, пересекающиеся по ребрам      211
Двойного отрицания закон      143
Двойственность, принцип двойственности      145—146
Дерево      222—224
Дерево неориентированное, ориентированное      222—223
Дерево с корнем      223
Диаграммы Венна      18
Дизъюнктивная нормальная форма (ДНФ)      144
Дизъюнкция («ИЛИ» функция, операция)      113 132—133
Дизъюнкция элементарная      145
Дилемм правило      123
Дистрибутивность (слева, справа)      92 143
Длина вектора, маршрута      см. «Вектора длина» «Маршрута
ДНФ      см. «Дизъюнктивная нормальная форма»
Доказательства      20—21
Доказательства эквивалентности логических формул: способ стандартный      133
Доказательства эквивалентности логических формул: способ эквивалентных преобразований      142—146
Доказательство единственности существования      21 24—25
Доказательство от противного      21 26
Доказательство равенства множеств      21—23
Дополнение графа      197 211
Дополнение множества      15
Дополнение множества отношения      55
Дута (ребро ориентированное)      197
Заключение (следствие) импликации      113
Заключение (следствие) импликации рассуждения      121
Заключения правило      121
Законы логики      111—112
Замены правило      142
Замыкание транзитивное,рефлексивное      56
Значение высказывания, предиката      112
Значение функции      85
Идемпотентность      143
Изоморфизм      100—103
Изоморфизм алгебр, моделей, алгебраических структур      100—103
Изоморфизм графов      198—202
Импликация (следование логическое)      113 132
Импортации правило      123
Инверсия      см. «Отрицание»
Индекс      см. «Разбиения индекс»
Интерпретация логическая      116—117
Интерпретация содержательная      116—117
Инфиксное представление, формула      93
Инцидентность, инцидентности отношение, инцидентности матрица      196 201
Исключенного третьего закон      143
Истинности таблица      131
Истинностное значение (истинность)      112
Исчисления высказываний      111
Исчисления предикатов      111 169—170
Каноническое соответствие графов      197
Квалификация переменной (навешивание квантора на переменную, предикат; связывание переменной)      175
Квантор общности; существования      175—176
КНФ      см. «Конъюнктивная нормальная форма»
Коммутативность      92 143
Композиция отношений (составное отношение)      55
Композиция функций      86
Компоненты вектора, графа, множества      см. «Вектора компоненты» «Графа «Подмножество»
Константа 0, 1      131—132
Контрапознции правило      121—2—123
Контрапознции сложной правило      123
Контур графа      216
Конъюнктивная нормальная форма (КНФ)      145
Конъюнкция («И» функция, операция; произведение логическое)      113 132—133
Конъюнкция элементарная      144
Корень дерева      223
Кэли таблица      93
Лексикографическое упорядочение      52
Лес      223
Логика высказываний      111—112
Логика математическая (формальная)      111
Логика предикатов      111—112 168—171
Маршрут графа      215
Маршрут графа циклический      215
Маршрута длина      216
Матрица инцидентности графа      201
Матрица отношения бинарного      35—36
Матрица смежности графа      202
Множества равномошные      79
Множество      10—13
Множество бесконечное      11
Множество всех логических функций      131—132
Множество единичное логической функции      131
Множество конечное      11
Множество континуальное      79
Множество несущее (основное, носитель) алгебры; модели; алгебраической структуры      99—100
Множество нулевое логической функции      131
Множество Парето-оптимальных решений (Область компромиссов)      32
Множество пустое      11
Множество счетное      53 79
Множество универсальное      15
Множество упорядоченное полностью, частично      51
Модель      99—102 184
Моргана де правила (законы)      143
Мощность множества      27
Мощность прямого произведения множеств      27
Мульти граф      197
Н-граф      см. «Граф неориентированный»

Набор единичный логической функции      131
Набор нулевой логической функции      131
Навешивание квантора на переменную, предикат      см. «Квантификация»
Неравнозначность      см. «Сложение по модулю 2»
Нестрогого порядка отношение (нестрогий порядок)      50—51
Область действия квантора      175 176
Область значений отношения      35
Область истинности предиката      170
Область компромиссов      см. «Множество Парето-оптимальных решений»
Область определения отношения      35
Область определения соответствия      78
Область предметная предиката      170
Образ элемента; множества      78
Обратное отношение      55
Обратное соответствие      85
Объединение множеств      14—15
Объединение отношений      55
Операции алгебры булевой      156—157
Операции алгебры булевой векторов двоичных      102—103
Операции алгебры булевой множеств      15
Операции алгебры булевой функций логических      137
Операции над векторами      27—29
Операции над векторами двоичными      103 156
Операции над множествами      10 14—15
Операции над множествами векторов      27—28
Операции над отношениями бинарными      10 54—56
Операции над частями графа      210—213
Операция      10 78 91—93
Операция булева      137
Операция логическая      111 113—114 130—133
Операция логическая унарная, бинарная, n-арная      131—133
Операция унарная, бинарная, n-арная      91—93
Орграф      см. «Граф ориентированный»
Ориентация неориентированного дерева      223
Отношение      10 34
Отношение n-местное      34
Отношение бинарное(двухместное)      34—36
Отношение инцидентности      см. «Инцидентность»
Отношение порядка      см. «Порядок»
Отношение порядка нестрогого, строгого      см. «Порядок нестрогий строгий»
Отношение связности      см. «Связность»
Отношение смежности      см. «Смежность»
Отношение унарное (одноместное)      34
Отношение эквивалентности      см. «Эквивалентность»
Отображение в      78
Отображение на      78 85
Отрицание (инверсия)      113 131—132
Отрицания правило      122
Отрицания утверждения правило      122
Переменная логическая (двоичная); нелогическая(предметная)      130 168 170—171
Переменная предметная      168 170—171
Переменная свободная; связанная      176
Переменная фиктивная (несущественная)      131—132
Пересечение множеств      14—15
Пересечение отношений      55
Перестановка      85
Переход от табличного задания функции логической к формуле булевой: процедуры (СДНФ, СКНФ)      138 152
Перечисление (список)      11 27 35
Петля графа      197
ПНФ      см. «Префиксная нормальная форма»
Поглощение      144
Подграф      211
Подмножество строгое (собственное); нестрогое      10
Подстановка      86
Подстановки правило      142
Полностью определенность      см. «Всюду определенность»
Получение КНФ по ДНФ: процедура      145
Получение ПНФ: процедура      190—191
Получение СДНФ по ДНФ: процедура      144
Получение СДНФ по таблице истинности: процедура      138
Получение СКНФ по таблице истинности: процедура      152
Получение формулы булевой по таблице истинности: процедура      138
Получение формулы булевой по формуле логической      136—138 142—144
Порождающая процедура      11—12 188
Порядок (отношение порядка)      51—53
Порядок нестрогий; строгий (отношение порядка нестрогого; строгого)      51—53
Построение матриц отношений $\bar{R}$ , $R^{-1}$ , $R^{0}$ , R* и др. по матрице отношения R: правила      70—71
Построение матрицы инцидентности по списку ребер: правило      207
Построение списка ребер по матрицам инцидентности; смежности: правило      207
Посылка (гипотеза, условие) рассуждения      121
Посылка (условие) импликации      113
Правила вывода; подстановки; заключения      111 121
Правило      122
Предикат      168—171
Предикат n-местный      170
Представления графические      195—196
Представления логические      111—112
Представления теоретико-множественные      10
Преобразование      79 85
Префиксная нормальная форма (ПНФ)      190—191
Префиксное представление, формула      93 190—191
Приведение ДНФ к КНФ: процедура      145
Приведение ДНФ к СДНФ: процедура      144
Приведение формулы булевой к ДНФ: процедура      144
Приведение формулы логической к формуле алгебры булевой      137—138
Проекция вектора, множества векторов, упорядоченного множества векторов      28
Произведение графов      211
Произведение логическое      см. «Конъюнкция»
Произведение прямое множеств      27
Прообраз элемента; множества      78
Противоречия закон      143
Путь графа      216
Равенство векторов      27
Равенство графов      198
Равенство множеств      11
Равенство функций      85
Равнозначность      см. «Эквивалентность эквивалента»
Равномощность множеств      см. «Множества равномощные»
Равносильность формул логических      см. «Эквивалентность формул логики высказываний; предикатов»
Радиус графа      216
Разбиение на множестве      50
Разбиения индекс      50
Размерность вектора      см. «Вектора длина»
Разность множеств      15
Разность отношений      55
Разрешающая процедура      55
Распознающая процедура      55
Расстояние между вершинами      216
Рассуждение (умозаключение)      121
Рассуждение логически правильное (неправильное)      111 121—124
Рассуждения правила (методы)      111
Расщепление (обратное склеивание)      144
Ребра кратные      196—197
Ребро графа      196—197
Ребро концевое      223
Ребро ориентированное      см. «Дуга»
Рефлексивное замыкание      56
Рефлективность      43
Решетка      100
Свойства констант      143
Свойства операции бинарной      10 91—92
Свойства операции логической      см. «Эквивалентные соотношения»
Свойства операции отношения бинарного      10 78—79
Свойства операции соответствия      10 78—79
Связки логические III      113—114
Связность графа      201—202 215—216
Связность компонент графа      215—216
Связывание переменной      см. «Квантификация»
СДНФ      см. «Совершенная дизъюнктивная нормальная форма»
Сечения правило      123
Сигнатура алгебры; модели; алгебраической структуры      99
Символ алфавита      31
Симметричность      43
Система классов эквивалентности      см. «Эквивалентности система классов»
Склеивание      144
СКНФ      см Совершенная конъюнктивная нормальная форма
Следование логическое      см. «Импликация»
Следствие импликации      см. «Заключение импликации»
Следствие рассуждения      см. «Заключение рассуждения»
Слово длины n в алфавите A      31

1 2

О проекте