Предметний покажчик icon

Предметний покажчик




Скачати 48.85 Kb.
НазваПредметний покажчик
Дата07.06.2012
Розмір48.85 Kb.
ТипДокументи

ПРЕДМЕТНИЙ ПОКАЖЧИК

А

Алгебра логіки 80-111

? множин 7

Антирефлексивне відношення 25

Антисиметричне відношення 25

Антитранзитивне відношення 26

Асиметричне відношення 25

Асоціативність 11


Б

Бінарні відношення 14

? операції 8

Булеан 6

Булева алгебра 86


В

Відношення 14

? бінарне 15

? еквівалентне 26

? симетричне 25

? рефлексивне 25

? транзитивне 26

Висловлення 52, 56

? просте 52

? складне 52

? еквівалентне 64

Властивості тотожності 11

? доповнення 11


Г

Граф 133-180

? вершини 133

? степінь 135

? грань 170

? діаметр 158

? доповнення 135

? каркас (остов) 137

? радіус 158

? ребра 133

? переріз (розріз) 152

? суміжні вершини 133

? ребра 133

? точка зчленування 152

? центр 157

? ейлерів 161

? гамільтонів 166

? дуги 134

? скінченний 134

? неорієнтований 134

? орієнтований 134

? плоский 170

? повний 135

? порожній 134

? зв’язний 151

? ланцюг 150





Д

Двоїстість 93-95

Декартів добуток 14

Дерево 174

? висота 177

? корінь 176

? листя 176

? нащадок вершини 178

? ребра 175

? рівень вершини 177

? кореневе 177

? неорієнтоване 174

? орієнтоване 175

Діаграми Венна 10

Диз’юнктивна нормальна форма

(ДНФ) 91

Диз’юнкція 55

Додавання за модулем два 53

Доповнення множини 8, 34


Е

Еквіваленції 66

Елементарна диз’юнкція 92

? кон’юнкція 91

Еквівалентні перетворення 90-93

Елементи множини 4


З

Задання булевої функції 87

? ? ? таблицею істинності 55

Задання множин 4-5

? ? визначено властивістю 4

? ? переліченням елементів 4

? ? рекурсивне 4

Задача комівояжера 169

Закони алгебри множин 10, 11

? логіки Буля 84

Змінна фіктивна 81

Значення істинності висловлення 52

Зроблена диз’юктивна нормальна форма (ЗДНФ) 87

? кон’юктивна ? ? (ЗКНФ) 88


І

Ідемпотентність 10

Ізоморфізм графів 138

Імплікація 66

Інверсія 82

Інцидентність ребер і вершин

графа 133

Істиннісне значення висловлення 52


К


Квантор загальності 114

? існування 144

Комбінаторика 181

Композиція відношень 34

Комутаційні схеми 104-108

Кон’юктивна нормальна

форма (КНФ) 92

Кон’юнкція 55

Кортеж 183




Л


Ланцюг простий 150

Ліс 175

Логіка висловлень 52-79

? предикатів 111-132

Логічний наслідок 69


М


Маршрут 150

? довжина 150

? замкнений (циклічний) 151

? неорієнтований 151

? орієнтований 153

Матриця інцидентності 141

? бінарних відношень 16

? відстаней 159

? суміжності 142

Множина 4-13

? зчисленна (скінченна) 5

? континуальна (нескінченна) 5

? порожня 5

^ Н

Набір булевий 80

Нескоротна система

булевих функцій 82


О

Область значень відношення 14

? визначення відношення 15

Обернена імплікація 66

Обернене відношення 34

(ПНФ) 129

Принцип двоїстості 93

Псевдограф 134


^ Р

Різниця множин 8

Розміщення 182

Рефлексивне замикання 36


С

Символічна логіка 52-53

Символ предметних змінних 111

? індивідуальний 111

? предикатний 111

? функціональний 111

Симетрична різниця 8

Список бінарних відношень 16

Сполучення 183

Стрілка Пірса 82

Суперпозиція булевої функції 83


Т

Таблиця істинності 55

Тавтології 65

Теорема Ейлера 162

? Куратовського 173

? про диз’юнктивне, кон’юнктивне розкладання булевої функції 87

? Черча 124

Тотожне відношення 26

Обчислення висловлень 70-73

? предикатів 118

Об’єднання множин 7, 33

Операції над бінарними

відношеннями 33-39

Орграф 134


П

Парадокс логічний 58

Перестановки 181

Перетинання множин 8, 33

Петля 134

Підграф 137

Підмножина 5

Правила побудови матриць

відношень 39-42

Порядок предиката 111

Правило введення квантора

загальності 114

? ? ? існування 114

? перейменування вільних змінних 118

? ? зв’язаних змінних 118

Похідна від булевої функції 101-103

Правила висновку 70-73

Правильне міркування 69

Предикат 111

Предметна область 111

Предметні константи 113

? змінні 111

Префіксна нормальна форма


Тотожно істинна формула

(тавтологія) 123

? хибна формула (суперечлива, нездійсненна) 124

Транзитивне змикання 35


У

Унарні операції 8

Упорядкована пара 14


Ф

Функціонально повні системи 96-100

Функція 46-51

? ін’єктивна 47

? взаємооднозначна 47

? двоїста 93

? істинностна 62

? логічна 80

? обернена 48

? самодвоїста 94

? що зберігає 0 80

? що зберігає 1 80


Ц

Цикл гамільтонів 166

? простий 154

? ейлерів 161


Ш

Шлях гамільтонів 166

? простий 150

Штрих Шиффера 82







Схожі:

Предметний покажчик iconЗміст С. Передмова Як користуватися словником-довідником Словник Додаток а (довідковий) Додаток б (довідковий) Список літератури Предметний покажчик Передмова
Землі – земна кора. У процесі диференціації та інтеграції геології в кінці XIX – на початку XX ст виникла геоморфологія – наука про...
Предметний покажчик iconЗміст С. Передмова Як користуватися словником-довідником Словник Додаток а (довідковий) Додаток б (довідковий) Список літератури Предметний покажчик Передмова
Землі – земна кора. У процесі диференціації та інтеграції геології в кінці XIX – на початку XX ст виникла геоморфологія – наука про...
Предметний покажчик iconБібліографічний покажчик
Ф 59 Фінансові ризики (2005 – 2010 рр.): бібліогр покажчик / Харк нац акад міського госп-ва; уклад.: Н. Б. Давидова, О. Ф. Сергієнко....
Предметний покажчик iconІнформація про хід реєстрації на зовнішнє незалежне оцінювання станом на 14 лютого 201 4 року (предметний розподіл) Район/місто Українська мова і л-ра

Предметний покажчик iconБібліографічний покажчик
Г 73 Готельний бізнес: стратегія розвитку (2000 – 2009 рр.) [Текст] : бібліогр покажчик / Харк нац акад міського госп-ва; уклад.:...
Предметний покажчик iconІнформаційний покажчик статей Вип. 27
Доннму у липні 2012 року. Покажчик розрахований на фахівців у галузі бібліотекознавства І бібліографії, студентів вищих та середніх...
Предметний покажчик iconІнформаційний покажчик статей Вип. 29
Доннму у жовтні-листопаді 2012 року. Покажчик розрахований на фахівців у галузі бібліотекознавства І бібліографії, студентів вищих...
Предметний покажчик iconУкраїнськамов а рекомендційний бібліографічний покажчик для слухачей народного університета «Юний медик» Донеьцк, 2005
...
Предметний покажчик iconІнформаційний покажчик статей Вип. 28 Донецьк 2012
Доннму у серпні-вересні 2012 року. Покажчик розрахований на фахівців у галузі бібліотекознавства І бібліографії, студентів вищих...
Предметний покажчик iconБібліографічний покажчик
Ландшафтна архітектура та дизайн : бібліографічний покажчик / упорядники : Боровенська К. О., Українцева О. А.; Наукова бібліотека...
Додайте кнопку на своєму сайті:
Документи


База даних захищена авторським правом ©zavantag.com 2000-2013
При копіюванні матеріалу обов'язкове зазначення активного посилання відкритою для індексації.
звернутися до адміністрації
Документи