Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера

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

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

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

Авторы: Кузнецов О.П., Адельсон-Вельский Г.М.

Аннотация:

Изложены основные понятия теории множеств, общей алгебры, логики, теории графов, теории алгоритмов и формальных систем.

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

Язык:

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

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

ed2k: ed2k stats

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

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

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

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

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

Автомат      295
Автомат автономный      298
Автомат асинхронный      327
Автомат инициальный      295
Автомат комбинационный      331
Автомат логический      331
Автомат Милна      313
Автомат Мура      313
Автомат недетерминированный      321
Автомат сильно связный      298
Автомат частичный (не полностью определенный)      304
Аксиома      218
Аксиоматизируемость      243
Алгебра      37
Алгебра булева логических функций      58
Алгебра булева множеств      37 64
Алгебра Жегалкина      71
Алгебра логики      50
Алгебра регулярных событий      317
Алгоритм      144 201
Алфавит      17 148
Арифметика формальная      236
Ассоциативность      39
Базис линейного пространства      413
Блок-схема алгоритма      152
Блок-схема машины Тьюринга      163 167
Булеан      37
Вектор      16
Вектор линейного пространства      411
Вершина      88
Вершина концевая      110
Ветвь      111
Вывод      218
Вывод в грамматике      263
Глубина формулы      54
Гомоморфизм      40
Гомоморфизм автоматов      299
Грамматика      265
Грамматика блочная      288
Грамматика контекстная      265
Грамматика контекстно-свободная      265 269
Грамматика неоднозначная      274
Грамматика неукорачивающая      268
Грамматика приведенная      277
Грамматика регулярная      265
Грамматика типа      0 265
Граф      88
Граф базисный      127
Граф звездный      97
Граф исключения      116
Граф неориентированный      88
Граф однородный      96
Граф ориентированный      88 124
Граф переходов      295
Граф полный      96
Граф связный      101
Граф циклически связный      109
Граф эйлеров      106
Группа      45
Данные      147
Двойственность      64
Декомпозиция автоматов      343
Дерево      109
Дерево вывода      271
Дерево максимальное      118
Дерево ориентированное      111
Дерево с корнем      111
Детерминизация      321
Диагональный метод      23
Диаметр графа      102
Дизъюнкция      53
Дистрибутивность      39
Длина маршрута      99
Длина пути      124
Доказательство      219
Дополнение графа      97
Дополнение множества      16
Дополнение отношения      31
Достижимость      126 298
Дуга      88
Единица полугруппы      43
Единица решетки      48
Задача NP-полная      387
Задача линейная оптимизации      422
Задача линейного программирования      422
Задача линейного программирования двойственная      428
Задача о выполнимости КНФ      380 392
Задача о камнях      378 394
Задача о коммивояжере      119
Задача о покрытии      379 396
Задача о различных представителях      120
Задача перебора      376
Задача сетевого планирования (PERT)      371
Задача транспортная      439
Замкнутость      37 73
Изоморфизм      40
Изоморфизм автоматов      299
Изоморфизм графов      93
Импликация      53
Интервал      69
Интерпретация      87 239
Инцидентность      88
Источник      319
Исчисление      218
Исчисление ассоциативное      251
Исчисление высказываний      219
Исчисление предикатов      228
Исчисление предикатов с равенством      235
Итерация      284 317
Класс NP      383
Класс трудоемкости задач      381
Класс эквивалентности      34
Коммутативность      39
Композиция автоматов      343
Композиция алгоритмов      153
Композиция машин Тьюринга      163
Композиция отображений      38 43
Композиция путей      125
Композиция функций      26
Конкатенация      284 317
Конус      416
Конфигурация машины Тьюринга      157
Конъюнкция      53
Корень дерева      111
Лес      109
Линейная комбинация      413
Линейная независимость      413
Линейное подпространство      412
Линейное пространство      411
Маршрут      99
Матрица инцидентности      90
Матрица отношения      30
Матрица смежности      92
Машина Тьюринга      155
Машина Тьюринга недетерминированная      382
Машина Тьюринга универсальная      169
Метатеорема      219
Многогранник      417
Множество      9
Множество бесконечное      10
Множество выпуклое      416
Множество конечное      10
Множество континуальное      23
Множество перечислимое      207
Множество разрешимое      207
Множество счетное      22
Модель      239
Моноид      43
Мощность множества      10 21
Мультиграф      83 248

Неотличимость      300
Непротиворечивость      241
Неразрешимость алгоритмическая      177 204—206
Нормальная форма Бэкуса      269
Нормальная форма дизъюнктивная (ДНФ)      62
Нормальная форма дизъюнктивная совершенная (СДНФ)      56
Нормальная форма конъюнктивная (КНФ)      63
Нумерация алгоритмов      202
Нумерация вершин      129
Область значений      19
Область истинности      80
Область определения      19
Образ      19
Образующая      44
Объединение множеств      13 317
Объединение отношений      31
Объединение элементов решетки      47
Оператор (операция над функциями)      179
Оператор (операция над функциями) автоматный      297
Оператор (операция над функциями) наименьшего числа ( $\mu$ -оператор)      185 186
Оператор (операция над функциями) примитивно-рекурсивный (ПР-оператор)      184
Оператор (шаг алгоритма)      152 347
Операция      37
Определитель      415
Отношение      29
Отношение бинарное      30
Отношение обратное      32
Отношение порядка      35
Отношение рефлексивное      32
Отношение симметричное      32
Отношение транзитивное      32
Отношение эквивалентности      33
Отображение      24
Отображение автоматное      297
Отрицание      52
Отсечение      405
Паросочетание      117 122
Перебор      381
Переменная несущественная      51
Переменная свободная      83 229
Переменная связанная      83 229
Пересечение графов      97
Пересечение множеств      14
Пересечение элементов решетки      47
Подалгебра      37
Подграф      97
Подмножество      10
Подформула      54
Покрытие      69
Поле      37
Полином Жегалкина      72
Полнота формальной теории      243
Полнота функциональная      70
Полугруппа      43
Полугруппа свободная      44
Правило вывода      218
Правило подстановки      60 221
Предикат      80
Предикат примитивно-рекурсивный      183
Предметная область      80
Представимость событий      314
Преобразование      24
Преобразование аффинное      418
Проблема остановки      176
Проблема самоприменимости      204
Проблема соответствия (комбинаторная проблема Поста)      259 376
Проблема эквивалентности алгоритмов      213
Проблема эквивалентности слов в полугруппе      44 253
Программа бинарная      349
Продукция      25 4
Проекция      18
Произведение графов      104
Произведение скалярное      413
Протяженность      103
Прямая сумма      98
Прямое произведение автоматов      336
Прямое произведение графов      104
Прямое произведение множеств      17
Путь      124
Радиус (графа)      102
Радиус протяженности      104
Разбиение      15
Размерность комбинаторной задачи      371—373
Разность множеств      15
Разрешимость формальной теории      244
Ранг вершины максимальный      126
Ранг вершины минимальный      128
Ранг линейного подпространства      413
Ранг системы уравнений      414
Расстояние в графе      101
Расстояние в линейном пространстве      414
Ребро      88
Ребро кратное      89
Рекурсия двойная      191
Рекурсия кратная      191
Рекурсия одновременная      187
Рекурсия примитивная      180
Решетка      47
Решетка разбиений      48
Самодвойственность      64
Самоприменимость      204 212
Связность      101
Семантика      214 240
Семантика формальных языков      292
Сеть из автоматов      334
Сеть из языков      289
Синтаксис      214 240
Система команд      144 156 347
Система подстановок (полусистема Туэ)      260
Система Поста каноническая      254
Система Поста нормальная      258
Система Туэ      251
Система уравнений      414
Система формальная      215 246—249
Слово      17 263
Сложение по модулю      37 53
Событие      314
Событие асинхронное      318
Событие определенное      318
Событие регулярное      317
Соответствие      19
Соответствие взаимно однозначное      19
Соответствие каноническое (для графов)      90
Соответствие сюръективное      19
Соответствие функциональное      19
Степень вершины      96
Стрелка Пирса      53
Суграф      67
Суперпозиция      27 54 179
Сходимость алгоритма      149
Тезис Тьюринга      175
Тезис Черча      194
Теорема Геделя о неполноте вторая      244
Теорема Геделя о неполноте первая      244
Теорема Геделя о полноте исчисления предикатов      243
Теорема детерминизации      321
Теорема Кантора      23
Теорема Кэли      46
Теорема Маркова — Поста      252
Теорема о функциональной полноте      78 79
Теорема Полла — Ангера      307
Теорема Раиса      212
Теорема формальной теории      219
Теорема Холла      124
Теорема Черча      244
Теорема Шеннона — Лупанова      345
Теорема Эйлера      106
Теория формальная      218 238
Терм      228
Упорядочение лексикографическое      38

1 2

О проекте