Мельников Ю.Б. — Элементы дискретной математики: Конспект лекций :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Мельников Ю.Б. — Элементы дискретной математики: Конспект лекций

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

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

Название: Элементы дискретной математики: Конспект лекций

Автор: Мельников Ю.Б.

Аннотация:

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

Язык:

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

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

ed2k: ed2k stats

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

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

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

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

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

$(\Phi)_\Omega^\Psi$       117
$(\sigma, j)\models p$       134
      142
      142
      152
$K_{n,m}$       152
      90
$\&$       12
$\alpha-1$       47
$\beta+1$       47
$\bigvee$       12
$\diamond$       129
$\leftrightarrow$       13 116
$\longmapsto \bullet$       156
$\longmapsto$       156
$\Phi \equiv \Psi$       123
$\rightarrow$       12
$\sigma_1 * \sigma_2$       134
-      12
char      89
NX      88
RS-системы      131
TL-логика      131
V(G)      142
x * H      84
Аварийное завершение работы      159
Аксиомы ИП $^\Sigma$       127
Актуальная бесконечность      46
Алгебраическая система      56
Алгебраическая система сигнатуры $\sigma$       56
Алгебраический элемент поля      91
Алфавит      154
Алфавит внешний      158
Алфавит внутренний      158
Алфавит ИП $^\Sigma$       125
Алфавит исчисления      109
Алфавит исчисления высказываний      116
Алфавитное кодирование      103
Антисимметричное бинарное отношение      37
Атом булевой алгебры      74
Атомарная формула      116
База трансфинитной индукции      50
Бинарное отношение      34
Блочные коды      103
Булева алгебра      70
Булева функция      10
Валентность вершины      143
Валентность регулярного графа      148
Вершина графа      35 142
Висячая вершина      143
Внутренние состояния машины Тьюринга      157
Вхождение слова      115
Высказывание      29 35 111
Выходное слово      155 159
Вычисление в программе P      131
Головка машины Тьюринга      157
Гомеоморфные графы      152
Гомоморфизм      60
Граф      142
Граф без кратных ребер      143
Граф двудольный      145
Граф полный      152
Граф полный двудольный      152
Группа      82
Группа аддитивная поля действительных чисел      83
Группа аддитивная поля рациональных чисел      83
Группа мультипликативная поля действительных чисел      83
Группа мультипликативная поля рациональных чисел      83
Групповой код      104
Декартова степень множества      9
Декартово произведение множеств      8
Дерево секвенций      119
Дизъюнктивная нормальная форма      21
Дизъюнкция      12
Дизъюнкция предикатов      32 33
Длина маршрута      144
Длина слова      154
ДНФ      21
Доказуемая в ИВ секвенция      119
Доказуемая в ИВ формула      119
Доли двудольного графа      145
Дополнение к отношению      32
Дополнительный граф      145
Достижимая вершина      144
Дуга графа      35 142
Заключение правила вывода      110
Заключительное состояние машины Тьюринга      158
Законы двойственности      14
Законы де-Моргана      14 71
Ив      115
Идеал кольца      99
Изолированная вершина      143
Изоморфизм      59
Изоморфные графы      144
Импликация      12
Индекс подгруппы      85
Индуцирований предикат      64
Индуцированная операция      64
Интерпретация сигнатуры      57
Информационные переменные      133
Инцидентность      143
ИП $^\Sigma$       125
Истинная в исчислении I формула      114
Истинная формула      119
Исчисление      109
Кардинал      48
Кардинальное число      48
Кардинальное число множества      51
Классы эквивалентных элементов      38
КНФ      21
Кодовое слово      103
Кольцо      96
Кольцо без делителей нуля      96
Кольцо с единицей      96
Кольцо целостности      96
Конгруенция      62
Конец дуги      143
Конец маршрута      144
Конец ребра      143
Конец слова      116
Конечная алгебраическая система      58
Конечная универсальная алгебра      58
Конечное поле      89
Конечное расширение поля      91
Конечный префикс последовательности состояний      134
Конкатенация      115 154
Континуум      44
Концевая вершина      143
Концевое ребро      143
Конъюнктивная нормальная форма      21
Конъюнкция      12
Конъюнкция предикатов      32
Кратность ребра      142
Критерий алгебраичности элемента      91
Критерий атома      75
Критерий двудольности графа      145
Критерий единичного элемента      83
Критерий изоморфизма      61
Критерий изоморфности неориентированных графов      147
Критерий конечности расширения поля      93
Критерий обратного элемента      71
Критерий ординала      49
Критерий отношения эквивалентности      38
Критерий подгруппы      84
Критерий Понтрягина — Куратовского      152
Критерий связности графа      145
Левый смежный класс по подгруппе      85
Лемма о действии T на сумму      24
Лемма о делимости на порядок элемента      85
Лемма о конгруенции кольца частных      97

Лемма о конгруенции, порожденной гомоморфизмом      66
Лемма о коэффициентах полинома Жегалкина      25
Лемма о начале формулы ИВ      117
Лемма о попарной эквивалентности элементов из C(x)      39
Лемма о порождении C(x)      39
Лемма о степени, равной характеристике поля      107
Лемма о фактор-системе      65
Лемма об изолированности C(x)      40
Лемма об инволютивности T      25
Лента машины Тьюринга      157
Линейное доказательство      119
Логика ветвящегося времени      133
Логика линейного времени      132
Логически эквивалентные высказывания      35
Логические связки      116
Логические символы      116
Маршрут      144
Материальная импликация      130
Матрица инцидентности      150
Матрица Кирхгофа      149
Матрица смежности      146
Матричный код      104
Машина Тьюринга      157 158
Минимальный многочлен      105
Множества равномощные      43
Множество аксиом исчисления      109
Множество выражений исчисления      109
Множество доказуемых выражений      110
Множество континуальное      44
Множество теорем исчисления      110
Модель      58
Монотонная элементарная конъюнкция      22
Мощности множеств равны      43
Мощность      42
Мощность множества      51
Мультиграф      143
Набор      142
Начало дуги      143
Начало маршрута      144
Начало слова      116
Начальное состояние машины Тьюринга      158
Необходимая импликация      130
Неориентированное ребро графа      142
Неориентированный граф      143
Непредельный ординал      47
Непротиворечивая теория      125
Несравнимые элементы      41
Нечеткое подмножество      138
Нормальная остановка      155
Нормальное прекращение работы машины Тьюринга      159
Нормальный алгорифм Маркова      154 155
Носитель алгебраической системы      56 57
Носитель алгебры      57
Носитель модели      124
Носитель реляционной системы      58
Носитель частичной системы      57
О 1 конечной булевой алгебры      75
О поглощении атома дополнением      75
О произведении атомов      75
Область допустимых значений функции      42
Область интерпретации      124
Область определения функции      42
Область целостности      96
Обобщенная теорема Геделя о полноте      115
Обратный элемент      82
Объединение отношений      32
Однородный граф      148
Онтология      130
Орграф      143
Ординал      49
Ординал непредельный      47
Ординал предельный      47
Ориентация      151
Ориентированное ребро графа      142
Ориентированный граф      143
Основа тавтологии      128
Основные правила ИВ      119
Остовной подграф      143
Отношение      30
Отношение линейного порядка      41
Отношение полного порядка      41 48
Отношение пустое      34
Отношение универсальное n-местное      34
Отношение частичного порядка      41
Отношение эквивалентности      38
Отрицание      12
Пересечение отношений      32
Петля      35 142
Подграф      143
Подгруппа      84
Подгруппа, порожденная элементами      84
Подмножество сильной справедливости      132
Подмножество слабой справедливости      132
Подразбиение ребра      151
Подслово      115 155
Подформула исчисления высказываний      117
Позиционное высказывание      133
Поле      87
Поле Галуа      89
Поле действительных чисел      87
Поле рациональных чисел      87
Поле частных целостного кольца      98
Полиномиальный код      104
Полная система булевых функций      19
Полный порядок для ординалов      47
Помеченный граф      146
Порядок конечной алгебраической системы      58
Порядок элемента группы      84
Посылка правила вывода      110
Потенциальная бесконечность      46
Правила вывода      109
Правила вывода в ИП $^\Sigma$       128
Правило modus ponens      118 122
Правило лишней посылки      118
Правило отделения      118 122
Предельный ординал      47
Предикат      29
Предикат, истинный для программы P      132
Предикат-высказывание      29
Предикат-функция      30
Предложение      115 128
Предметная переменная      124
Приведенная матрица смежности      149
Примитивный элемент поля Галуа      105
Присоединение элементов к полю      90
Пропозициональная переменная      124
Пропозициональные переменные      116
Простая цепь      144
Простое поле      91
Простое расширение поля      90
Простой цикл      144
Противоречивая теория      125
Противоречивость      115
Псевдограф      143
Пустое отношение      34
Пустое слово      154
Равенство мощностей множеств      43
Разность отношений      33
Расстояние между вершинами      144
Расширение поля      90
Расширение поля бесконечной степени      91
Рациональное число      87
Реагирующие системы      131
Ребро      143
Ребро графа      142
Регулярный граф      148
Реляционная система      58
Рефлексивное бинарное отношение      36
Свойство программы P      132 133
Связные компоненты      144

1 2

О проекте