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

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

Авторизация

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

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

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

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

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

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

Аннотация:

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

Язык:

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

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

ed2k: ed2k stats

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

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

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

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

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

Связный граф      144
Секвенция      109
Сигнатура      56
Сигнатура алгебраической системы      56 57
Сигнатура алгебры      57
Сигнатура реляционной системы      58
Сильная справедливость      132
Сильный гомоморфизм      61
Симметричное бинарное отношение      37
Система алгебраическая      56
Слабая справедливость      132
Следствие о вхождении подформул ИВ      117
Следствие о дополнении к 0 и 1      71
Следствие о порядке конечного поля      94
Следствие о порядке подгруппы      85
Следствие о порядке простого конечного поля      93
Следствие о порядке элемента группы      85
Слово в алфавите      103 115 154
Слово на ленте      158
Слово, не поддающееся алгорифму      155
Собственное подполе      90
Соглашение об ординалах и кардиналах      51
Соединение слов      115
Сокращенная таблица истинности      11 21
Степень вершины      143
Степень расширения поля      91
Строгая импликация      130
Структурные правила ИВ      119
Схема секвенций      117
Схема формул      117
Таблицы истинности      11 13
Тавтология      128
Темпоральная логика      131
Темпоральная формула      133
Теорема Геделя о полноте      115
Теорема Жегалкина      23
Теорема исчисления      110
Теорема Кантора — Бернштейна      51
Теорема Кенига      145
Теорема компактности      115
Теорема критерий подгруппы      84
Теорема Лагранжа      85
Теорема Линденбаума      115
Теорема о гомоморфизмах полей      100
Теорема о двойственной булевой алгебре      73
Теорема о делителях нуля в поле      88
Теорема о классификации конечных булевых алгебр      76
Теорема о количестве маршрутов между вершинами      146
Теорема о количестве элементов в конечной булевой алгебре      76
Теорема о конгруенциях колец      99
Теорема о конечном поле и кольце многочленов      100
Теорема о корнях полинома регулярного графа      148
Теорема о многочлене с минимальным расстоянием      105
Теорема о мощности множества подмножеств      44
Теорема о надполе, как линейном пространстве      91
Теорема о наименьшем ординале      50
Теорема о поле частных      98
Теорема о полных системах булевых функций      19
Теорема о простоте ненулевой характеристики поля      89
Теорема о противоречивости наивной теории множеств      54
Теорема о связи матрицы Кирхгофа с матрицей инцидентности      151
Теорема о связности дополнительного графа      145

Теорема о степени многочлена для конечного расширения      94
Теорема о степенях      93
Теорема о сумме элементов строки матрицы Кирхгофа      149
Теорема о трансфинитной индукции      50
Теорема о характеристике поля      89
Теорема о цикличности мультипликативной группы поля Галуа      90
Теорема о частичном порядке на булевой алгебре      74
Теорема об алгебраических дополнениях к матрице Кирхгофа      149
Теорема об идеалах кольца многочленов      100
Теорема об инволютивности -      71
Теорема об инцидентности вхождений формул ИВ      117
Теорема об обратном к произведению      84
Теорема об однозначности -      71
Теорема об однозначности обратного элемента      83
Теорема об однозначности разложения формулы ИВ      117
Теорема об описании гомоморфных образов      65
Теорема об отношении полного порядка      41
Теорема об умножении на нуль в поле      88
Теорема об элементах конечной булевой алгебры      76
Теорема об элементах ординала      49
Теорема-критерий ординала      49
Теоретико-множественная интерпретация набора      142
Теория      110
Теория первого порядка      126
Терм сигнатуры $\sigma$       125
Транзитивное бинарное отношение      37
Транзитивное множество      48
Трансцендентный элемент поля      91
Тупиковое слово      159
Узкое исчисление предикатов      124
УИП      124 126
Универсальная алгебра      57
Универсальное n-местное отношение      34
Управляющие переменные      133
Утончение      118
Фактор-кольцо      100
Фактор-система      64
Формула      109
Формула в УИП      126
Формула истинная      124
Формула на состоянии      133
Формула узкого исчисления предикатов      127
Формула УИП      127
Формула Эйлера для графов      152
Формула, истинная в исчислении I      114
Формула, истинная на последовательности      124
Формулы ИП $^\Sigma$       127
Функция булева      10
Функция принадлежности      138
Характеристика поля      89
Характеристический полином графа      148
Целостное кольцо      96
Цепь      144
Цикл      144
Частичная система      57
Число рациональное      87
Шаг трансфинитной индукции      50
Эквивалентные формулы      123
Эквиваленция      13
Элемент бесконечного порядка      84
Элементарные булевы функции      12 13
Язык исчисления      110
Ячейки машины Тьюринга      157

1 2

О проекте