МАРК-запис
| 000 -Маркер запису |
|---|
| Маркер (контрольне поле довжиною 24 байти) |
17024nam2 2200445 4500 |
| 001 - Ідентифікатор запису |
|---|
| Номер ідентифікації примітки |
4210 |
| 010 ## - ISBN |
|---|
| ISBN |
978-617-574-266-2 |
| Уточнення |
Мангнолія 2006 |
| 010 ## - ISBN |
|---|
| ISBN |
978-617-10-0782-6 |
| Уточнення |
ЛНУ Івана Франка |
| 100 ## - Дані загальної обробки |
|---|
| Дані загальної обробки |
20240115d2023 k||y0ukry50 ca |
| 101 0# - Мова |
|---|
| Мова тексту, звукової доріжки тощо |
українська |
| 102 ## - Країна публікації/виробництва |
|---|
| Країна публікації |
УКРАЇНА |
| 200 ## - Назва |
|---|
| Основна назва |
Дискретна математика |
| Підзаголовок |
підручник |
| Перші відомості про відповідальність |
Ю. В. Нікольський, В. В. Пасічник, Ю. М. Щербина |
| 205 ## - Відомості про видання |
|---|
| Відомості про видання |
7-е вид. випр. та допов. |
| 210 ## - Місце та час видання |
|---|
| Місце публікування, друку, розповсюдження |
Львів |
| Назва видавництва, ім’я видавця, розповсюджувача, тощо |
Магнолія 2006 |
| -- |
ЛНУ ім. Івіна Франка |
| Дата публікації, розповсюдження, тощо |
©2023 |
| 215 ## - Фізичний опис |
|---|
| Специфічне визначення матеріалу та обсяг документа |
432 с. |
| Інші уточнення фізичних характеристик |
іл. |
| 225 ## - Серія |
|---|
| Назва серії |
Комп`ютинг |
| 320 ## - Примітки |
|---|
| Текст примітки |
Бібліогр.: 430-431 с. |
| 327 #1 - Примітки |
|---|
| Назва розділу: рівень 1 |
ПЕРЕДМОВА НАУКОВОГО РЕДАКТОРА СЕРІЇ ПІДРУЧНИКІВ ТА НАВЧАЛЬНИХ ПОСІБНИКІВ «КОМП’ЮТИНҐ» |
| Діапазон сторінок або номер першої сторінки розділу |
9 |
| 327 #1 - Примітки |
|---|
| Назва розділу: рівень 1 |
ВСТУПНЕ СЛОВО АВТОРІВ |
| Діапазон сторінок або номер першої сторінки розділу |
14 |
| 327 #1 - Примітки |
|---|
| Назва розділу: рівень 1 |
РОЗДІЛ 1. ОСНОВИ: ЛОГІКА І МЕТОДИ ДОВЕДЕННЯ, МНОЖИНИ, ФУНКЦІЇ |
| Діапазон сторінок або номер першої сторінки розділу |
16 |
| Назва розділу: рівень 2 |
1.1. Логіка висловлювань |
| Діапазон сторінок або номер першої сторінки розділу |
17 |
| Назва розділу: рівень 2 |
1.2. Закони логіки висловлювань |
| Діапазон сторінок або номер першої сторінки розділу |
22 |
| Назва розділу: рівень 2 |
1.3. Нормальні форми логіки висловлювань |
| Діапазон сторінок або номер першої сторінки розділу |
24 |
| Назва розділу: рівень 2 |
1.4. Логіка першого порядку |
| Діапазон сторінок або номер першої сторінки розділу |
25 |
| Назва розділу: рівень 2 |
1.5. Закони логіки першого порядку |
| Діапазон сторінок або номер першої сторінки розділу |
30 |
| Назва розділу: рівень 2 |
1.6. Випереджена нормальна форма. Алгоритм зведення довільної формули логіки першого порядку до випередженої нормальної форми |
| Діапазон сторінок або номер першої сторінки розділу |
32 |
| Назва розділу: рівень 2 |
1.7. Логічне виведення в логіці висловлювань |
| Діапазон сторінок або номер першої сторінки розділу |
33 |
| Назва розділу: рівень 2 |
1.8. Застосування правил виведення в логіці висловлювань |
| Діапазон сторінок або номер першої сторінки розділу |
35 |
| Назва розділу: рівень 2 |
1.9. Метод резолюцій |
| Діапазон сторінок або номер першої сторінки розділу |
37 |
| Назва розділу: рівень 3 |
Алгоритм методу резолюцій |
| Діапазон сторінок або номер першої сторінки розділу |
38 |
| Назва розділу: рівень 2 |
1.10. Правила виведення у численні предикатів |
| Діапазон сторінок або номер першої сторінки розділу |
40 |
| Назва розділу: рівень 2 |
1.11. Методи доведення теорем |
| Діапазон сторінок або номер першої сторінки розділу |
41 |
| Назва розділу: рівень 3 |
1.11.1. Пряме доведення |
| Діапазон сторінок або номер першої сторінки розділу |
41 |
| Назва розділу: рівень 3 |
1.11.2. Доведення від протилежного |
| Діапазон сторінок або номер першої сторінки розділу |
41 |
| Назва розділу: рівень 3 |
1.11.3. Доведення аналізом випадків |
| Діапазон сторінок або номер першої сторінки розділу |
42 |
| Назва розділу: рівень 3 |
1.11.4. Доведення еквівалентності |
| Діапазон сторінок або номер першої сторінки розділу |
42 |
| Назва розділу: рівень 3 |
1.11.5. Теореми існування |
| Діапазон сторінок або номер першої сторінки розділу |
42 |
| Назва розділу: рівень 3 |
1.11.6. Математична індукція |
| Діапазон сторінок або номер першої сторінки розділу |
42 |
| Назва розділу: рівень 2 |
1.12. Множина. Кортеж. Декартів добуток |
| Діапазон сторінок або номер першої сторінки розділу |
43 |
| Назва розділу: рівень 2 |
1.13. Операції над множинами. Доведення рівностей з множинами |
| Діапазон сторінок або номер першої сторінки розділу |
45 |
| Назва розділу: рівень 2 |
1.14. Комп’ютерне подання множин |
| Діапазон сторінок або номер першої сторінки розділу |
47 |
| Назва розділу: рівень 2 |
1.15. Функції |
| Діапазон сторінок або номер першої сторінки розділу |
48 |
| Назва розділу: рівень 2 |
1.16. Зростання функцій. Оцінки складності алгоритмів |
| Діапазон сторінок або номер першої сторінки розділу |
52 |
| Назва розділу: рівень 2 |
Резюме |
| Діапазон сторінок або номер першої сторінки розділу |
55 |
| Назва розділу: рівень 2 |
Задачі для самостійного розв’язування |
| Діапазон сторінок або номер першої сторінки розділу |
57 |
| Назва розділу: рівень 2 |
Комп’ютерні проекти |
| Діапазон сторінок або номер першої сторінки розділу |
67 |
| 327 #1 - Примітки |
|---|
| Назва розділу: рівень 1 |
РОЗДІЛ 2. КОМБІНАТОРНИЙ АНАЛІЗ |
| Діапазон сторінок або номер першої сторінки розділу |
68 |
| Назва розділу: рівень 2 |
2.1. Основні правила комбінаторного аналізу. Розміщення та сполучення |
| Діапазон сторінок або номер першої сторінки розділу |
68 |
| Назва розділу: рівень 2 |
2.2. Обчислення кількості розміщень і сполучень |
| Діапазон сторінок або номер першої сторінки розділу |
70 |
| Назва розділу: рівень 2 |
2.3. Перестановки |
| Діапазон сторінок або номер першої сторінки розділу |
71 |
| Назва розділу: рівень 2 |
2.4. Біном Ньютона |
| Діапазон сторінок або номер першої сторінки розділу |
72 |
| Назва розділу: рівень 2 |
2.5. Поліноміальна теорема |
| Діапазон сторінок або номер першої сторінки розділу |
74 |
| Назва розділу: рівень 2 |
2.6. Задача про цілочислові розв’язки |
| Діапазон сторінок або номер першої сторінки розділу |
75 |
| Назва розділу: рівень 2 |
2.7. Числа Стірлінга другого роду та числа Белла |
| Діапазон сторінок або номер першої сторінки розділу |
76 |
| Назва розділу: рівень 2 |
2.8. Генерування перестановок |
| Діапазон сторінок або номер першої сторінки розділу |
77 |
| Назва розділу: рівень 3 |
Алгоритм побудови лексикографічно наступної перестановки за перестановкою а1 а2... аn |
| Діапазон сторінок або номер першої сторінки розділу |
78 |
| Назва розділу: рівень 3 |
Обґрунтування алгоритму |
| Діапазон сторінок або номер першої сторінки розділу |
78 |
| Назва розділу: рівень 2 |
2.9. Генерування сполучень |
| Діапазон сторінок або номер першої сторінки розділу |
78 |
| Назва розділу: рівень 3 |
Алгоритм побудови лексикографічно наступного сполучення |
| Діапазон сторінок або номер першої сторінки розділу |
79 |
| Назва розділу: рівень 3 |
Обґрунтування алгоритму |
| Діапазон сторінок або номер першої сторінки розділу |
79 |
| Назва розділу: рівень 2 |
2.10. Генерування розбиттів множини |
| Діапазон сторінок або номер першої сторінки розділу |
80 |
| Назва розділу: рівень 2 |
2.11. Рекурентні рівняння |
| Діапазон сторінок або номер першої сторінки розділу |
81 |
| Назва розділу: рівень 2 |
2.12. Розв’язування рекурентних рівнянь |
| Діапазон сторінок або номер першої сторінки розділу |
82 |
| Назва розділу: рівень 2 |
2.13. Принцип коробок Діріхле |
| Діапазон сторінок або номер першої сторінки розділу |
86 |
| Назва розділу: рівень 2 |
2.14. Принцип включення - виключення |
| Діапазон сторінок або номер першої сторінки розділу |
87 |
| Назва розділу: рівень 2 |
2.15. Принцип включення - виключення в альтернативній формі |
| Діапазон сторінок або номер першої сторінки розділу |
88 |
| Назва розділу: рівень 2 |
2.16. Продуктивні функції |
| Діапазон сторінок або номер першої сторінки розділу |
89 |
| Назва розділу: рівень 3 |
2.16.1. Степеневі ряди та їхні властивості |
| Діапазон сторінок або номер першої сторінки розділу |
89 |
| Назва розділу: рівень 3 |
2.16.2. Поняття продуктивної функції |
| Діапазон сторінок або номер першої сторінки розділу |
91 |
| Назва розділу: рівень 3 |
2.16.3. Продуктивні функції для сполучень |
| Діапазон сторінок або номер першої сторінки розділу |
91 |
| Назва розділу: рівень 3 |
2.16.4. Продуктивні функції для розміщень |
| Діапазон сторінок або номер першої сторінки розділу |
95 |
| Назва розділу: рівень 3 |
2.16.5.Застосування продуктивних функцій до розв’язування рекурентних рівнянь |
| Діапазон сторінок або номер першої сторінки розділу |
97 |
| Назва розділу: рівень 2 |
Резюме |
| Діапазон сторінок або номер першої сторінки розділу |
99 |
| Назва розділу: рівень 2 |
Задачі для самостійного розв’язування |
| Діапазон сторінок або номер першої сторінки розділу |
101 |
| Назва розділу: рівень 2 |
Комп’ютерні проекти |
| Діапазон сторінок або номер першої сторінки розділу |
106 |
| 327 #1 - Примітки |
|---|
| Назва розділу: рівень 1 |
РОЗДІЛ 3. ТЕОРІЯ ГРАФІВ |
| Діапазон сторінок або номер першої сторінки розділу |
107 |
| Назва розділу: рівень 2 |
3.1. Основні означення та властивості |
| Діапазон сторінок або номер першої сторінки розділу |
107 |
| Назва розділу: рівень 2 |
3.2. Деякі спеціальні класи простих графів |
| Діапазон сторінок або номер першої сторінки розділу |
112 |
| Назва розділу: рівень 2 |
3.3. Способи подання графів |
| Діапазон сторінок або номер першої сторінки розділу |
114 |
| Назва розділу: рівень 3 |
3.3.1. Матриця інцидентності |
| Діапазон сторінок або номер першої сторінки розділу |
114 |
| Назва розділу: рівень 3 |
3.3.2. Матриця суміжності |
| Діапазон сторінок або номер першої сторінки розділу |
115 |
| Назва розділу: рівень 3 |
3.3.3. Подання графа списком пар (списком ребер) |
| Діапазон сторінок або номер першої сторінки розділу |
116 |
| Назва розділу: рівень 3 |
3.3.4. Подання графа списками суміжності |
| Діапазон сторінок або номер першої сторінки розділу |
117 |
| Назва розділу: рівень 2 |
3.4. Шляхи та цикли. Зв’язність |
| Діапазон сторінок або номер першої сторінки розділу |
118 |
| Назва розділу: рівень 3 |
3.4.1. Головні означення та результати. Термінологія |
| Діапазон сторінок або номер першої сторінки розділу |
118 |
| Назва розділу: рівень 3 |
3.4.2. Характеристики зв’язності простого графа |
| Діапазон сторінок або номер першої сторінки розділу |
121 |
| Назва розділу: рівень 3 |
3.4.3. Критерій двочастковості графа |
| Діапазон сторінок або номер першої сторінки розділу |
123 |
| Назва розділу: рівень 2 |
3.5. Ізоморфізм графів |
| Діапазон сторінок або номер першої сторінки розділу |
124 |
| Назва розділу: рівень 2 |
3.6. Ейлерів цикл у графі |
| Діапазон сторінок або номер першої сторінки розділу |
127 |
| Назва розділу: рівень 3 |
Алгоритм Флері побудови ейлерового циклу |
| Діапазон сторінок або номер першої сторінки розділу |
129 |
| Назва розділу: рівень 2 |
3.7. Гамільтонів цикл у графі |
| Діапазон сторінок або номер першої сторінки розділу |
130 |
| Назва розділу: рівень 2 |
3.8. Зважені графи та алгоритми пошуку найкоротших шляхів |
| Діапазон сторінок або номер першої сторінки розділу |
132 |
| Назва розділу: рівень 3 |
3.8.1. Формулювання задач про найкоротші шляхи в графі. Алгоритм Дейкстри |
| Діапазон сторінок або номер першої сторінки розділу |
132 |
| Назва розділу: рівень 4 |
Опис Алгоритму Дейкстри |
| Діапазон сторінок або номер першої сторінки розділу |
134 |
| Назва розділу: рівень 4 |
Обґрунтування алгоритму Дейкстри |
| Діапазон сторінок або номер першої сторінки розділу |
134 |
| Назва розділу: рівень 3 |
3.8.2. Алгоритм Флойда |
| Діапазон сторінок або номер першої сторінки розділу |
136 |
| Назва розділу: рівень 4 |
Опис Алгоритму Флойда |
| Діапазон сторінок або номер першої сторінки розділу |
137 |
| Назва розділу: рівень 3 |
3.8.3. Порівняння алгоритмів Флойда та Дейкстри |
| Діапазон сторінок або номер першої сторінки розділу |
140 |
| Назва розділу: рівень 2 |
3.9. Обхід графів |
| Діапазон сторінок або номер першої сторінки розділу |
140 |
| Назва розділу: рівень 3 |
3.9.1. Пошук углиб у простому зв’язному графі |
| Діапазон сторінок або номер першої сторінки розділу |
140 |
| Назва розділу: рівень 4 |
Алгоритм пошуку вглиб у простому зв’язному графі |
| Діапазон сторінок або номер першої сторінки розділу |
140 |
| Назва розділу: рівень 3 |
3.9.2. Пошук ушир у простому зв’язному графі |
| Діапазон сторінок або номер першої сторінки розділу |
142 |
| Назва розділу: рівень 4 |
Алгоритм пошуку вшир у простому зв’язному графі |
| Діапазон сторінок або номер першої сторінки розділу |
142 |
| Назва розділу: рівень 2 |
3.10. Планарні графи |
| Діапазон сторінок або номер першої сторінки розділу |
144 |
| Назва розділу: рівень 2 |
3.11. Розфарбування графів |
| Діапазон сторінок або номер першої сторінки розділу |
146 |
| Назва розділу: рівень 3 |
3.11.1. Хроматичне число |
| Діапазон сторінок або номер першої сторінки розділу |
146 |
| Назва розділу: рівень 3 |
3.11.2. Хроматичні поліноми |
| Діапазон сторінок або номер першої сторінки розділу |
148 |
| Назва розділу: рівень 3 |
3.11.3. Практичні задачі, які зводяться до розфарбування графів |
| Діапазон сторінок або номер першої сторінки розділу |
149 |
| Назва розділу: рівень 2 |
3.12. Незалежні множини вершин. Кліки |
| Діапазон сторінок або номер першої сторінки розділу |
150 |
| Назва розділу: рівень 2 |
3.13. Паросполучення в графах. Теорема Голла |
| Діапазон сторінок або номер першої сторінки розділу |
152 |
| Назва розділу: рівень 2 |
3.14. Найбільше паросполучення в двочасткових графах |
| Діапазон сторінок або номер першої сторінки розділу |
154 |
| Назва розділу: рівень 2 |
Резюме |
| Діапазон сторінок або номер першої сторінки розділу |
157 |
| Назва розділу: рівень 2 |
Задачі для самостійного розв’язування |
| Діапазон сторінок або номер першої сторінки розділу |
160 |
| Назва розділу: рівень 2 |
Комп’ютерні проекти |
| Діапазон сторінок або номер першої сторінки розділу |
184 |
| 327 #1 - Примітки |
|---|
| Назва розділу: рівень 1 |
РОЗДІЛ 4. ДЕРЕВА ТА ЇХ ЗАСТОСУВАННЯ |
| Діапазон сторінок або номер першої сторінки розділу |
186 |
| Назва розділу: рівень 2 |
4.1. Основні означення та властивості |
| Діапазон сторінок або номер першої сторінки розділу |
186 |
| Назва розділу: рівень 2 |
4.2. Рекурсія. Обхід дерев. Префіксна та постфіксна форми запису виразів |
| Діапазон сторінок або номер першої сторінки розділу |
191 |
| Назва розділу: рівень 3 |
Алгоритм обходу дерева в прямому порядку - ОПП (корінь) |
| Діапазон сторінок або номер першої сторінки розділу |
192 |
| Назва розділу: рівень 3 |
Алгоритм обходу дерева у внутрішньому порядку - ОВП (корінь) |
| Діапазон сторінок або номер першої сторінки розділу |
192 |
| Назва розділу: рівень 3 |
Алгоритм обходу дерева у зворотному порядку - ОЗП (корінь) |
| Діапазон сторінок або номер першої сторінки розділу |
192 |
| Назва розділу: рівень 2 |
4.3. Бінарне дерево пошуку |
| Діапазон сторінок або номер першої сторінки розділу |
197 |
| Назва розділу: рівень 3 |
Алгоритм додавання об’єкта в дерево |
| Діапазон сторінок або номер першої сторінки розділу |
197 |
| Назва розділу: рівень 3 |
Алгоритм пошуку об’єкта в дереві |
| Діапазон сторінок або номер першої сторінки розділу |
198 |
| Назва розділу: рівень 2 |
4.4. Дерево рішень |
| Діапазон сторінок або номер першої сторінки розділу |
200 |
| Назва розділу: рівень 3 |
Алгоритм побудови дерева рішень - IDЗ (0, С, А) |
| Діапазон сторінок або номер першої сторінки розділу |
203 |
| Назва розділу: рівень 2 |
4.5. Бектрекінг (пошук із поверненнями) |
| Діапазон сторінок або номер першої сторінки розділу |
208 |
| Назва розділу: рівень 3 |
Алгоритм побудови всіх максимальних незалежних множин вершин у простому графі G = (V, Г) |
| Діапазон сторінок або номер першої сторінки розділу |
212 |
| Назва розділу: рівень 2 |
4.6. Дерева та сортування |
| Діапазон сторінок або номер першої сторінки розділу |
212 |
| Назва розділу: рівень 3 |
Алгоритм «Бульбашкове сортування» |
| Діапазон сторінок або номер першої сторінки розділу |
214 |
| Назва розділу: рівень 3 |
Алгоритм «Об’єднання двох списків» |
| Діапазон сторінок або номер першої сторінки розділу |
216 |
| Назва розділу: рівень 2 |
4.7. Каркаси |
| Діапазон сторінок або номер першої сторінки розділу |
218 |
| Назва розділу: рівень 3 |
Алгоритм Краскала |
| Діапазон сторінок або номер першої сторінки розділу |
221 |
| Назва розділу: рівень 2 |
Резюме |
| Діапазон сторінок або номер першої сторінки розділу |
223 |
| Назва розділу: рівень 2 |
Задачі для самостійного розв’язування |
| Діапазон сторінок або номер першої сторінки розділу |
225 |
| Назва розділу: рівень 2 |
Комп’ютерні проекти |
| Діапазон сторінок або номер першої сторінки розділу |
234 |
| 327 #1 - Примітки |
|---|
| Назва розділу: рівень 1 |
РОЗДІЛ 5. ВІДНОШЕННЯ |
| Діапазон сторінок або номер першої сторінки розділу |
236 |
| Назва розділу: рівень 2 |
5.1. Відношення та їх властивості |
| Діапазон сторінок або номер першої сторінки розділу |
236 |
| Назва розділу: рівень 2 |
5.2. Відношення еквівалентності |
| Діапазон сторінок або номер першої сторінки розділу |
239 |
| Назва розділу: рівень 2 |
5.3. Відношення часткового порядку |
| Діапазон сторінок або номер першої сторінки розділу |
241 |
| Назва розділу: рівень 2 |
5.4. Топологічне сортування |
| Діапазон сторінок або номер першої сторінки розділу |
243 |
| Назва розділу: рівень 3 |
Алгоритм топологічного сортування |
| Діапазон сторінок або номер першої сторінки розділу |
244 |
| Назва розділу: рівень 2 |
5.5. Операції над відношеннями |
| Діапазон сторінок або номер першої сторінки розділу |
246 |
| Назва розділу: рівень 2 |
5.6. Замикання відношень |
| Діапазон сторінок або номер першої сторінки розділу |
247 |
| Назва розділу: рівень 3 |
Алгоритм Уоршалла |
| Діапазон сторінок або номер першої сторінки розділу |
251 |
| Назва розділу: рівень 2 |
5.7. Бази даних і відношення |
| Діапазон сторінок або номер першої сторінки розділу |
252 |
| Назва розділу: рівень 2 |
Резюме |
| Діапазон сторінок або номер першої сторінки розділу |
255 |
| Назва розділу: рівень 2 |
Задачі для самостійного розв’язування |
| Діапазон сторінок або номер першої сторінки розділу |
256 |
| Назва розділу: рівень 2 |
Комп’ютерні проекти |
| Діапазон сторінок або номер першої сторінки розділу |
266 |
| 327 #1 - Примітки |
|---|
| Назва розділу: рівень 1 |
РОЗДІЛ 6. ОСНОВИ ТЕОРІЇ КОДУВАННЯ |
| Діапазон сторінок або номер першої сторінки розділу |
268 |
| Назва розділу: рівень 2 |
6.1. Алфавітне й рівномірне кодування |
| Діапазон сторінок або номер першої сторінки розділу |
268 |
| Назва розділу: рівень 2 |
6.2. Достатні умови однозначності декодування. Властивості роздільних кодів |
| Діапазон сторінок або номер першої сторінки розділу |
269 |
| Назва розділу: рівень 2 |
6.3. Оптимальне кодування |
| Діапазон сторінок або номер першої сторінки розділу |
272 |
| Назва розділу: рівень 3 |
6.3.1. КодФано |
| Діапазон сторінок або номер першої сторінки розділу |
272 |
| Назва розділу: рівень 3 |
6.3.2. Код Гаффмана |
| Діапазон сторінок або номер першої сторінки розділу |
275 |
| Назва розділу: рівень 3 |
6.3.3. Стиснення даних |
| Діапазон сторінок або номер першої сторінки розділу |
278 |
| Назва розділу: рівень 2 |
6. 4. Коди, стійкі до перешкод |
| Діапазон сторінок або номер першої сторінки розділу |
279 |
| Назва розділу: рівень 3 |
6.4.1. Одна схема рівномірного двійкового кодування, вплив перешкод і найпростіші способи виявлення помилок |
| Діапазон сторінок або номер першої сторінки розділу |
279 |
| Назва розділу: рівень 3 |
6.4.2. Один приклад коду Геммінґа |
| Діапазон сторінок або номер першої сторінки розділу |
281 |
| Назва розділу: рівень 3 |
6.4.3. Кодова віддаль. Необхідні й достатні умови виявлення та виправлення помилок у каналах зв’язку з перешкодами |
| Діапазон сторінок або номер першої сторінки розділу |
284 |
| Назва розділу: рівень 3 |
6.4.4. Лінійні або групові коди |
| Діапазон сторінок або номер першої сторінки розділу |
287 |
| Назва розділу: рівень 2 |
Резюме |
| Діапазон сторінок або номер першої сторінки розділу |
295 |
| Назва розділу: рівень 2 |
Задачі для самостійного розв’язування |
| Діапазон сторінок або номер першої сторінки розділу |
297 |
| Назва розділу: рівень 2 |
Комп’ютерні проекти |
| Діапазон сторінок або номер першої сторінки розділу |
301 |
| 327 #1 - Примітки |
|---|
| Назва розділу: рівень 1 |
РОЗДІЛ 7. БУЛЕВІ ФУНКЦІЇ |
| Діапазон сторінок або номер першої сторінки розділу |
302 |
| Назва розділу: рівень 2 |
7.1. Означення булевої функції. Реалізація функцій формулами |
| Діапазон сторінок або номер першої сторінки розділу |
302 |
| Назва розділу: рівень 2 |
7.2. Алгебри булевих функцій |
| Діапазон сторінок або номер першої сторінки розділу |
306 |
| Назва розділу: рівень 3 |
Закони алгебри Буля |
| Діапазон сторінок або номер першої сторінки розділу |
307 |
| Назва розділу: рівень 3 |
Закони алгебри Жегалкіна |
| Діапазон сторінок або номер першої сторінки розділу |
307 |
| Назва розділу: рівень 2 |
7.3. Спеціальні форми подання булевих функцій |
| Діапазон сторінок або номер першої сторінки розділу |
309 |
| Назва розділу: рівень 3 |
7.3.1. Диз’юнктивні нормальні форми |
| Діапазон сторінок або номер першої сторінки розділу |
309 |
| Назва розділу: рівень 3 |
7.3.2. Кон’юнктивні нормальні форми |
| Діапазон сторінок або номер першої сторінки розділу |
312 |
| Назва розділу: рівень 3 |
7.3.3. Поліном Жегалкіна |
| Діапазон сторінок або номер першої сторінки розділу |
313 |
| Назва розділу: рівень 2 |
7.4. Повнота та замкненість |
| Діапазон сторінок або номер першої сторінки розділу |
315 |
| Назва розділу: рівень 3 |
7.4.1. Функціонально повні системи |
| Діапазон сторінок або номер першої сторінки розділу |
316 |
| Назва розділу: рівень 3 |
7.4.2. Замкнені класи |
| Діапазон сторінок або номер першої сторінки розділу |
316 |
| Назва розділу: рівень 3 |
7.4.3. Критерій функціональної повноти системи булевих функцій |
| Діапазон сторінок або номер першої сторінки розділу |
320 |
| Назва розділу: рівень 3 |
7.4.4. Послаблена функціональна повнота |
| Діапазон сторінок або номер першої сторінки розділу |
321 |
| Назва розділу: рівень 3 |
7.4.5. Передповні класи |
| Діапазон сторінок або номер першої сторінки розділу |
322 |
| Назва розділу: рівень 2 |
7.5. Мінімізація булевих функцій |
| Діапазон сторінок або номер першої сторінки розділу |
323 |
| Назва розділу: рівень 3 |
7.5.1. Головні результати |
| Діапазон сторінок або номер першої сторінки розділу |
323 |
| Назва розділу: рівень 3 |
7.5.2. Методи побудови скороченої ДНФ |
| Діапазон сторінок або номер першої сторінки розділу |
324 |
| Назва розділу: рівень 4 |
Алгоритм Куайна |
| Діапазон сторінок або номер першої сторінки розділу |
325 |
| Назва розділу: рівень 4 |
Алгоритм Мак-Кпаскі |
| Діапазон сторінок або номер першої сторінки розділу |
325 |
| Назва розділу: рівень 3 |
7.5.3. Побудова тупикових ДНФ |
| Діапазон сторінок або номер першої сторінки розділу |
327 |
| Назва розділу: рівень 4 |
Алгоритм знаходження всіх тупикових ДНФ |
| Діапазон сторінок або номер першої сторінки розділу |
328 |
| Назва розділу: рівень 3 |
7.5.4. Властивості скороченої ДНФ |
| Діапазон сторінок або номер першої сторінки розділу |
329 |
| Назва розділу: рівень 3 |
7.5.5. Метод карт Карно побудови мінімальних ДНФ |
| Діапазон сторінок або номер першої сторінки розділу |
329 |
| Назва розділу: рівень 2 |
7.6. Реалізація булевих функцій схемами з функціональних елементів |
| Діапазон сторінок або номер першої сторінки розділу |
333 |
| Назва розділу: рівень 2 |
Резюме |
| Діапазон сторінок або номер першої сторінки розділу |
338 |
| Назва розділу: рівень 2 |
Задачі для самостійного розв’язування |
| Діапазон сторінок або номер першої сторінки розділу |
339 |
| Назва розділу: рівень 2 |
Комп’ютерні проекти |
| Діапазон сторінок або номер першої сторінки розділу |
343 |
| 327 #1 - Примітки |
|---|
| Назва розділу: рівень 1 |
РОЗДІЛ 8. МОВИ, ГРАМАТИКИ ТА АВТОМАТИ |
| Діапазон сторінок або номер першої сторінки розділу |
344 |
| Назва розділу: рівень 2 |
8.1. Мови |
| Діапазон сторінок або номер першої сторінки розділу |
344 |
| Назва розділу: рівень 2 |
8.2. Формальні породжувальні граматики |
| Діапазон сторінок або номер першої сторінки розділу |
346 |
| Назва розділу: рівень 2 |
8.3. Типи граматик (ієрархія Хомського) |
| Діапазон сторінок або номер першої сторінки розділу |
349 |
| Назва розділу: рівень 2 |
8.4. Дерева виведення |
| Діапазон сторінок або номер першої сторінки розділу |
350 |
| Назва розділу: рівень 2 |
8.5. Форми Бекуса-Наура |
| Діапазон сторінок або номер першої сторінки розділу |
352 |
| Назва розділу: рівень 2 |
8.6. Скінченні автомати з виходом |
| Діапазон сторінок або номер першої сторінки розділу |
353 |
| Назва розділу: рівень 2 |
8.7. Скінченні автомати без виходу |
| Діапазон сторінок або номер першої сторінки розділу |
357 |
| Назва розділу: рівень 2 |
8.8. Подання мов |
| Діапазон сторінок або номер першої сторінки розділу |
361 |
| Назва розділу: рівень 2 |
Резюме |
| Діапазон сторінок або номер першої сторінки розділу |
370 |
| Назва розділу: рівень 2 |
Задачі для самостійного розв’язування |
| Діапазон сторінок або номер першої сторінки розділу |
372 |
| Назва розділу: рівень 2 |
Комп’ютерні проекти |
| Діапазон сторінок або номер першої сторінки розділу |
379 |
| 327 #1 - Примітки |
|---|
| Назва розділу: рівень 1 |
РОЗДІЛ 9. ОСНОВИ ТЕОРІЇ АЛГОРИТМІВ |
| Діапазон сторінок або номер першої сторінки розділу |
380 |
| Назва розділу: рівень 2 |
9.1. Основні вимоги до алгоритмів |
| Діапазон сторінок або номер першої сторінки розділу |
380 |
| Назва розділу: рівень 2 |
9.2. Машини Тьюрінга |
| Діапазон сторінок або номер першої сторінки розділу |
382 |
| Назва розділу: рівень 2 |
9.3. Обчислення числових функцій на машинах Тьюрінга |
| Діапазон сторінок або номер першої сторінки розділу |
387 |
| Назва розділу: рівень 2 |
9.4. Теза Тьюрінга. Приклади алгоритмічно нерозв’язних проблем |
| Діапазон сторінок або номер першої сторінки розділу |
388 |
| Назва розділу: рівень 2 |
9.5. Рекурсивні функції |
| Діапазон сторінок або номер першої сторінки розділу |
392 |
| Назва розділу: рівень 2 |
9.6. Теза Чорча. Зв’язок рекурсивних функцій із машинами Тьюрінга |
| Діапазон сторінок або номер першої сторінки розділу |
396 |
| Назва розділу: рівень 2 |
Резюме |
| Діапазон сторінок або номер першої сторінки розділу |
396 |
| Назва розділу: рівень 2 |
Задачі для самостійного розв’язування |
| Діапазон сторінок або номер першої сторінки розділу |
397 |
| Назва розділу: рівень 2 |
Комп’ютерний проект |
| Діапазон сторінок або номер першої сторінки розділу |
399 |
| 327 #1 - Примітки |
|---|
| Назва розділу: рівень 1 |
РОЗДІЛ 10. КОМБІНАТОРНІ ЗАДАЧІ ТА СКЛАДНІСТЬ ОБЧИСЛЕНЬ |
| Діапазон сторінок або номер першої сторінки розділу |
400 |
| Назва розділу: рівень 2 |
10.1. Масові задачі, алгоритми й складність |
| Діапазон сторінок або номер першої сторінки розділу |
400 |
| Назва розділу: рівень 2 |
10.2. Задачі розпізнавання, мови та кодування |
| Діапазон сторінок або номер першої сторінки розділу |
404 |
| Назва розділу: рівень 2 |
10.3. Детерміновані машини Тьюрінга й клас Р |
| Діапазон сторінок або номер першої сторінки розділу |
405 |
| Назва розділу: рівень 2 |
10.4. Недетерміновані машини Тьюрінга й клас NP |
| Діапазон сторінок або номер першої сторінки розділу |
408 |
| Назва розділу: рівень 2 |
10.5. Поліноміальна звідність і NР-повні задачі |
| Діапазон сторінок або номер першої сторінки розділу |
411 |
| Назва розділу: рівень 2 |
10.6. Теорема Кука |
| Діапазон сторінок або номер першої сторінки розділу |
414 |
| Назва розділу: рівень 2 |
10.7. Приклади NР-повних задач. Доведення NР-повноти |
| Діапазон сторінок або номер першої сторінки розділу |
419 |
| Назва розділу: рівень 2 |
Резюме |
| Діапазон сторінок або номер першої сторінки розділу |
423 |
| Назва розділу: рівень 2 |
Задачі для самостійного розв’язування |
| Діапазон сторінок або номер першої сторінки розділу |
424 |
| 327 #1 - Примітки |
|---|
| Назва розділу: рівень 1 |
АЛФАВІТНИЙ ПОКАЖЧИК |
| Діапазон сторінок або номер першої сторінки розділу |
425 |
| 327 #1 - Примітки |
|---|
| Назва розділу: рівень 1 |
ЛІТЕРАТУРА |
| Діапазон сторінок або номер першої сторінки розділу |
430 |
| 330 ## - Короткий зміст |
|---|
| Текст примітки |
У підручнику викладено основні поняття та методи дискретної математики. Окрім таких розділів, як математична логіка, теорія множин і відношень, комбінаторний аналіз, теорія графів, основи теорії кодів, теорія булевих функцій, основи теорії формальних мов та алгоритмів, розглянуто також теорію складності обчислень. Виклад матеріалу супроводжується багатьма докладно розібраними прикладами, кожний розділ завершується збірником задач для самостійного розв’язування та списком комп’ютерних проектів для індивідуальних завдань. Ним можуть скористатись аспіранти та викладачі вищих навчальних закладів. |
| 675 ## - УДК |
|---|
| Індекс |
517-519.2(075.8) |
| 700 1# - Особисте ім’я |
|---|
| Код відношення |
Автор |
| Внутрішній код Koha |
4439 |
| автор |
Нікольський |
| Частина імені, яка відрізняється від початкового елемента вводу |
Ю. В. |
| Дати |
(1953-2013) |
| Розкриття ініціалів власного імені |
Юрій Володимирович |
| 701 #1 - Ім’я особи – альтернативна інтелектуальна відповідальність |
|---|
| Код відношення |
Автор |
| Внутрішній код Koha |
1443 |
| автор |
Пасічник |
| Частина імені, яка відрізняється від початкового елемента вводу |
В. В. |
| Дати |
1956- |
| Розкриття ініціалів власного імені |
Володимир Володимирович |
| 701 1# - Ім’я особи – альтернативна інтелектуальна відповідальність |
|---|
| Код відношення |
Автор |
| Внутрішній код Koha |
4440 |
| автор |
Щербина |
| Частина імені, яка відрізняється від початкового елемента вводу |
Ю. М. |
| Розкриття ініціалів власного імені |
Юрій Миколайович |
| 801 #0 - Джерело походження запису |
|---|
| Країна |
УКРАЇНА |
| Установа |
UA-BuIAS |
| Дата |
20240115 |
| 942 ## - Додаткові дані (Коха) |
|---|
| Код системи класифікації для розстановки фонду |
Універсальна десяткова класифікація (УДК) |
| Тип одиниці (рівень запису) |
Навчальні видання |
| Статус приховування в ЕК |
Не приховувати в ЕК |
| Класифікаційна частина шифру збереження |
517-519.2(075.8) |
| Авторський (кеттерівський) знак, дати чи термін, що додаються до класифікаційного індексу |
Н64 |
| Шифр зберігання |
517-519.2(075.8) / Н64 |
| Кількість видач (випожичань) для усіх примірників |
5 |