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

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

Авторизация

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

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

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

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

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

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

Аннотация:

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

Язык:

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

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

ed2k: ed2k stats

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

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

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

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

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

Медиана множества      167
Метатеоремы      106
Метод пузырька      141
Метод резолюций      128
Метрика      174
Множество      20
Множество аксиом независимое      107
Множество бесконечное      21
Множество вершин независимое      270
Множество вершин разделяющее      215
Множество вполне упорядоченное      45
Множество доминирующее      277
Множество зависимое      71 261
Множество конечное      21
Множество линейно зависимое      65
Множество линейно независимое      65
Множество минимальное      277
Множество наименьшее      277
Множество независимые      71
Множество несущее      52
Множество основное      52
Множество пометок      192
Множество порождающее      66
Множество пустое      20
Множество разрезов независимое      261
Множество ребер независимое      218 270
Множество ребер разделяющее      215
Множество смежности      191
Множество универсальное      20
Множество циклов независимое      261
Множество, задание перечислением элементов      21
Множество, задание порождающей процедурой      21
Множество, задание характеристическим предикатом      21
Множество, частично упорядоченное      45
Модель      52
Модель множества формул      107 122
Модель формальной теории      107
Моноид      58
Мономорфизм      55
Мост      212
Мощность множества      23
Мультиграф      192
Надмножество      22
Начало слова      161
Начало слова собственное      161
Неподвижная точка      158
Непротиворечивость семантическая      107
Непротиворечивость формальная      107
Неравенство Макмиллана      163
Неравенство треугольника      231
Носитель      52
Носитель интерпретации      121
Нуль группы      60
Нуль решетки      68
Нуль-вектор      64
Область действия квантора      120
Область значений функции      39
Область интерпретации      106
Область определения функции      39
Область целостности      62
Образ      40
Объединение графов      199
Объединение множеств      23
Окончание слова      161
Окончание слова собственное      161
Оператор возврата      41
Оператор структурного перехода      92
Операция n-гарная      51
Операция n-местная      51
Операция ассоциативная      54
Операция главная (внешняя)      82
Операция дистрибутивная слева      54
Операция дистрибутивная справа      54
Операция идемпотентная      54
Операция коммутативная      54
Операция конкатенации      57
Орграф      192
Орграф направленный      199
Ордерево      238
Основа      52
Остов      256
Остов кратчайший      256
Отец узла      240
Отношение n-арное      34
Отношение n-местное      34
Отношение антирефлексивное      36
Отношение антисимметричное      36
Отношение бинарное      34
Отношение дополнительное      34
Отношение линейное      36
Отношение на множестве      34
Отношение обратное      34
Отношение однозначное      38
Отношение полное      36
Отношение порядка      45
Отношение порядка алфавитного      50
Отношение порядка антилексикографического      142
Отношение порядка лексикографического      50 142
Отношение порядка линейного      45
Отношение порядка нестрогого      45
Отношение порядка полного      45
Отношение порядка строгого      45
Отношение порядка частичного      45
Отношение рефлексивное      36
Отношение симметричное      36
Отношение сравнимости чисел      183
Отношение тождественное      34
Отношение транзитивное      36
Отношение универсальное      34
Отношение функциональное      38
Отношение эквивалентности      42
Память ассоциативная      246
Парадокс Рассела      22
Паросочетание      218 270
Паросочетание совершенное      218
Переменная несущественная      80
Переменная предметная      119
Переменная пропозициональная      101 108
Переменная существенная      80
Переменная фиктивная      80
Пересечение множеств      23
Переход к прообразам      40
Петля      192
Побочный эффект      83
Поглощение      25 54
Подалгебра      52
Подграф      194
Подграф остовной      194
Подграф остовный      256
Подграф правильный      194
Подграф собственный      194
Поддерево      239
Подмножество      22
Подмножество замкнутое      52
Подмножество независимое максимальное      72
Подмножество собственное      22
Подстановка      58 139
Подстановка обратная      139
Подстановка тождественная      139
Подформула      82
Поиск бинарный      248
Поиск в глубину      204
Поиск в ширину      204
Поиск двоичный      248
Поиск полнотекстовый      178
Покрытие      24
Покрытие вершинное      269
Покрытие реберное      269
Поле      62
Поле действительных чисел      52

Поле рациональных чисел      52
Поле упорядоченное      78
Полином Жегалкина      96
Полнота системы булевых функций      96
Полнота формальной теории      107
Полный перебор      267
Полугруппа      57
Полугруппа свободная      57
Полугруппа циклическая      57
Полуразрешимость формальной теории      108
Полустепень захода      195
Полустепень исхода      195
Польская запись      244
Польская запись обратная      245
Порядок установленный      91
Постфикс      161
Посылка правила вывода      106
Поток      221
Потомок узла      240
Правило введения импликации      112
Правило вывода производное      112
Правило вывода формальной теории      105
Правило замены      85
Правило отделения      108
Правило подстановки      85
Правило резолюции      130
Правило сечения      113
Правило склеивания/расщепления      92
Правило транзитивности      113
Предикат      119
Предикат n-арный      119
Предикат n-местный      119
Предложение      128
Предложение резольвируемое      130
Предложение родительское      130
Преобразование эквивалентное      92
Префикс      161
Приведение подобных      93
Принадлежность элемента множеству      20
Принцип включения и исключения      152
Произведение декартово      33
Произведение подстановок      139
Произведение прямое      33
Произведение прямое алгебр      78
Прообраз      40
Пропускная способность дуги      221
Пропускная способность разреза      221
Пространство векторное      64
Протаскивание отрицаний      93 129
Противоречие      102
Псевдограф      192
Путь      196
Путь кратчайший      228
Равенство множеств      23
Равенство упорядоченных пар      33
Равномощность множеств      23
Разбиение      24
Разделение связанных переменных      129
Размерность векторного пространства      67
Размножение вершины      200
Разность множеств      23
Разность симметрическая      23
Разрез      215 260
Разрез простой      260
Разрез фундаментальный      261
Разрешимость класса формул      90
Разрешимость формальной теории      108
Разряд информационный      176
Разряд контрольный      176
Ранг коциклический      261
Ранг множества      73
Ранг циклический      261
Раскраска графа      281
Раскрытие скобок      93
Расстояние кодовое      174
Расстояние Хэмминга      174
Расшифровка      181
Расшифровывание      181
Расщепление      92
Расщепление переменных      93
Ребро графа      191
Ребро кратное      192
Ребро покрывающее      269
Резольвента      130
Решетка      67
Решетка дистрибутивная      67
Решетка ограниченная      68
Решетка с дополнением      68
Родитель узла      240
Связанность вершин      197
Связка логическая      108
Связность вершинная      214
Связность графа односторонняя      226
Связность графа сильная      226
Связность орграфа слабая      226
Связность реберная      214
Семейство дизъюнктное      24
Семейство множеств      20
Сеть      199
Сжатие      177
Сжатие адаптивное      179
Сигнатура      52
Сигнатура формальной теории      105
Система образующих      53
Система различных представителей      218
Система разрезов фундаментальная      261
Система циклов фундаментальная      261
Скаляр      64
Склеивание      92
Сколемизация      129
Следование логическое      103 107 123
Словарь      178
Слово      161
Слово пустое      161
Сложность временная      135
Сложность емкостная      135
Сложность по времени      135
Сложность по памяти      135
Смежность вершин      191
Смежность ребер      191
Смешанные вычисления      83
Соединение графов      199
Сообщение      160
Сообщение шифрованное      181
Соотношения определяющие      57
Сортировка формулы      93
Список смежности      202
Сравнение по модулю      183
Степень вершины      194
Степень множества      33
Степень отношения      35
Сток      199
Стратегия метода резолюций      133
Строение алгебры      54
Строение формулы      85
Структура алгебраическая      52
Стягивание подграфа      200
Сужение функции      39
Схема аксиом      105 108
Схема кодирования      161
Схема правил вывода      108
Схема префиксная      162
Схема разделимая      162
Сын узла      240
Таблица истинности      79
Таблица кодов      161
Таблица расстановки      247
Таблица хэш      247
Тавтология      102 107
Тайнопись      181

1 2 3

О проекте