
- •1 Мета і задачі дисципліни
- •1.1 Мета викладання дисципліни
- •1.2 Програма знань і вмінь
- •1.3 Теми практичних занять
- •1.4 Система атестації
- •Без виконання усіх без винятку пунктів табл. 1.2 студент до іспиту допущений не буде. Оцінка виставляється, виходячи з табл. 1.3.
- •2 Огляд рекомендованої літератури
- •3 Практичне заняття № 1. Основні поняття теорії множин. Алгебра множин
- •3.1 Мета заняття
- •3.2 Методичні рекомендації до самостійної роботи студентів
- •3.3 Приклади розв’язання типових завдань
- •Контрольні запитання та завдання
- •3.5 Приклади аудиторних і домашніх задач
- •4 Практичне заняття № 2. Відношення та їх властивості
- •4.1 Мета заняття
- •4.2 Методичні рекомендації до самостійної роботи студентів
- •4.3 Приклади розв’язання типових завдань
- •4.4 Контрольні запитання та завдання
- •4.5 Приклади аудиторних і домашніх задач
- •5 Практичне заняття № 3. Відображення та функції
- •5.1 Мета заняття
- •5.2 Методичні рекомендації до самостійної роботи студентів
- •5.3 Приклади розв’язання типових завдань
- •5.4 Контрольні запитання та завдання
- •5.5 Приклади аудиторних і домашніх задач
- •6 Практичне заняття № 4. Булеві функції та алгебра логіки
- •6.1 Мета заняття
- •6.2 Методичні рекомендації до самостійної роботи студентів
- •6.3 Приклади розв’язання типових завдань
- •6.4 Контрольні запитання та завдання
- •6.5 Приклади аудиторних і домашніх задач
- •7 Практичне заняття № 5. Двоїстість булевих функцій
- •7.1 Мета заняття
- •7.2 Методичні рекомендації до самостійної роботи студентів
- •7.3 Приклади розв’язання типових завдань
- •7.4 Контрольні запитання та завдання
- •7.5 Приклади аудиторних і домашніх задач
- •8 Практичне заняття № 6. Нормальні форми
- •8.1 Мета заняття
- •8.2 Методичні рекомендації до самостійної роботи студентів
- •8.3 Приклади розв’язання типових завдань
- •8.4 Контрольні запитання та завдання
- •8.5 Приклади аудиторних і домашніх задач
- •9 Практичне заняття № 7. Алгебра жегалкіна
- •9.1 Мета заняття
- •9.2 Методичні рекомендації до самостійної роботи студентів
- •9.3 Приклади розв’язання типових завдань
- •9.4 Контрольні запитання та завдання
- •9.5 Приклади аудиторних і домашніх задач
- •10 Практичне заняття № 8. Функціональна повнота наборів булевих функцій
- •10.1 Мета заняття
- •10.2 Методичні рекомендації до самостійної роботи студентів
- •10.3 Приклади розв’язання типових завдань
- •10.4 Контрольні запитання та завдання
- •10.5 Приклади аудиторних і домашніх задач
- •11 Практичне заняття № 9 методи мінімізації булевих функцій
- •11.1 Мета заняття
- •11.2 Методичні рекомендації до самостійної роботи студентів
- •11.3 Приклади розв’язання типових завдань
- •11.4 Контрольні запитання та завдання
- •11.5 Приклади аудиторних і домашніх задач
- •12 Практичне заняття № 10. Логіка висловлювань
- •12.1 Мета заняття
- •12.2 Методичні рекомендації до самостійної роботи студентів
- •12.3 Приклади розв’язання типових завдань
- •12.4 Контрольні запитання та завдання
- •12.5 Приклади аудиторних і домашніх задач
- •13 Практичне заняття № 11. Логіка першого порядку (лпп)
- •13.1 Мета заняття
- •13.2 Методичні рекомендації до самостійної роботи студентів
- •13.3 Приклади розв’язання типових завдань
- •13.4 Контрольні запитання та завдання
- •13.5 Приклади аудиторних і домашніх задач
- •14 Практичне заняття № 12. Основні поняття теорії графів
- •14.1 Мета заняття
- •14.2 Методичні рекомендації до самостійної роботи студентів
- •14.3 Приклади розв’язання типових завдань
- •15 Практичне заняття № 13. Ейлерові і гамільтонові ланцюги і цикли
- •15.3 Приклади розв’язання типових завдань
- •15.4 Контрольні запитання та завдання
- •15.5 Приклади аудиторних і домашніх задач
- •16 Практичне заняття № 14. Планарність графів
- •16.1 Мета заняття
- •16.2 Методичні рекомендації до самостійної роботи студентів
- •16.3 Приклади розв’язання типових завдань
- •16.4 Контрольні запитання та завдання
- •16.5 Приклади аудиторних і домашніх задач
- •17 Практичне заняття № 15. Відстані на графах
- •17.1 Мета заняття
- •17.2 Методичні рекомендації до самостійної роботи студентів
- •17.3 Приклади розв’язання типових завдань
- •17.4 Контрольні запитання та завдання
- •17.5 Приклади аудиторних і домашніх задач
- •18 Практичне заняття № 16. Дерева
- •18.1 Мета заняття
- •18.2 Методичні рекомендації до самостійної роботи студентів
- •18.3 Приклади розв’язання типових завдань
- •18.4 Контрольні запитання
- •18.5 Приклади аудиторних і домашніх задач
- •19 Практичне заняття № 17. Транспортні мережі
- •19.1 Мета заняття
- •19.2 Методичні рекомендації до самостійної роботи студентів
- •19.3 Приклади розв’язання типових завдань
- •19.4 Контрольні запитання та завдання
- •19.5 Приклади аудиторних і домашніх задач
- •20 Практичне заняття № 18. Основи комбінаторного аналізу
- •20.1 Мета заняття
- •20.2 Методичні рекомендації до самостійної роботи студентів
- •20.3 Приклади розв’язання типових завдань
- •20.4 Контрольні запитання та завдання
- •20.5 Приклади аудиторних і домашніх задач
- •21 Практичне заняття № 19. Формули простого перелічення
- •21.1 Мета заняття
- •21.2 Методичні рекомендації до самостійної роботи студентів
- •21.3 Приклади розв’язання типових завдань
- •21.4 Контрольні запитання та завдання
- •21.5 Приклади аудиторних і домашніх задач
- •22 Практичне заняття № 20. Формула включення та виключення
- •22.1 Мета заняття
- •22.2 Методичні рекомендації до самостійної роботи студентів
- •22.3 Приклади розв’язання типових завдань
- •22.4 Контрольні запитання та завдання
- •22.5 Приклади аудиторних і домашніх задач
- •23 Індивідуальні контрольні завдання
- •Завдання 9. У табл. 23.7 ребрам (Vj, Vk) неорієнтованого графа, що задані номерами вершин j та k, вiдповiдає числова характеристика (довжина, вартість).
- •Рекомендована література
5.5 Приклади аудиторних і домашніх задач
1. Які з даних відношень, заданих на множині A={-20,-19,…,0,1,…,19,20} є функціями? Поясніть відповідь.
а) (а,b) R, якщо a=b2;
б) (а,b) R, якщо a2=b;
в) (а,b) R, якщо ab;
г) (а,b) R, якщо ab=6;
д) (а,b) R, якщо b = a3;
е) (а,b) R, якщо a= b3;
ж) (а,b) R, якщо a=6/b.
2. Які з функцій, знайдених під час вирішення завдання 1, є відображеннями виду f: AA?
3. Нехай задані множини A, B, С та відношення RAB й SBC. Покажіть на прикладах, що такі висновки не вірні:
а) якщо R – функція, то SR – функція;
б) якщо R – відображення AB, то SR – відображення AC;
в) якщо S – визначає ін’єкцію ВМ, то SR – ін’єкцію AС.
4. Нехай задано множини A, B, С та відношення RAB та SBC. Доведіть, що:
а) якщо R і S – функції, то SR – функція;
б) якщо R і S – визначають відображення AB й ВС відповідно, то SR – визначає відображення AС;
в) якщо R і S – визначають сюр’єкції, то SR – також сюр’єкцію.
5. Доведіть, що якщо f – ін’єктивна функція, то існує функція f -1.
6. Нехай FXY визначає сюр’єктивну функцію. Чи визначає F -1 відображення XY?
7. Знайдіть область визначення та область значень даних функцій:
а) функція, яка кожному позитивному цілому числу x (xn), ставить у відповідність його останню цифру;
б) функція, котра для цілого позитивного числа x (xn), знаходить найбільший квадрат, який не перевищує це число.
8. Нехай A і B – скінченні множини, які містять відповідно n та m елементів: |A|=n, |B|=m. Визначте співвідношення між n та m, якщо:
а) існує ін’єктивне відображення з A у B;
б) існує сюр’єктивне відображення з A у B.
6 Практичне заняття № 4. Булеві функції та алгебра логіки
6.1 Мета заняття
Ознайомитися з поняттям булевої функції і способами її задання, а також вивчити способи еквівалентних перетворень формул алгебри логіки, використо-вуючи основні закони алгебри логіки.
6.2 Методичні рекомендації до самостійної роботи студентів
Під час підготовки до практичного заняття крім конспекту лекцій рекомендується використовувати [1, c. 99-111, c. 115-120; 2, c. 99-111, c. 115-120; 4, c. 52-58; 9, c. 31-35, c. 37-39; 12, c. 36-54; 17, c. 23-63].
При вивченні і повторенні матеріалу слід звернути увагу на такі питання:
ізоморфізм алгебри множин та булевої алгебри;
булеві змінні, булеві функції;
кількість наборів аргументів і булевих функцій на n булевих змінних;
способи задання булевих функцій;
булеві функції від однієї та двох змінних;
властивості операцій булевих функцій;
елементарні функції алгебри логіки;
закони й тотожності алгебри логіки;
еквівалентні перетворення формул алгебри логіки.
6.3 Приклади розв’язання типових завдань
1. Чи
еквівалентні формули В
і U, якщо
,
?
Перевіримо еквівалентність формул за допомогою таблиць, реалізованих ними функцій.
x |
y |
z |
B |
U |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
Оскільки таблиці функцій не збігаються, формули нееквівалентні.
2.
Доведіть, що число усіх
різноманітних n-місних
булевих функцій дорівнює
.
Набір значень булевої функції являє собою двійковий код, розрядність (m) якого залежить від кількості аргументів функції. Кількість різноманітних комбінацій значень функції від n аргументів 2m, а, в свою чергу, m дорівнює кількості різноманітних наборів значень n двійкових аргументів, тобто m=2n. Таким чином, .
3.
Спростіть вираз:
.
використаємо закон виключного третього:
.
4.
Побудуємо таблицю істинності для
функції, заданої такою формулою
.
Функція залежить від трьох змінних і, отже, для неї є 23=8 інтерпретацій. Для побудови таблиці істинності необхідно визначити значення функції на всіх інтерпретаціях:
Розмістимо в таблиці істинності інтерпретації в порядку зростання відповідних до них двійкових номерів і запишемо отримане значення функції на кожній інтерпретації. Одержимо таблицю істинності функції
:
x |
y |
z |
f(x,y,z) |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |