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

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

Авторизация

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

Новиков Ф.А. — Дискретная математика для программистов

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

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

Название: Дискретная математика для программистов

Автор: Новиков Ф.А.

Аннотация:

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

Язык:

Рубрика: Computer science/Дискретная математика/

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

ed2k: ed2k stats

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

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

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

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

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

Автоморфизм      55
Адекватность формальной теории      107
Азбука Морзе      165
Аксиома логическая      105
Аксиома нелогическая      105
Аксиома собственная      105
Аксиома формальной теории      105
Аксиоматизируемость алгебраической системы      107
Аксиоматизируемость конечная      125
Алгебра      52
Алгебра булева      70
Алгебра булевых функций      86
Алгебра высказываний      103
Алгебра конечно-порожденная      53
Алгебра Линденбаума — Тарского      86
Алгебра многоосновная      52
Алгебра подмножеств      25 52
Алгебра термов свободная      53
Алгебра универсальная      52
Алгебра, $\Sigma$ -алгебра      53
Алгоритм бинарного поиска      248
Алгоритм выделения компонент сильной связности      227
Алгоритм вычисления СДНФ      91
Алгоритм генерации перестановок      142
Алгоритм генерации подмножеств      147
Алгоритм Грея      28
Алгоритм Дейкстры      230
Алгоритм жадный      75
Алгоритм интерпретации      82
Алгоритм Краскала      257
Алгоритм Лемпела — Зива      179
Алгоритм линейный      75
Алгоритм метода резолюций      132
Алгоритм нахождения максимального потока      223
Алгоритм неэффективный      273
Алгоритм обхода бинарного дерева      245
Алгоритм поиска в глубину      203
Алгоритм поиска в ширину      203
Алгоритм поиска с возвратами      273
Алгоритм последовательного раскрашивания      287
Алгоритм последовательного раскрашивания (улучшенный)      288
Алгоритм построения кратчайшего остова      256
Алгоритм построения СДНФ      90
Алгоритм построения эйлерова цикла      264
Алгоритм приближенный      287
Алгоритм слияния      29
Алгоритм топологической сортировки      46
Алгоритм унификации      109
Алгоритм Уоршалла      48
Алгоритм Фано      467
Алгоритм Флойда      229
Алгоритм Хаффмена      170
Алгоритм эффективный      273
Алфавит      161
Алфавит формальной теории      105
Аргумент функции      38
Арифметика двоичная      63
Ассоциативность объединения      25
Ассоциативность пересечения      25
База матроида      73
Базис      82
Базис векторного пространства      66
Базис матроида      73
Биграф      197
Бином Ньютона      145
Блок графа      212
Блок разбиения      148
Брат узла      240
Буква      161
Булеан      25
Бэктрекинг      273
Валентность вершины      194
Вектор      64
Векторное пространство конечномерное      67
Величина потока      221
Вершина висячая      195
Вершина графа      191
Вершина изолированная      195
Вершина концевая      195
Вершина покрывающая      269
Вес дуги      228
Ветвь ордерева      240
Включение множеств      22
Вхождение определяющее      17
Вхождение переменной свободное      119
Вхождение переменной связанное      119
Выводимость      106
Выводимость непосредственная      106
Выполнимость формулы      106 121
Высказывание простое      101
Высота дерева      240
Вычет      183
Гамма шифра      182
Геодезическая      196
Гиперграф      192
Гипердуга      192
Гипотеза      106
Гомоморфизм      54
Граница верхняя      69
Граница нижняя      69
Грань верхняя      69
Грань графа      283
Грань нижняя      69
Грань решетки верхняя      68
Грань решетки нижняя      68
Граф      191
Граф k-связный      214
Граф ациклический      196 234
Граф вполне несвязный      197
Граф гамильтонов      266
Граф Герца      227
Граф двудольный      197
Граф древовидный      234
Граф нагруженный      192
Граф несвязный      197
Граф ориентированный      192
Граф планарный      283
Граф плоский      283
Граф полный      197
Граф полный двудольный      197
Граф полуэйлеров      263
Граф помеченный      192
Граф регулярный      194
Граф с петлями      192
Граф связный      197 210
Граф субциклический      235
Граф тривиальный      197
Граф четный      197
Граф эйлеров      263
Группа      59
Группа абелева      60 125
Группа коммутативная      60
Группа периодическая      125
Группа полная      125
Группа порядка n      125
Группа симметрическая      140
Декодирование      160
Делитель нуля      62
Делитель нуля левый      62
Делитель нуля правый      62
Дерево      234
Дерево бинарное      242
Дерево выровненное      253
Дерево корневое      238
Дерево ориентированное      238
Дерево подровненное      254
Дерево прошитое      245
Дерево сбалансированное      254
Дерево свободное      234
Дерево сортировки      247

Дерево упорядоченное      241
Дерево, АВЛ-дерево      254
Дешифрация      181
Дешифрование      181
Диаграмма графа      192
Диаграмма коммутативная      55
Диаграмма Эйлера      23
Диаметр графа      196
Дивергенция      221
Дистрибутивность объединения относительно пересечения      25
Дистрибутивность пересечения относительно объединения      25
Длина дуги      228
Длина кодирования      166
Длина маршрута      196
Длина пути      228
Длина слова      161
Добавление вершины      200
Добавление ребра      200
Доказательство теорем автоматическое      127
Доля      197
Дополнение      68
Дополнение графа      199
Дополнение множества      23
Достижимость вершины      206
Дуга      192
Единица аддитивная      64
Единица моноида      58
Единица мультипликативная      64
Единица решетки      68
Задача NP-полная      267
Задача комбинаторная      135
Задача коммивояжера      267
Задача о восьми ферзях      277
Задача о выборе переводчиков      278
Задача о Кенигсбергских мостах      190
Задача о наименьшем покрытии      278
Задача о пяти ферзях      277
Задача о развозке      278
Задача о свадьбах      218
Задача о трех домах и трех колодцах      190
Задача о четырех красках      190
Задача Рамсея      209
Задача Штейнера      258
Заключение правила вывода      106
Законы де Моргана      25
Замена переменной      58
Замена переменной линейная      78
Замыкание      94
Замыкание множества      53
Замыкание отношения      47
Замыкание формулы      122
Запись      246
Запись инфиксная      34 51
Запись префиксная      38
Зашифровка      181
Звезда      271
Значение истинностное      101
Значение функции      38
Идемпотентность объединения      25
Идемпотентность пересечения      25
Измельчение разбиения      148
Изоморфизм      55
Изоморфизм алгебр      56
Изоморфизм графов      193
Инвариант графа      193
Инверсия      141
Инволютивность дополнения      25
Интерпретация исчисления предикатов      121
Интерпретация представления      229
Интерпретация формальной теории      106
Интерпретация формулы      102
Инцидентность      191
Источник      199
Исчисление высказываний      108
Исчисление предикатов      119
Исчисление предикатов высшего порядка      121
Исчисление предикатов первого порядка      119 121
Исчисление предикатов прикладное      121
Исчисление предикатов с равенством      124
Исчисление предикатов чистое      119 121
Канал двоичный симметричный      174
Квантор всеобщности      119
Квантор существования      119
Класс замкнутый      94
Класс множеств      20
Класс одноцветный      281
Класс полный      96
Класс эквивалентности      42
Клика      197
Ключ ассоциативной памяти      246
Ключ шифра      181
Код сообщения      160
Код Хэмминга      175
Код элементарный      161
Кодерево      261
Кодирование      160
Кодирование m-ичное      160
Кодирование алфавитное      161
Кодирование двоично-десятичное      161
Кодирование двоичное      160
Кодирование оптимальное      167
Кодирование побуквенное      161
Кодирование помехоустойчивое      173
Кодирование равномерное      167
Кодирование с исправлением ошибок      173
Кодирование с минимальной избыточностью      167
Кодирование самокорректирующееся      173
Коллизия      247
Кольцо      61
Кольцо коммутативное      61
Кольцо с единицей      61
Коммутативность объединения      25
Коммутативность пересечения      25
Композиция отношений      34
Композиция подстановок      58
Компонента связности      197
Компонента сильной связности      226
Конденсация орграфа      227
Конец цепи      195
Конечноместность      52
Константа предметная      119
Конструктивизм      22
Контекст      275
Контур      196
Конфигурация комбинаторная      135
Корень дерева      238
Кортеж      34
Коцикл      260
Коэффициент биномиальный      145
Коэффициент сжатия      177
Криптография      181
Криптостойкость      181
Лес      234
Линейная комбинация      65 261
Лист дерева      240
Литерал      120
Литерал контрарный      130
Логические связки      101
Маршрут      195
Маршрут замкнутый      195
Маршрут открытый      195
Массив дуг      203
Массив ребер      203
Матрица инциденций      202
Матрица смежности      201
Матроид      71
Матроид линейно-независимых множеств векторов      77
Матроид разбиений      77
Матроид свободный      77
Матроид трансверсалей      77

1 2 3

О проекте