Горбатов В.А. — Фундаментальные основы дискретной математики. Информационная математика :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Горбатов В.А. — Фундаментальные основы дискретной математики. Информационная математика

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

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

Название: Фундаментальные основы дискретной математики. Информационная математика

Автор: Горбатов В.А.

Аннотация:

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

Язык:

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

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

ed2k: ed2k stats

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

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

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

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

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

Автомат асинхронный      266
Автомат конечный      264
Автомат магазинный      263
Автомат Майхилла      262
Автомат микропрограммный      282 283
Автомат операционный      267
Автомат синхронный      266
Автомат управляющий      267
Алгебра      18
Алгебра булева      33
Алгебра Вебба      132
Алгебра множеств (алгебра Кантора)      21
Алгебра отношений      135
Алгебра Поста      132
Алгебра реляционная      42
Алгебра Россера — Тьюкетта      132
Алгебра схемная      367
Алгоритм      55
Антисиндром      344
Базис булев      108
Базис Вебба      113
Базис дизъюнктивный      113
Базис Жегалкина      113
Базис импликативный      113
Базис коимпликативный      113
Базис конъюнктивный      113
Базис несвязный      347
Базис связный      347
Базис циклов      171
Базис Шеффера      113
Буква      216 259
Буква крайняя второго рода      327
Буква крайняя первого рода      327
Буква обобщенная второго рода      322
Буква обобщенная первого рода      321
Булеан      15
Вершина граничная      379
Вершина покрывающая      331
Вершина разделяющая      312
Вершины соцветные      208
Вес производной от булевой функции      119
Вид      359
Высказывание      94
Гамак      312
Гиперграф      38
Гиперкуб (n-мерный куб)      50
Грамматика бесконтекстная      263
Грамматика контекстная      262
Грамматика контекстно свободная      263
Грамматика контекстно связанная      262
Грамматика линейная      263
Грамматика металинейная      263
Грамматика односторонне линейная      263
Грамматика с конечным числом состояний      258
Грамматика языка      258
Грань верхняя      27
Грань верхняя наименьшая      27
Грань нижняя      27
Грань нижняя наибольшая      27
Граф n-раскрашиваемый      208
Граф n-связный      166
Граф n-хроматический      208
Граф взвешенный      158
Граф гомеоморфный      194 229
Граф двудольный      39
Граф затирания      291
Граф зацепления      287
Граф звездный      208
Граф изоморфный      160
Граф квазиполный      217
Граф квазиполный невключаемый      242
Граф кубируемый      198
Граф линейный      339
Граф незацепленный      286
Граф переходов      272
Граф планарный      194
Граф полный      37
Граф предквазиполный      440
Граф противоречивости столбцевой      456
Граф противоречивости строчный      456
Граф связный      163
Граф связный несильно      168
Граф связный сильно      168
Граф типа $\pi\sigma$       168
Граф частичный      24
Граф, вложимый в булево пространство      198
Граф, приводимый к цунгу      283
Группа      19
Группа подстановок (группа Галуа)      19
Группоид аддитивный      18
Группоид ассоциативный      19
Группоид идемпотентный      19
Группоид коммутативный (абелев)      19
Группоид мультипликативный      18
Декомпозиция автоматов абстрактная      282
Декомпозиция автоматов параллельная      282
Декомпозиция структурная      342
Декомпозиция функции k-значной      467
Декомпозиция функции булевой      100
Дерево      171
Дерево достижимости      379
Диаграмма гомеоморфная      36
Диаграмма Хассе      26
Диаграмма Эйлера      15
Дифференцирование булевой функции      117
Дифференцирование графа      176
Задача достижимости      379
Запуск переходов      374 375
Изоморфизм алгебр      33
Изоморфизм упорядоченных множеств      27
Импликанта простая      52
Импликанта простая многовыходная      419
Интервал булевой функции максимальный      103
Интервал булевой функции многовыходной      419
Интервал булевой функции многовыходной максимальный      419
Интервал множества      51
Исчисление высказываний      127
Исчисление предикатов      142
Исчисление предикатов расширенное      144
Исчисление предикатов узкое      144
Канал информационный      267
Канал управляющий      267
Квазиплотность квазиполного графа      217
Квазиплотность модели      217
Квазиплотность модели квазиполной      217
Квантор всеобщности      142
Квантор существования      142
Класс булевых функций линейных      109
Класс булевых функций монотонных      110
Класс булевых функций самодвойственных      110
Класс булевых функций, сохраняющих константу 0(1)      109
Класс хроматический      209
Класс эквивалентности Коалгебра графов      343
Код дополнительный      64
Код обратный      64
Код прямой      61
Кодирование Айкена — Эмери      72
Кодирование внутренних соседнее      297
Кодирование внутренних состояний      292
Кодирование внутренних частотно-матричное      293
Кодирование Штибитца      70
Кодирование «в остатках»      73
Кольцо      21
Комплект      373
Комплект пустой      373
Конституента      47
Контур      168
Конфигурация комбинаторная      14
Кооперация      343
Мажоранта подмножества      26

Матрица k-клеточная      165
Матрица базисная разрезов (коцикломатическая)      173
Матрица базисная разрезов дипломатическая      170
Матрица инциденций      158
Матрица инциденций вторая      172
Матрица инциденций первая      172
Матрица смежности      159
Матрица смежности базисная      325
Матрица смежности модифицированная      190
Матрица частотная n-мерная      180
Матрица частотная отношений      176
Машина Тьюринга      260
Микролуч      283
Микрооперация      273
Микропрограмма      273
Миноранта подмножества      26
Мограф      58
Модель      39
Модель гомеоморфная      229
Модель изоморфная      229
Модель квазиполная      217
Окрестность вершины      184
Окрестность единичного радиуса элемента (сечение)      23
Операция дизъюнкции      94
Операция дополнения      17
Операция инверсии      343
Операция конъюнкции      94
Операция обратная      343
Операция объединения      17 40 373
Операция объединения пересечения      17 40
Операция произведения декартова расширенного      40
Операция разложения      343
Операция разности      17 40
Операция разности симметрической      46
Операция расщепления второго типа      332
Операция расщепления первого типа      331
Остов      171
Отношение n-арное      36
Отношение n-арное симметричное (S-отношение)      37
Отношение бинарное      22
Отношение бинарное упорядоченности      25
Отношение бинарное упорядоченности строгой      25
Отношение достижимости      375
Отношение достижимости непосредственной      375
Отношение обратное      28
Отношение предпорядка      25
Отношение рефлексивное      23
Отношение симметричное      24
Отношение транзитивное      24
Отношение эквивалентности      28
Паросочетание      184
Паросочетание наибольшее      184
Паросочетание совершенное      184
Перестановка      14
Перестановка модели      217
Подмножество      13
Подмножество нечеткое      75
Подмножество собственное      14
Подмодель      216
Подстановка      19
Покрытие      53
Поле      21
Полугруппа      19
Полусистема Туэ      258
Порядок модели      217
Посет      75
Предикат      142
Проблема алгоритмически неразрешимая      262
Проблема характеризационная      395
Проекция бинарного отношения      42
Произведение декартово      15
Произведение декартово частичное      282
Произведение подстановок      20
Производная k-го порядка      118 178
Производная k-го порядка смешанная      117 178
Производная временная      495
Производная графа      176
Производная графа первого порядка      117
Производная модели      333
Пространство булево      198
Пространство метрическое      83
Путь простой      168
Путь сложный      168
Путь составной      168
Разбиение      29
Разложение столбцевое      100
Разложение строчное      100
Разложение Шеннона      98
Разложение Шеннона в заданной точке      127
Разложение Шеннона в точке 00...0      124
Разложение Шеннона двойственное      99
Разложение Шеннона предельное      98
Размещение      14
Разрез      167
Раскраска вершин      208
Раскраска ребер      209
Расстояние Евклидова (квадратное)      84
Расстояние Евклидова относительное      84
Расстояние Хемминга (линейное)      83 84
Расстояние Хемминга относительное      84
Реберность      210
Решетка      29
Решетка векторная      80
Решетка дедекиндова (модулярная)      32
Решетка дистрибутивная      32
Решетка полная      32
Решетка с дополнениями      33
Риск      496
Род графа      194
Род поверхности      194
Связность реберная      166
Семантика дескриптивная      393
Семантика проективная      393
Семантика рефлексивная      393
Сеть Петри      374
Сеть Петри безопасная      377
Сеть Петри маркированная      374
Сечение      328
Символ      258
Символ нетерминальный      260
Символ терминальный      260
Система алгебраическая      40
Система счисления      56
Система счисления аддитивная      58
Система счисления асимметрическая      58
Система счисления весомозначная      58
Система счисления естественная      58
Система счисления мультипликативная      58
Система счисления непозиционная      58
Система счисления позиционная      58
Система счисления с основанием S      58
Система счисления симметрическая      58
Состояния незацепленные      284
Состояния неустойчивые      297
Состояния псевдоэквивалентные      289
Состояния совместимые      283
Состояния эквивалентные      279
Суперпозиция      108
Таблица истинности      95
Таблица Квайна (импликантная)      53
Тело      21
Терм первичный      96
Тип      359
Трасса      146
Уровень типа A      331
Уровень типа B      331
Уровень типа C      332
Уровень типа D      334
Фактормножество      23
Фигура запрещенная      198

1 2

О проекте